lkml.org 
[lkml]   [2011]   [Jan]   [27]   [last100]   RSS Feed
Views: [wrap][no wrap]   [headers]  [forward] 
 
Messages in this thread
/
SubjectRe: One (possible) x86 get_user_pages bug
From
Date
On Thu, 2011-01-27 at 10:27 -0800, Jeremy Fitzhardinge wrote:
>
> So is there some way we can preserve the current scheme's benefits while
> making it a bit more general? (If anyone else has non-IPI-based
> shootdown, it would be s390; is there some inspiration there? An
> instruction perhaps?)

Well, you can provide a xen gupf implementation based on rcu freed
page-tables like powerpc, sparc and s390 have.

But you'll have to change the mmu_gather implementation of xen and use
the get_page_unless_zero() thing mentioned before (or use
page_cache_get_speculative()).

But I see no need to change the x86 implementation, if the architecture
ever changes the way it does tlb invalidation we need to change more
than just the gupf implementation.




\
 
 \ /
  Last update: 2011-01-27 20:29    [from the cache]
©2003-2011 Jasper Spaans