From: Peter Zijlstra <a.p.zijlstra@chello.nl>
To: Jan Beulich <JBeulich@novell.com>
Cc: Xiaowei Yang <xiaowei.yang@huawei.com>,
Nick Piggin <npiggin@kernel.dk>,
fanhenglong@huawei.com, Kaushik Barde <kbarde@huawei.com>,
Kenneth Lee <liguozhu@huawei.com>,
linqaingmin <linqiangmin@huawei.com>,
wangzhenguo@huawei.com, Wu Fengguang <fengguang.wu@intel.com>,
"xen-devel@lists.xensource.com" <xen-devel@lists.xensource.com>,
linux-kernel@vger.kernel.org
Subject: Re: One (possible) x86 get_user_pages bug
Date: Thu, 27 Jan 2011 16:01:17 +0100 [thread overview]
Message-ID: <1296140477.15234.223.camel@laptop> (raw)
In-Reply-To: <4D419416020000780002ECB7@vpn.id2.novell.com>
On Thu, 2011-01-27 at 14:49 +0000, Jan Beulich wrote:
> >>> On 27.01.11 at 14:05, Xiaowei Yang <xiaowei.yang@huawei.com> wrote:
> > We created a scenario to reproduce the bug:
> > ----------------------------------------------------------------
> > // proc1/proc1.2 are 2 threads sharing one page table.
> > // proc1 is the parent of proc2.
> >
> > proc1 proc2 proc1.2
> > ... ... // in gup_pte_range()
> > ... ... pte = gup_get_pte()
> > ... ... page1 = pte_page(pte) // (1)
> > do_wp_page(page1) ... ...
> > ... exit_map() ...
> > ... ... get_page(page1) // (2)
> > -----------------------------------------------------------------
> >
> > do_wp_page() and exit_map() cause page1 to be released into free list
> > before get_page() in proc1.2 is called. The longer the delay between
> > (1)&(2), the easier the BUG_ON shows.
>
> The scenario indeed seems to apply independent of virtualization,
> but the window obviously can be unbounded unless running
> native.
>
> However, going through all the comments in gup.c again I wonder
> whether pv Xen guests don't violate the major assumption: There
> is talk about interrupts being off preventing (or sufficiently
> deferring) remote CPUs doing TLB flushes. In pv Xen guests,
> however, non-local TLB flushes do not happen by sending IPIs -
> the hypercall interface gets used instead. If that's indeed the
> case, I would have expected quite a few bug reports, but I'm
> unaware of any - Nick, am I overlooking something here?
Indeed, the delay of tlb flush ipi's should ensure that the pages aren't
freed and should cover the race with unmap.
If Xen violates this then xen needs to fix this somehow..
next prev parent reply other threads:[~2011-01-27 15:00 UTC|newest]
Thread overview: 19+ messages / expand[flat|nested] mbox.gz Atom feed top
2011-01-27 13:05 One (possible) x86 get_user_pages bug Xiaowei Yang
2011-01-27 13:56 ` Peter Zijlstra
2011-01-27 14:30 ` Jan Beulich
2011-01-28 10:51 ` Peter Zijlstra
2011-01-27 14:49 ` Jan Beulich
2011-01-27 15:01 ` Peter Zijlstra [this message]
2011-01-27 18:27 ` Jeremy Fitzhardinge
2011-01-27 19:27 ` Peter Zijlstra
2011-01-30 13:01 ` Avi Kivity
2011-01-30 22:21 ` Kaushik Barde
2011-01-31 18:04 ` Jeremy Fitzhardinge
2011-01-31 20:10 ` Kaushik Barde
2011-01-31 22:10 ` Jeremy Fitzhardinge
2011-01-27 16:07 ` Jan Beulich
2011-01-27 16:25 ` Peter Zijlstra
2011-01-27 16:41 ` Jan Beulich
2011-01-27 16:56 ` Peter Zijlstra
2011-01-27 21:24 ` Nick Piggin
2011-01-28 7:17 ` Xiaowei Yang
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=1296140477.15234.223.camel@laptop \
--to=a.p.zijlstra@chello.nl \
--cc=JBeulich@novell.com \
--cc=fanhenglong@huawei.com \
--cc=fengguang.wu@intel.com \
--cc=kbarde@huawei.com \
--cc=liguozhu@huawei.com \
--cc=linqiangmin@huawei.com \
--cc=linux-kernel@vger.kernel.org \
--cc=npiggin@kernel.dk \
--cc=wangzhenguo@huawei.com \
--cc=xen-devel@lists.xensource.com \
--cc=xiaowei.yang@huawei.com \
/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