lkml.org 
[lkml]   [2018]   [Mar]   [6]   [last100]   RSS Feed
Views: [wrap][no wrap]   [headers]  [forward] 
 
Messages in this thread
/
Date
From
SubjectRe: [PATCH 1/1] mm: make start_isolate_page_range() fail if already isolated
On Mon, 5 Mar 2018 16:57:40 -0800 Mike Kravetz <mike.kravetz@oracle.com> wrote:

> >>>
> >>> I could not immediately come up with a good idea here. The zone lock
> >>> would be the obvious choice, but I don't think we want to hold it while
> >>> examining each of the page blocks. Perhaps a new lock or semaphore
> >>> associated with the zone? I'm open to suggestions.
> >>
> >> Yes, I think it would need a new lock. Hopefully a mutex.
> >
> > I'll look into adding an 'isolate' mutex to the zone structure and reworking
> > this patch.
>
> I went back and examined the 'isolation functionality' with an eye on perhaps
> adding a mutex for some higher level synchronization. However, there does
> not appear to be a straight forward solution.
>
> What we really need is some way of preventing two threads from operating on
> the same set of page blocks concurrently. We do not want a big mutex, as
> we do want two threads to run in parallel if operating on separate
> non-overlapping ranges (CMA does this today). If we did this, I think we
> would need a new data structure to represent page blocks within a zone.
> start_isolate_page_range() would then then check the new data structure for
> conflicts, and if none found mark the range it is operating on as 'in use'.
> undo_isolate_page_range() would clear the entries for the range in the new
> data structure. Such information would hang off the zone and be protected
> by the zone lock. The new data structure could be static (like a bit map),
> or dynamic. It certainly is doable, but ...
>
> The more I think about it, the more I like my original proposal. The
> comment "blundering through a whole bunch of pages then saying whoops
> then undoing everything is unpleasing" is certainly true. But do note
> that after isolating the page blocks, we will then attempt to migrate
> pages within those blocks. There is a more than a minimal chance that
> we will not be able to migrate something within the set of page blocks.
> In that case we again say whoops and undo even more work.
>
> I am relatively new to this area of code. Therefore, it would be good to
> get comments from some of the original authors.

hm, OK. Perhaps it would help to produce a v2 which has more comments
and changelogging describing what's happening here and why things are
as they are.

\
 
 \ /
  Last update: 2018-03-06 23:33    [W:0.066 / U:0.188 seconds]
©2003-2020 Jasper Spaans|hosted at Digital Ocean and TransIP|Read the blog|Advertise on this site