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 an external index of several public inboxes,
see mirroring instructions on how to clone and mirror
all data and code used by this external index.