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:
> > > > >
> > > >
> >
> >
>
prev parent 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