All of lore.kernel.org
 help / color / mirror / Atom feed
From: Avi Kivity <avi@qumranet.com>
To: Christoph Lameter <clameter@sgi.com>
Cc: Andrea Arcangeli <andrea@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, holt@sgi.com,
	Hugh Dickins <hugh@veritas.com>
Subject: Re: [kvm-devel] [PATCH] export notifier #1
Date: Wed, 23 Jan 2008 12:27:57 +0200	[thread overview]
Message-ID: <479716AD.5070708@qumranet.com> (raw)
In-Reply-To: <Pine.LNX.4.64.0801221433080.2271@schroedinger.engr.sgi.com>

Christoph Lameter wrote:
> Ahhh. Good to hear. But we will still end in a situation where only
> the remote ptes point to the page. Maybe the remote instance will dirty
> the page at that point?
>
>   

When the spte is dropped, its dirty bit is transferred to the page.
>   
>> sharing code, and for you missing a single notifier means memory
>> corruption because you don't bump the page count to represent the
>> external reference).
>>     
>
> The approach with the export notifier is page based not based on the 
> mm_struct. We only need a single page count for a page that is exported to 
> a number of remote instances of linux. The page count is dropped when all 
> the remote instances have unmapped the page.
>   

That won't work for kvm.  If we have a hundred virtual machines, that 
means 99 no-op notifications.

Also, our rmap key for finding the spte is keyed on (mm, va).  I imagine 
most RDMA cards are similar.
>  
>   
>>> @@ -966,6 +973,9 @@ int try_to_unmap(struct page *page, int 
>>>  
>>>  	BUG_ON(!PageLocked(page));
>>>  
>>> +	if (unlikely(PageExported(page)))
>>> +		export_notifier(invalidate_page, page);
>>> +
>>>       
>> Passing the page here will complicate things especially for shared
>> pages across different VM that are already working in KVM. For non
>>     
>
> How?
>
>   
>> shared pages we could cache the userland mapping address in
>> page->private but it's a kludge only working for non-shared
>> pages. Walking twice the anon_vma lists when only a single walk is
>>     
>
> There is only the need to walk twice for pages that are marked Exported. 
> And the double walk is only necessary if the exporter does not have its 
> own rmap. The cross partition thing that we are doing has such an rmap and 
> its a matter of walking the exporters rmap to clear out the external 
> references and then we walk the local rmaps. All once.
>   

The problem is that external mmus need a reverse mapping structure to 
locate their ptes.  We can't expand struct page so we need to base it on 
mm + va.

>   
>> Besides the pinned pages ram leak by having the zero locking window
>> above I'm curious how you are going to take care of the finegrined
>> aging that I'm doing with the accessed bit set by hardware in the spte
>>     
>
> I think I explained that above. Remote users effectively are forbidden to 
> establish new references to the page by the clearing of the exported bit.
>
>   

Can they wait on that bit?


-- 
error compiling committee.c: too many arguments to function


WARNING: multiple messages have this Message-ID (diff)
From: Avi Kivity <avi-atKUWr5tajBWk0Htik3J/w@public.gmane.org>
To: Christoph Lameter <clameter-sJ/iWh9BUns@public.gmane.org>
Cc: Andrew Morton <akpm-3NddpPZAyC0@public.gmane.org>,
	Nick Piggin <npiggin-l3A5Bk7waGM@public.gmane.org>,
	Andrea Arcangeli <andrea-atKUWr5tajBWk0Htik3J/w@public.gmane.org>,
	linux-mm-Bw31MaZKKs3YtjvyW6yDsg@public.gmane.org,
	Benjamin Herrenschmidt
	<benh-XVmvHMARGAS8U2dJNN8I7kB+6BGkLq7r@public.gmane.org>,
	steiner-sJ/iWh9BUns@public.gmane.org,
	linux-kernel-u79uwXL29TY76Z2rM5mHXA@public.gmane.org,
	kvm-devel-5NWGOfrQmneRv+LV9MX5uipxlwaOVQ5f@public.gmane.org,
	daniel.blueman-xqY44rlHlBpWk0Htik3J/w@public.gmane.org,
	holt-sJ/iWh9BUns@public.gmane.org,
	Hugh Dickins <hugh-DTz5qymZ9yRBDgjK7y7TUQ@public.gmane.org>
Subject: Re: [PATCH] export notifier #1
Date: Wed, 23 Jan 2008 12:27:57 +0200	[thread overview]
Message-ID: <479716AD.5070708@qumranet.com> (raw)
In-Reply-To: <Pine.LNX.4.64.0801221433080.2271-RYO/mD75kfhx2SFC9UQUAuF7EQX82lMiAL8bYrjMMd8@public.gmane.org>

Christoph Lameter wrote:
> Ahhh. Good to hear. But we will still end in a situation where only
> the remote ptes point to the page. Maybe the remote instance will dirty
> the page at that point?
>
>   

When the spte is dropped, its dirty bit is transferred to the page.
>   
>> sharing code, and for you missing a single notifier means memory
>> corruption because you don't bump the page count to represent the
>> external reference).
>>     
>
> The approach with the export notifier is page based not based on the 
> mm_struct. We only need a single page count for a page that is exported to 
> a number of remote instances of linux. The page count is dropped when all 
> the remote instances have unmapped the page.
>   

That won't work for kvm.  If we have a hundred virtual machines, that 
means 99 no-op notifications.

Also, our rmap key for finding the spte is keyed on (mm, va).  I imagine 
most RDMA cards are similar.
>  
>   
>>> @@ -966,6 +973,9 @@ int try_to_unmap(struct page *page, int 
>>>  
>>>  	BUG_ON(!PageLocked(page));
>>>  
>>> +	if (unlikely(PageExported(page)))
>>> +		export_notifier(invalidate_page, page);
>>> +
>>>       
>> Passing the page here will complicate things especially for shared
>> pages across different VM that are already working in KVM. For non
>>     
>
> How?
>
>   
>> shared pages we could cache the userland mapping address in
>> page->private but it's a kludge only working for non-shared
>> pages. Walking twice the anon_vma lists when only a single walk is
>>     
>
> There is only the need to walk twice for pages that are marked Exported. 
> And the double walk is only necessary if the exporter does not have its 
> own rmap. The cross partition thing that we are doing has such an rmap and 
> its a matter of walking the exporters rmap to clear out the external 
> references and then we walk the local rmaps. All once.
>   

The problem is that external mmus need a reverse mapping structure to 
locate their ptes.  We can't expand struct page so we need to base it on 
mm + va.

>   
>> Besides the pinned pages ram leak by having the zero locking window
>> above I'm curious how you are going to take care of the finegrined
>> aging that I'm doing with the accessed bit set by hardware in the spte
>>     
>
> I think I explained that above. Remote users effectively are forbidden to 
> establish new references to the page by the clearing of the exported bit.
>
>   

Can they wait on that bit?


-- 
error compiling committee.c: too many arguments to function


-------------------------------------------------------------------------
This SF.net email is sponsored by: Microsoft
Defy all challenges. Microsoft(R) Visual Studio 2008.
http://clk.atdmt.com/MRT/go/vse0120000070mrt/direct/01/

WARNING: multiple messages have this Message-ID (diff)
From: Avi Kivity <avi@qumranet.com>
To: Christoph Lameter <clameter@sgi.com>
Cc: Andrea Arcangeli <andrea@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, holt@sgi.com,
	Hugh Dickins <hugh@veritas.com>
Subject: Re: [kvm-devel] [PATCH] export notifier #1
Date: Wed, 23 Jan 2008 12:27:57 +0200	[thread overview]
Message-ID: <479716AD.5070708@qumranet.com> (raw)
In-Reply-To: <Pine.LNX.4.64.0801221433080.2271@schroedinger.engr.sgi.com>

Christoph Lameter wrote:
> Ahhh. Good to hear. But we will still end in a situation where only
> the remote ptes point to the page. Maybe the remote instance will dirty
> the page at that point?
>
>   

When the spte is dropped, its dirty bit is transferred to the page.
>   
>> sharing code, and for you missing a single notifier means memory
>> corruption because you don't bump the page count to represent the
>> external reference).
>>     
>
> The approach with the export notifier is page based not based on the 
> mm_struct. We only need a single page count for a page that is exported to 
> a number of remote instances of linux. The page count is dropped when all 
> the remote instances have unmapped the page.
>   

That won't work for kvm.  If we have a hundred virtual machines, that 
means 99 no-op notifications.

Also, our rmap key for finding the spte is keyed on (mm, va).  I imagine 
most RDMA cards are similar.
>  
>   
>>> @@ -966,6 +973,9 @@ int try_to_unmap(struct page *page, int 
>>>  
>>>  	BUG_ON(!PageLocked(page));
>>>  
>>> +	if (unlikely(PageExported(page)))
>>> +		export_notifier(invalidate_page, page);
>>> +
>>>       
>> Passing the page here will complicate things especially for shared
>> pages across different VM that are already working in KVM. For non
>>     
>
> How?
>
>   
>> shared pages we could cache the userland mapping address in
>> page->private but it's a kludge only working for non-shared
>> pages. Walking twice the anon_vma lists when only a single walk is
>>     
>
> There is only the need to walk twice for pages that are marked Exported. 
> And the double walk is only necessary if the exporter does not have its 
> own rmap. The cross partition thing that we are doing has such an rmap and 
> its a matter of walking the exporters rmap to clear out the external 
> references and then we walk the local rmaps. All once.
>   

The problem is that external mmus need a reverse mapping structure to 
locate their ptes.  We can't expand struct page so we need to base it on 
mm + va.

>   
>> Besides the pinned pages ram leak by having the zero locking window
>> above I'm curious how you are going to take care of the finegrined
>> aging that I'm doing with the accessed bit set by hardware in the spte
>>     
>
> I think I explained that above. Remote users effectively are forbidden to 
> establish new references to the page by the clearing of the exported bit.
>
>   

Can they wait on that bit?


-- 
error compiling committee.c: too many arguments to function

--
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>

  reply	other threads:[~2008-01-23 10:28 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                         ` Avi Kivity [this message]
2008-01-23 10:27                           ` [kvm-devel] " 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                                 ` [kvm-devel] " Andrea Arcangeli
2008-01-24 15:42                                   ` 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=479716AD.5070708@qumranet.com \
    --to=avi@qumranet.com \
    --cc=akpm@osdl.org \
    --cc=andrea@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.