[<prev] [next>] [<thread-prev] [thread-next>] [day] [month] [year] [list]
Message-Id: <4D419416020000780002ECB7@vpn.id2.novell.com>
Date: Thu, 27 Jan 2011 14:49:42 +0000
From: "Jan Beulich" <JBeulich@...ell.com>
To: "Xiaowei Yang" <xiaowei.yang@...wei.com>,
"Nick Piggin" <npiggin@...nel.dk>
Cc: "Peter Zijlstra" <a.p.zijlstra@...llo.nl>,
<fanhenglong@...wei.com>, "Kaushik Barde" <kbarde@...wei.com>,
"Kenneth Lee" <liguozhu@...wei.com>,
"linqaingmin" <linqiangmin@...wei.com>, <wangzhenguo@...wei.com>,
"Wu Fengguang" <fengguang.wu@...el.com>,
"xen-devel@...ts.xensource.com" <xen-devel@...ts.xensource.com>,
<linux-kernel@...r.kernel.org>
Subject: Re: One (possible) x86 get_user_pages bug
>>> On 27.01.11 at 14:05, Xiaowei Yang <xiaowei.yang@...wei.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?
Jan
--
To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to majordomo@...r.kernel.org
More majordomo info at http://vger.kernel.org/majordomo-info.html
Please read the FAQ at http://www.tux.org/lkml/
Powered by blists - more mailing lists