On Wed, Jul 16, 2014 at 03:48:13PM +0200, Vlastimil Babka wrote: > isolate_migratepages_range() is the main function of the compaction scanner, > called either on a single pageblock by isolate_migratepages() during regular > compaction, or on an arbitrary range by CMA's __alloc_contig_migrate_range(). > It currently perfoms two pageblock-wide compaction suitability checks, and > because of the CMA callpath, it tracks if it crossed a pageblock boundary in > order to repeat those checks. > > However, closer inspection shows that those checks are always true for CMA: > - isolation_suitable() is true because CMA sets cc->ignore_skip_hint to true > - migrate_async_suitable() check is skipped because CMA uses sync compaction > > We can therefore move the compaction-specific checks to isolate_migratepages() > and simplify isolate_migratepages_range(). Furthermore, we can mimic the > freepage scanner family of functions, which has isolate_freepages_block() > function called both by compaction from isolate_freepages() and by CMA from > isolate_freepages_range(), where each use-case adds own specific glue code. > This allows further code simplification. > > Therefore, we rename isolate_migratepages_range() to isolate_freepages_block() > and limit its functionality to a single pageblock (or its subset). For CMA, > a new different isolate_migratepages_range() is created as a CMA-specific > wrapper for the _block() function. The checks specific to compaction are moved > to isolate_migratepages(). As part of the unification of these two families of > functions, we remove the redundant zone parameter where applicable, since zone > pointer is already passed in cc->zone. > > Furthermore, going back to compact_zone() and compact_finished() when > pageblock > is found unsuitable (now by isolate_migratepages()) is wasteful - the checks > are meant to skip pageblocks quickly. The patch therefore also introduces a > simple loop into isolate_migratepages() so that it does not return immediately > on failed pageblock checks, but keeps going until isolate_migratepages_range() > gets called once. Similarily to isolate_freepages(), the function periodically > checks if it needs to reschedule or abort async compaction. > > Signed-off-by: Vlastimil Babka <[email protected]> > Cc: Minchan Kim <[email protected]> > Cc: Mel Gorman <[email protected]> > Cc: Joonsoo Kim <[email protected]> > Cc: Michal Nazarewicz <[email protected]> > Cc: Naoya Horiguchi <[email protected]> > Cc: Christoph Lameter <[email protected]> > Cc: Rik van Riel <[email protected]> > Cc: David Rientjes <[email protected]>
Acked-by: Mel Gorman <[email protected]> -- Mel Gorman SUSE Labs -- To unsubscribe from this list: send the line "unsubscribe linux-kernel" in the body of a message to [email protected] More majordomo info at http://vger.kernel.org/majordomo-info.html Please read the FAQ at http://www.tux.org/lkml/
