From: Jeremy Fitzhardinge <jeremy@goop.org>
To: Nick Piggin <nickpiggin@yahoo.com.au>
Cc: Linux Kernel Mailing List <linux-kernel@vger.kernel.org>,
Linux Memory Management List <linux-mm@kvack.org>,
Xen-devel <xen-devel@lists.xensource.com>,
Jan Beulich <jbeulich@novell.com>, Ingo Molnar <mingo@elte.hu>
Subject: Question about x86/mm/gup.c's use of disabled interrupts
Date: Wed, 18 Mar 2009 12:17:03 -0700 [thread overview]
Message-ID: <49C148AF.5050601@goop.org> (raw)
Hi Nick,
The comment in arch/x86/mm/gup.c:gup_get_pte() says:
[...] What
* we do have is the guarantee that a pte will only either go from not
* present to present, or present to not present or both -- it will not
* switch to a completely different present page without a TLB flush in
* between; something that we are blocking by holding interrupts off.
Disabling the interrupt will prevent the tlb flush IPI from coming in
and flushing this cpu's tlb, but I don't see how it will prevent some
other cpu from actually updating the pte in the pagetable, which is what
we're concerned about here. Is this the only reason to disable
interrupts? Would we need to do it for the !PAE cases?
Also, assuming that disabling the interrupt is enough to get the
guarantees we need here, there's a Xen problem because we don't use IPIs
for cross-cpu tlb flushes (well, it happens within Xen). I'll have to
think a bit about how to deal with that, but I'm thinking that we could
add a per-cpu "tlb flushes blocked" flag, and maintain some kind of
per-cpu deferred tlb flush count so we can get around to doing the flush
eventually.
But I want to make sure I understand the exact algorithm here.
(I couldn't find an instance of a pte update going from present->present
anyway; the only caller of set_pte_present is set_pte_vaddr which only
operates on kernel mappings, so perhaps this is moot. Oh, look,
native_set_pte_present thinks its only called on user mappings... In
fact set_pte_present seems to have completely lost its rationale for
existing.)
Thanks,
J
next reply other threads:[~2009-03-18 19:17 UTC|newest]
Thread overview: 20+ messages / expand[flat|nested] mbox.gz Atom feed top
2009-03-18 19:17 Jeremy Fitzhardinge [this message]
2009-03-18 21:13 ` Question about x86/mm/gup.c's use of disabled interrupts Avi Kivity
2009-03-18 21:23 ` Jeremy Fitzhardinge
2009-03-18 21:40 ` Avi Kivity
2009-03-18 22:14 ` Jeremy Fitzhardinge
2009-03-18 22:41 ` Avi Kivity
2009-03-18 22:55 ` Jeremy Fitzhardinge
2009-03-18 23:05 ` Avi Kivity
2009-03-18 23:32 ` Jeremy Fitzhardinge
2009-03-19 9:46 ` Avi Kivity
2009-03-19 17:16 ` Jeremy Fitzhardinge
2009-03-19 17:33 ` Avi Kivity
2009-04-03 2:41 ` paravirtops kernel and HVM guests Nitin A Kamble
2009-04-03 3:37 ` Jeremy Fitzhardinge
[not found] ` <70513aa50903181617r418ec23s744544dccfd812e8@mail.gmail.com>
2009-03-18 23:37 ` Question about x86/mm/gup.c's use of disabled interrupts Jeremy Fitzhardinge
2009-03-19 1:32 ` Nick Piggin
2009-03-19 17:31 ` Jeremy Fitzhardinge
2009-03-20 4:40 ` Paul E. McKenney
2009-03-20 15:38 ` Jeremy Fitzhardinge
2009-03-20 15:57 ` 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=49C148AF.5050601@goop.org \
--to=jeremy@goop.org \
--cc=jbeulich@novell.com \
--cc=linux-kernel@vger.kernel.org \
--cc=linux-mm@kvack.org \
--cc=mingo@elte.hu \
--cc=nickpiggin@yahoo.com.au \
--cc=xen-devel@lists.xensource.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