From: Andrea Arcangeli <andrea@qumranet.com>
To: Christoph Lameter <clameter@sgi.com>
Cc: Robin Holt <holt@sgi.com>, Avi Kivity <avi@qumranet.com>,
Izik Eidus <izike@qumranet.com>, Andrew Morton <akpm@osdl.org>,
Nick Piggin <npiggin@suse.de>,
kvm-devel@lists.sourceforge.net,
Benjamin Herrenschmidt <benh@kernel.crashing.org>,
steiner@sgi.com, linux-kernel@vger.kernel.org,
linux-mm@kvack.org, daniel.blueman@quadrics.com,
Hugh Dickins <hugh@veritas.com>
Subject: Re: [kvm-devel] [PATCH] export notifier #1
Date: Thu, 24 Jan 2008 16:42:39 +0100 [thread overview]
Message-ID: <20080124154239.GP7141@v2.random> (raw)
In-Reply-To: <Pine.LNX.4.64.0801231220590.13547@schroedinger.engr.sgi.com>
On Wed, Jan 23, 2008 at 12:27:47PM -0800, Christoph Lameter wrote:
> There are still dirty bit issues.
Yes, but no big issues given ->invalidate_page is fully capable of
running set_page_dirty if needed.
> > The window that you must close with that bitflag is the request coming
> > from the remote node to map the page after the linux pte has been
> > cleared. If you map the page in a remote node after the linux pte has
> > been cleared ->invalidate_page won't be called again because the page
> > will look unmapped in the linux VM. Now invalidate_page will clear the
> > bitflag, so the map requests will block. But where exactly you know
> > that the linux pte has been cleared so you can "unblock" the map
> > requests? If a page is not mapped by some linux pte, mm/rmap.c will
> > never be called and this is why any notification in mm/rmap.c should
> > track the "address space" and not the "physical page".
>
> The subsystem needs to establish proper locking for that case.
How? I Your answer was to have the subsystem-fault wait PG_exported to
return ON... when later you told me the subsystem-fault is the thing
supposed to set PG_exported ON again... Perhaps you really could
invent a proper locking to make your #v1 workable somehow but I didn't
see a sign of it yet.
Infact I'm not so sure if all will be race-free with
invalidate_page_after (given you pretend to call it outside the PT
lock so concurrent linux minor faults can happen in parallel of your
invalidate_page_after) but at least it has a better chance to work
without having to invent much new complex locking.
> It also deals f.e. with page dirty status.
I think you should consider if you can also build a rmap per-MM like
KVM does and index it by the virtual address like KVM does.
WARNING: multiple messages have this Message-ID (diff)
From: Andrea Arcangeli <andrea@qumranet.com>
To: Christoph Lameter <clameter@sgi.com>
Cc: Robin Holt <holt@sgi.com>, Avi Kivity <avi@qumranet.com>,
Izik Eidus <izike@qumranet.com>, Andrew Morton <akpm@osdl.org>,
Nick Piggin <npiggin@suse.de>,
kvm-devel@lists.sourceforge.net,
Benjamin Herrenschmidt <benh@kernel.crashing.org>,
steiner@sgi.com, linux-kernel@vger.kernel.org,
linux-mm@kvack.org, daniel.blueman@quadrics.com,
Hugh Dickins <hugh@veritas.com>
Subject: Re: [kvm-devel] [PATCH] export notifier #1
Date: Thu, 24 Jan 2008 16:42:39 +0100 [thread overview]
Message-ID: <20080124154239.GP7141@v2.random> (raw)
In-Reply-To: <Pine.LNX.4.64.0801231220590.13547@schroedinger.engr.sgi.com>
On Wed, Jan 23, 2008 at 12:27:47PM -0800, Christoph Lameter wrote:
> There are still dirty bit issues.
Yes, but no big issues given ->invalidate_page is fully capable of
running set_page_dirty if needed.
> > The window that you must close with that bitflag is the request coming
> > from the remote node to map the page after the linux pte has been
> > cleared. If you map the page in a remote node after the linux pte has
> > been cleared ->invalidate_page won't be called again because the page
> > will look unmapped in the linux VM. Now invalidate_page will clear the
> > bitflag, so the map requests will block. But where exactly you know
> > that the linux pte has been cleared so you can "unblock" the map
> > requests? If a page is not mapped by some linux pte, mm/rmap.c will
> > never be called and this is why any notification in mm/rmap.c should
> > track the "address space" and not the "physical page".
>
> The subsystem needs to establish proper locking for that case.
How? I Your answer was to have the subsystem-fault wait PG_exported to
return ON... when later you told me the subsystem-fault is the thing
supposed to set PG_exported ON again... Perhaps you really could
invent a proper locking to make your #v1 workable somehow but I didn't
see a sign of it yet.
Infact I'm not so sure if all will be race-free with
invalidate_page_after (given you pretend to call it outside the PT
lock so concurrent linux minor faults can happen in parallel of your
invalidate_page_after) but at least it has a better chance to work
without having to invent much new complex locking.
> It also deals f.e. with page dirty status.
I think you should consider if you can also build a rmap per-MM like
KVM does and index it by the virtual address like KVM does.
--
To unsubscribe, send a message with 'unsubscribe linux-mm' in
the body to majordomo@kvack.org. For more info on Linux MM,
see: http://www.linux-mm.org/ .
Don't email: <a href=mailto:"dont@kvack.org"> email@kvack.org </a>
next prev parent reply other threads:[~2008-01-24 15:43 UTC|newest]
Thread overview: 192+ messages / expand[flat|nested] mbox.gz Atom feed top
2008-01-13 16:24 [PATCH] mmu notifiers #v2 Andrea Arcangeli
2008-01-13 16:24 ` Andrea Arcangeli
2008-01-13 16:24 ` Andrea Arcangeli
2008-01-13 21:11 ` Benjamin Herrenschmidt
2008-01-13 21:11 ` Benjamin Herrenschmidt
2008-01-13 21:11 ` Benjamin Herrenschmidt
2008-01-14 20:02 ` Christoph Lameter
2008-01-14 20:02 ` Christoph Lameter
2008-01-14 20:02 ` Christoph Lameter
2008-01-15 4:28 ` Benjamin Herrenschmidt
2008-01-15 4:28 ` Benjamin Herrenschmidt
2008-01-15 4:28 ` Benjamin Herrenschmidt
2008-01-15 12:44 ` Andrea Arcangeli
2008-01-15 12:44 ` Andrea Arcangeli
2008-01-15 12:44 ` Andrea Arcangeli
2008-01-15 20:18 ` Benjamin Herrenschmidt
2008-01-15 20:18 ` Benjamin Herrenschmidt
2008-01-15 20:18 ` Benjamin Herrenschmidt
2008-01-16 1:06 ` Andrea Arcangeli
2008-01-16 1:06 ` Andrea Arcangeli
2008-01-16 9:01 ` Brice Goglin
2008-01-16 9:01 ` Brice Goglin
2008-01-16 10:19 ` Andrea Arcangeli
2008-01-16 10:19 ` Andrea Arcangeli
2008-01-16 17:42 ` Rik van Riel
2008-01-16 17:42 ` Rik van Riel
2008-01-16 17:42 ` Rik van Riel
2008-01-16 17:48 ` Izik Eidus
2008-01-16 17:48 ` Izik Eidus
2008-01-16 17:48 ` Izik Eidus
2008-01-17 16:23 ` Andrea Arcangeli
2008-01-17 16:23 ` Andrea Arcangeli
2008-01-17 16:23 ` Andrea Arcangeli
2008-01-17 18:21 ` Izik Eidus
2008-01-17 18:21 ` Izik Eidus
2008-01-17 19:32 ` Andrea Arcangeli
2008-01-17 19:32 ` Andrea Arcangeli
2008-01-17 19:32 ` Andrea Arcangeli
2008-01-21 12:52 ` [PATCH] mmu notifiers #v3 Andrea Arcangeli
2008-01-21 12:52 ` Andrea Arcangeli
2008-01-21 12:52 ` Andrea Arcangeli
2008-01-22 2:21 ` Rik van Riel
2008-01-22 2:21 ` Rik van Riel
2008-01-22 2:21 ` Rik van Riel
2008-01-22 14:12 ` [kvm-devel] " Avi Kivity
2008-01-22 14:12 ` Avi Kivity
2008-01-22 14:12 ` Avi Kivity
2008-01-22 14:43 ` [kvm-devel] " Andrea Arcangeli
2008-01-22 14:43 ` Andrea Arcangeli
2008-01-22 14:43 ` Andrea Arcangeli
2008-01-22 20:08 ` [kvm-devel] [PATCH] mmu notifiers #v4 Andrea Arcangeli
2008-01-22 20:08 ` Andrea Arcangeli
2008-01-22 20:08 ` Andrea Arcangeli
2008-01-22 20:34 ` [kvm-devel] [PATCH] export notifier #1 Christoph Lameter
2008-01-22 20:34 ` Christoph Lameter
2008-01-22 20:34 ` Christoph Lameter
2008-01-22 22:31 ` [kvm-devel] " Andrea Arcangeli
2008-01-22 22:31 ` Andrea Arcangeli
2008-01-22 22:31 ` Andrea Arcangeli
2008-01-22 22:53 ` [kvm-devel] " Christoph Lameter
2008-01-22 22:53 ` Christoph Lameter
2008-01-22 22:53 ` Christoph Lameter
2008-01-23 10:27 ` [kvm-devel] " Avi Kivity
2008-01-23 10:27 ` Avi Kivity
2008-01-23 10:27 ` Avi Kivity
2008-01-23 10:52 ` [kvm-devel] " Robin Holt
2008-01-23 10:52 ` Robin Holt
2008-01-23 10:52 ` Robin Holt
2008-01-23 12:04 ` [kvm-devel] " Andrea Arcangeli
2008-01-23 12:04 ` Andrea Arcangeli
2008-01-23 12:34 ` Robin Holt
2008-01-23 12:34 ` Robin Holt
2008-01-23 12:34 ` Robin Holt
2008-01-23 19:48 ` [kvm-devel] " Christoph Lameter
2008-01-23 19:48 ` Christoph Lameter
2008-01-23 19:48 ` Christoph Lameter
2008-01-23 19:58 ` [kvm-devel] " Robin Holt
2008-01-23 19:58 ` Robin Holt
2008-01-23 19:58 ` Robin Holt
2008-01-23 19:47 ` [kvm-devel] " Christoph Lameter
2008-01-23 19:47 ` Christoph Lameter
2008-01-23 19:47 ` Christoph Lameter
2008-01-24 5:56 ` [kvm-devel] " Avi Kivity
2008-01-24 5:56 ` Avi Kivity
2008-01-24 5:56 ` Avi Kivity
2008-01-24 12:26 ` [kvm-devel] " Andrea Arcangeli
2008-01-24 12:26 ` Andrea Arcangeli
2008-01-24 12:26 ` Andrea Arcangeli
2008-01-24 12:34 ` [kvm-devel] " Avi Kivity
2008-01-24 12:34 ` Avi Kivity
2008-01-24 12:34 ` Avi Kivity
2008-01-23 11:41 ` [kvm-devel] " Andrea Arcangeli
2008-01-23 11:41 ` Andrea Arcangeli
2008-01-23 11:41 ` Andrea Arcangeli
2008-01-23 12:32 ` [kvm-devel] " Robin Holt
2008-01-23 12:32 ` Robin Holt
2008-01-23 12:32 ` Robin Holt
2008-01-23 17:33 ` [kvm-devel] " Andrea Arcangeli
2008-01-23 17:33 ` Andrea Arcangeli
2008-01-23 17:33 ` Andrea Arcangeli
2008-01-23 20:27 ` [kvm-devel] " Christoph Lameter
2008-01-23 20:27 ` Christoph Lameter
2008-01-23 20:27 ` Christoph Lameter
2008-01-24 15:42 ` Andrea Arcangeli [this message]
2008-01-24 15:42 ` [kvm-devel] " Andrea Arcangeli
2008-01-24 20:07 ` Christoph Lameter
2008-01-24 20:07 ` Christoph Lameter
2008-01-24 20:07 ` Christoph Lameter
2008-01-25 6:35 ` [kvm-devel] " Avi Kivity
2008-01-25 6:35 ` Avi Kivity
2008-01-25 6:35 ` Avi Kivity
2008-01-23 20:18 ` [kvm-devel] " Christoph Lameter
2008-01-23 20:18 ` Christoph Lameter
2008-01-23 20:18 ` Christoph Lameter
2008-01-24 14:34 ` [kvm-devel] " Andrea Arcangeli
2008-01-24 14:34 ` Andrea Arcangeli
2008-01-24 14:34 ` Andrea Arcangeli
2008-01-24 14:41 ` [kvm-devel] " Andrea Arcangeli
2008-01-24 14:41 ` Andrea Arcangeli
2008-01-24 14:41 ` Andrea Arcangeli
2008-01-24 15:15 ` [kvm-devel] " Avi Kivity
2008-01-24 15:15 ` Avi Kivity
2008-01-24 15:15 ` Avi Kivity
2008-01-24 15:18 ` [kvm-devel] " Avi Kivity
2008-01-24 15:18 ` Avi Kivity
2008-01-24 15:18 ` Avi Kivity
2008-01-24 20:01 ` [kvm-devel] " Christoph Lameter
2008-01-24 20:01 ` Christoph Lameter
2008-01-24 20:01 ` Christoph Lameter
2008-01-22 23:36 ` [kvm-devel] " Benjamin Herrenschmidt
2008-01-22 23:36 ` Benjamin Herrenschmidt
2008-01-22 23:36 ` Benjamin Herrenschmidt
2008-01-23 0:40 ` [kvm-devel] " Christoph Lameter
2008-01-23 0:40 ` Christoph Lameter
2008-01-23 0:40 ` Christoph Lameter
2008-01-23 1:21 ` [kvm-devel] " Robin Holt
2008-01-23 1:21 ` Robin Holt
2008-01-23 1:21 ` Robin Holt
2008-01-23 12:51 ` [kvm-devel] " Gerd Hoffmann
2008-01-23 12:51 ` Gerd Hoffmann
2008-01-23 12:51 ` Gerd Hoffmann
2008-01-23 13:19 ` [kvm-devel] " Robin Holt
2008-01-23 13:19 ` Robin Holt
2008-01-23 13:19 ` Robin Holt
2008-01-23 14:12 ` [kvm-devel] " Gerd Hoffmann
2008-01-23 14:12 ` Gerd Hoffmann
2008-01-23 14:12 ` Gerd Hoffmann
2008-01-23 14:18 ` [kvm-devel] " Robin Holt
2008-01-23 14:18 ` Robin Holt
2008-01-23 14:18 ` Robin Holt
2008-01-23 14:35 ` [kvm-devel] " Gerd Hoffmann
2008-01-23 14:35 ` Gerd Hoffmann
2008-01-23 14:35 ` Gerd Hoffmann
2008-01-23 15:48 ` [kvm-devel] " Robin Holt
2008-01-23 15:48 ` Robin Holt
2008-01-23 15:48 ` Robin Holt
2008-01-23 14:17 ` [kvm-devel] " Avi Kivity
2008-01-23 14:17 ` Avi Kivity
2008-01-23 14:17 ` Avi Kivity
2008-01-24 4:03 ` [kvm-devel] " Benjamin Herrenschmidt
2008-01-24 4:03 ` Benjamin Herrenschmidt
2008-01-24 4:03 ` Benjamin Herrenschmidt
2008-01-23 15:41 ` [kvm-devel] " Andrea Arcangeli
2008-01-23 15:41 ` Andrea Arcangeli
2008-01-23 17:47 ` Gerd Hoffmann
2008-01-23 17:47 ` Gerd Hoffmann
2008-01-23 17:47 ` Gerd Hoffmann
2008-01-24 6:01 ` [kvm-devel] " Avi Kivity
2008-01-24 6:01 ` Avi Kivity
2008-01-24 6:01 ` Avi Kivity
2008-01-24 6:45 ` [kvm-devel] " Jeremy Fitzhardinge
2008-01-24 6:45 ` Jeremy Fitzhardinge
2008-01-23 20:40 ` Christoph Lameter
2008-01-23 20:40 ` Christoph Lameter
2008-01-23 20:40 ` Christoph Lameter
2008-01-24 2:00 ` Enhance mmu notifiers to accomplish a lockless implementation (incomplete) Robin Holt
2008-01-24 2:00 ` Robin Holt
2008-01-24 2:00 ` Robin Holt
2008-01-24 4:05 ` Robin Holt
2008-01-24 4:05 ` Robin Holt
2008-01-24 4:05 ` Robin Holt
2008-01-22 19:28 ` [PATCH] mmu notifiers #v3 Peter Zijlstra
2008-01-22 19:28 ` Peter Zijlstra
2008-01-22 20:31 ` Christoph Lameter
2008-01-22 20:31 ` Christoph Lameter
2008-01-22 20:31 ` Christoph Lameter
2008-01-22 20:31 ` Andrea Arcangeli
2008-01-22 20:31 ` Andrea Arcangeli
2008-01-22 20:31 ` Andrea Arcangeli
2008-01-22 22:10 ` Hugh Dickins
2008-01-22 22:10 ` Hugh Dickins
2008-01-22 22:10 ` Hugh Dickins
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=20080124154239.GP7141@v2.random \
--to=andrea@qumranet.com \
--cc=akpm@osdl.org \
--cc=avi@qumranet.com \
--cc=benh@kernel.crashing.org \
--cc=clameter@sgi.com \
--cc=daniel.blueman@quadrics.com \
--cc=holt@sgi.com \
--cc=hugh@veritas.com \
--cc=izike@qumranet.com \
--cc=kvm-devel@lists.sourceforge.net \
--cc=linux-kernel@vger.kernel.org \
--cc=linux-mm@kvack.org \
--cc=npiggin@suse.de \
--cc=steiner@sgi.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 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.