From: "Paul E. McKenney" <paulmck@linux.vnet.ibm.com>
To: Paolo Bonzini <pbonzini@redhat.com>
Cc: Peter Zijlstra <peterz@infradead.org>,
Boqun Feng <boqun.feng@gmail.com>,
"Levin, Alexander (Sasha Levin)" <alexander.levin@verizon.com>,
Sasha Levin <levinsasha928@gmail.com>,
"linux-kernel@vger.kernel.org List"
<linux-kernel@vger.kernel.org>, Ingo Molnar <mingo@kernel.org>,
"jiangshanlai@gmail.com" <jiangshanlai@gmail.com>,
"dipankar@in.ibm.com" <dipankar@in.ibm.com>,
Andrew Morton <akpm@linux-foundation.org>,
Mathieu Desnoyers <mathieu.desnoyers@efficios.com>,
Josh Triplett <josh@joshtriplett.org>,
Thomas Gleixner <tglx@linutronix.de>,
"dhowells@redhat.com" <dhowells@redhat.com>,
Eric Dumazet <edumazet@google.com>,
Fr??d??ric Weisbecker <fweisbec@gmail.com>,
Oleg Nesterov <oleg@redhat.com>,
"bobby.prani@gmail.com" <bobby.prani@gmail.com>,
Radim Kr
Subject: Re: [PATCH v3 tip/core/rcu 40/40] rcu: Make non-preemptive schedule be Tasks RCU quiescent state
Date: Fri, 29 Sep 2017 09:38:48 -0700 [thread overview]
Message-ID: <20170929163848.GA3521@linux.vnet.ibm.com> (raw)
In-Reply-To: <03e52ee5-b5b6-edd6-c26a-54bc1aaefd63@redhat.com>
On Fri, Sep 29, 2017 at 01:44:56PM +0200, Paolo Bonzini wrote:
> On 29/09/2017 12:34, Peter Zijlstra wrote:
> > On Fri, Sep 29, 2017 at 12:01:24PM +0200, Paolo Bonzini wrote:
> >>> Does this mean whenever we get a page fault in a RCU read-side critical
> >>> section, we may hit this?
> >>>
> >>> Could we simply avoid to schedule() in kvm_async_pf_task_wait() if the
> >>> fault process is in a RCU read-side critical section as follow?
> >>>
> >>> diff --git a/arch/x86/kernel/kvm.c b/arch/x86/kernel/kvm.c
> >>> index aa60a08b65b1..291ea13b23d2 100644
> >>> --- a/arch/x86/kernel/kvm.c
> >>> +++ b/arch/x86/kernel/kvm.c
> >>> @@ -140,7 +140,7 @@ 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 || rcu_preempt_depth();
> >>> init_swait_queue_head(&n.wq);
> >>> hlist_add_head(&n.link, &b->list);
> >>> raw_spin_unlock(&b->lock);
> >>>
> >>> (Add KVM folks and list Cced)
> >>
> >> Yes, that would work. Mind to send it as a proper patch?
> >
> > I'm confused, why would we do an ASYNC PF at all here? Thing is, a
> > printk() shouldn't trigger a major fault _ever_. At worst it triggers
> > something like a vmalloc minor fault. And I'm thinking we should not do
> > the whole ASYNC machinery for minor faults.
>
> Async page faults are page faults _on the host_ side, and you cannot
> control what the host pages out. Of course the hypervisor filters out
> some cases itself (e.g. IF=0) but in general you could get one at any time.
Just to make sure I am understanding this... You take a page fault on
the host, and this causes a schedule() on the guest? Or did I lose the
thread here?
Thanx, Paul
next prev parent reply other threads:[~2017-09-29 16:38 UTC|newest]
Thread overview: 7+ messages / expand[flat|nested] mbox.gz Atom feed top
[not found] <20170419165805.GB10874@linux.vnet.ibm.com>
[not found] ` <1492621117-13939-40-git-send-email-paulmck@linux.vnet.ibm.com>
[not found] ` <CA+1xoqdDCuQ5pz61aHn3Y-VdP5g2GvYfXmTdpHsWJG0dsM3DKg@mail.gmail.com>
[not found] ` <20170928123055.GI3521@linux.vnet.ibm.com>
[not found] ` <20170928153813.7cernglt2d7umhpe@sasha-lappy>
[not found] ` <20170928160514.GM3521@linux.vnet.ibm.com>
2017-09-29 9:30 ` [PATCH v3 tip/core/rcu 40/40] rcu: Make non-preemptive schedule be Tasks RCU quiescent state Boqun Feng
2017-09-29 10:01 ` Paolo Bonzini
2017-09-29 10:25 ` Boqun Feng
2017-09-29 10:34 ` Peter Zijlstra
2017-09-29 11:44 ` Paolo Bonzini
2017-09-29 16:38 ` Paul E. McKenney [this message]
2017-09-29 16:36 ` Paul E. McKenney
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=20170929163848.GA3521@linux.vnet.ibm.com \
--to=paulmck@linux.vnet.ibm.com \
--cc=akpm@linux-foundation.org \
--cc=alexander.levin@verizon.com \
--cc=bobby.prani@gmail.com \
--cc=boqun.feng@gmail.com \
--cc=dhowells@redhat.com \
--cc=dipankar@in.ibm.com \
--cc=edumazet@google.com \
--cc=fweisbec@gmail.com \
--cc=jiangshanlai@gmail.com \
--cc=josh@joshtriplett.org \
--cc=levinsasha928@gmail.com \
--cc=linux-kernel@vger.kernel.org \
--cc=mathieu.desnoyers@efficios.com \
--cc=mingo@kernel.org \
--cc=oleg@redhat.com \
--cc=pbonzini@redhat.com \
--cc=peterz@infradead.org \
--cc=tglx@linutronix.de \
/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