public inbox for kvm@vger.kernel.org
 help / color / mirror / Atom feed
From: "Paul E. McKenney" <paulmck@linux.vnet.ibm.com>
To: Paolo Bonzini <pbonzini@redhat.com>
Cc: "Boqun Feng" <boqun.feng@gmail.com>,
	linux-kernel@vger.kernel.org, kvm@vger.kernel.org,
	"Peter Zijlstra" <peterz@infradead.org>,
	"Wanpeng Li" <wanpeng.li@hotmail.com>,
	"Radim Krčmář" <rkrcmar@redhat.com>,
	"Thomas Gleixner" <tglx@linutronix.de>,
	"Ingo Molnar" <mingo@redhat.com>,
	"H. Peter Anvin" <hpa@zytor.com>,
	x86@kernel.org
Subject: Re: [PATCH v2] kvm/x86: Handle async PF in RCU read-side critical sections
Date: Mon, 2 Oct 2017 14:41:12 -0700	[thread overview]
Message-ID: <20171002214112.GX3521@linux.vnet.ibm.com> (raw)
In-Reply-To: <535746626.9826943.1506978667222.JavaMail.zimbra@redhat.com>

On Mon, Oct 02, 2017 at 05:11:07PM -0400, Paolo Bonzini wrote:
> 
> ----- Paul E. McKenney <paulmck@linux.vnet.ibm.com> wrote:
> > Actually, we should be able to do a little bit better than that.
> > If PREEMPT=n but PREEMPT_COUNT=y, then preempt_count() will know
> > about RCU read-side critical sections via preempt_disable().
> > 
> > So maybe something like this?
> > 
> > 	n.halted = is_idle_task(current) ||
> > 		   preempt_count() > 1 ||
> > 		   (!IS_ENABLED(CONFIG_PREEMPT) && !IS_ENABLED(CONFIG_PREEMPT_COUNT) && !user) ||
> > 		   rcu_preempt_depth();
> 
> Or even
> 
>  is_idle_task(current) ||
>  (IS_ENABLED(CONFIG_PREEMPT_COUNT)
>   ? preempt_count() > 1 || rcu_preempt_depth()
>   : !user)
> 
> since PREEMPT selects PREEMPT_COUNT.

Makes sense to me!

							Thanx, Paul

> Paolo
> 
> > 							Thanx, Paul
> > 
> > > > I had already applied v1, can you rebase and resend please?  Thanks,
> > > > 
> > > 
> > > Sure, I'm going to rename that parameter to "interrupt_kernel"(probably
> > > a bad name"), indicating whether the async PF interrupts the kernel.
> > > 
> > > But it's a little bit late today, will do that tomorrow.
> > > 
> > > Regards,
> > > Boqun
> > > 
> > > 
> > > > Paolo
> > > > 
> > > > >  arch/x86/include/asm/kvm_para.h | 4 ++--
> > > > >  arch/x86/kernel/kvm.c           | 9 ++++++---
> > > > >  arch/x86/kvm/mmu.c              | 2 +-
> > > > >  3 files changed, 9 insertions(+), 6 deletions(-)
> > > > > 
> > > > > diff --git a/arch/x86/include/asm/kvm_para.h b/arch/x86/include/asm/kvm_para.h
> > > > > index bc62e7cbf1b1..0a5ae6bb128b 100644
> > > > > --- a/arch/x86/include/asm/kvm_para.h
> > > > > +++ b/arch/x86/include/asm/kvm_para.h
> > > > > @@ -88,7 +88,7 @@ static inline long kvm_hypercall4(unsigned int nr, unsigned long p1,
> > > > >  bool kvm_para_available(void);
> > > > >  unsigned int kvm_arch_para_features(void);
> > > > >  void __init kvm_guest_init(void);
> > > > > -void kvm_async_pf_task_wait(u32 token);
> > > > > +void kvm_async_pf_task_wait(u32 token, int user);
> > > > >  void kvm_async_pf_task_wake(u32 token);
> > > > >  u32 kvm_read_and_reset_pf_reason(void);
> > > > >  extern void kvm_disable_steal_time(void);
> > > > > @@ -103,7 +103,7 @@ static inline void kvm_spinlock_init(void)
> > > > >  
> > > > >  #else /* CONFIG_KVM_GUEST */
> > > > >  #define kvm_guest_init() do {} while (0)
> > > > > -#define kvm_async_pf_task_wait(T) do {} while(0)
> > > > > +#define kvm_async_pf_task_wait(T, U) do {} while(0)
> > > > >  #define kvm_async_pf_task_wake(T) do {} while(0)
> > > > >  
> > > > >  static inline bool kvm_para_available(void)
> > > > > diff --git a/arch/x86/kernel/kvm.c b/arch/x86/kernel/kvm.c
> > > > > index aa60a08b65b1..916f519e54c9 100644
> > > > > --- a/arch/x86/kernel/kvm.c
> > > > > +++ b/arch/x86/kernel/kvm.c
> > > > > @@ -117,7 +117,7 @@ static struct kvm_task_sleep_node *_find_apf_task(struct kvm_task_sleep_head *b,
> > > > >  	return NULL;
> > > > >  }
> > > > >  
> > > > > -void kvm_async_pf_task_wait(u32 token)
> > > > > +void kvm_async_pf_task_wait(u32 token, int user)
> > > > >  {
> > > > >  	u32 key = hash_32(token, KVM_TASK_SLEEP_HASHBITS);
> > > > >  	struct kvm_task_sleep_head *b = &async_pf_sleepers[key];
> > > > > @@ -140,7 +140,10 @@ void kvm_async_pf_task_wait(u32 token)
> > > > >  
> > > > >  	n.token = token;
> > > > >  	n.cpu = smp_processor_id();
> > > > > -	n.halted = is_idle_task(current) || preempt_count() > 1;
> > > > > +	n.halted = is_idle_task(current) ||
> > > > > +		   preempt_count() > 1 ||
> > > > > +		   (!IS_ENABLED(CONFIG_PREEMPT) && !user) ||
> > > > > +		   rcu_preempt_depth();
> > > > >  	init_swait_queue_head(&n.wq);
> > > > >  	hlist_add_head(&n.link, &b->list);
> > > > >  	raw_spin_unlock(&b->lock);
> > > > > @@ -268,7 +271,7 @@ do_async_page_fault(struct pt_regs *regs, unsigned long error_code)
> > > > >  	case KVM_PV_REASON_PAGE_NOT_PRESENT:
> > > > >  		/* page is swapped out by the host. */
> > > > >  		prev_state = exception_enter();
> > > > > -		kvm_async_pf_task_wait((u32)read_cr2());
> > > > > +		kvm_async_pf_task_wait((u32)read_cr2(), user_mode(regs));
> > > > >  		exception_exit(prev_state);
> > > > >  		break;
> > > > >  	case KVM_PV_REASON_PAGE_READY:
> > > > > diff --git a/arch/x86/kvm/mmu.c b/arch/x86/kvm/mmu.c
> > > > > index eca30c1eb1d9..106d4a029a8a 100644
> > > > > --- a/arch/x86/kvm/mmu.c
> > > > > +++ b/arch/x86/kvm/mmu.c
> > > > > @@ -3837,7 +3837,7 @@ int kvm_handle_page_fault(struct kvm_vcpu *vcpu, u64 error_code,
> > > > >  	case KVM_PV_REASON_PAGE_NOT_PRESENT:
> > > > >  		vcpu->arch.apf.host_apf_reason = 0;
> > > > >  		local_irq_disable();
> > > > > -		kvm_async_pf_task_wait(fault_address);
> > > > > +		kvm_async_pf_task_wait(fault_address, 0);
> > > > >  		local_irq_enable();
> > > > >  		break;
> > > > >  	case KVM_PV_REASON_PAGE_READY:
> > > > > 
> > > > 
> > 
> > 
> 

      reply	other threads:[~2017-10-02 21:41 UTC|newest]

Thread overview: 14+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2017-09-29 11:01 [PATCH] kvm/x86: Handle async PF in RCU read-side critical sections Boqun Feng
2017-09-29 14:53 ` Paolo Bonzini
2017-09-29 16:43   ` Paul E. McKenney
2017-09-29 23:41     ` Boqun Feng
2017-09-30 17:15       ` Paul E. McKenney
2017-10-01  1:20         ` Boqun Feng
2017-10-02 12:45         ` Paolo Bonzini
2017-10-02 13:53           ` Paul E. McKenney
2017-10-01  1:31 ` [PATCH v2] " Boqun Feng
2017-10-02 13:41   ` Paolo Bonzini
2017-10-02 14:43     ` Boqun Feng
2017-10-02 15:34       ` Paul E. McKenney
2017-10-02 21:11         ` Paolo Bonzini
2017-10-02 21:41           ` Paul E. McKenney [this message]

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=20171002214112.GX3521@linux.vnet.ibm.com \
    --to=paulmck@linux.vnet.ibm.com \
    --cc=boqun.feng@gmail.com \
    --cc=hpa@zytor.com \
    --cc=kvm@vger.kernel.org \
    --cc=linux-kernel@vger.kernel.org \
    --cc=mingo@redhat.com \
    --cc=pbonzini@redhat.com \
    --cc=peterz@infradead.org \
    --cc=rkrcmar@redhat.com \
    --cc=tglx@linutronix.de \
    --cc=wanpeng.li@hotmail.com \
    --cc=x86@kernel.org \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox