On Wed 20-06-18 15:55:41, John Hubbard wrote: > On 06/20/2018 05:08 AM, Jan Kara wrote: > > On Tue 19-06-18 11:11:48, John Hubbard wrote: > >> On 06/19/2018 03:41 AM, Jan Kara wrote: > >>> On Tue 19-06-18 02:02:55, Matthew Wilcox wrote: > >>>> On Tue, Jun 19, 2018 at 10:29:49AM +0200, Jan Kara wrote: > [...] > >>> I'm also still pondering the idea of inserting a "virtual" VMA into vma > >>> interval tree in the inode - as the GUP references are IMHO closest to an > >>> mlocked mapping - and that would achieve all the functionality we need as > >>> well. I just didn't have time to experiment with it. > >> > >> How would this work? Would it have the same virtual address range? And how > >> does it avoid the problems we've been discussing? Sorry to be a bit slow > >> here. :) > > > > The range covered by the virtual mapping would be the one sent to > > get_user_pages() to get page references. And then we would need to teach > > page_mkclean() to check for these virtual VMAs and block / skip / report > > (different situations would need different behavior) such page. But this > > second part is the same regardless how we identify a page that is pinned by > > get_user_pages(). > > > OK. That neatly avoids the need a new page flag, I think. But of course it is > somewhat more extensive to implement. Sounds like something to keep in mind, > in case it has better tradeoffs than the direction I'm heading so far. Yes, the changes needed are somewhat more intrusive. I'm looking into this approach now to see how the result will look like... Honza -- Jan Kara <jack@xxxxxxxx> SUSE Labs, CR
