Commit b527cfe5 authored by Vlastimil Babka's avatar Vlastimil Babka Committed by Linus Torvalds

mm, compaction: extend pageblock_skip_persistent() to all compound pages

pageblock_skip_persistent() checks for HugeTLB pages of pageblock order.
When clearing pageblock skip bits for compaction, the bits are not
cleared for such pageblocks, because they cannot contain base pages
suitable for migration, nor free pages to use as migration targets.

This optimization can be simply extended to all compound pages of order
equal or larger than pageblock order, because migrating such pages (if
they support it) cannot help sub-pageblock fragmentation.  This includes
THP's and also gigantic HugeTLB pages, which the current implementation
doesn't persistently skip due to a strict pageblock_order equality check
and not recognizing tail pages.

While THP pages are generally less "persistent" than HugeTLB, we can
still expect that if a THP exists at the point of
__reset_isolation_suitable(), it will exist also during the subsequent
compaction run.  The time difference here could be actually smaller than
between a compaction run that sets a (non-persistent) skip bit on a THP,
and the next compaction run that observes it.

Link: http://lkml.kernel.org/r/20171102121706.21504-1-vbabka@suse.czSigned-off-by: default avatarVlastimil Babka <vbabka@suse.cz>
Acked-by: default avatarMel Gorman <mgorman@techsingularity.net>
Acked-by: default avatarDavid Rientjes <rientjes@google.com>
Cc: Joonsoo Kim <iamjoonsoo.kim@lge.com>
Signed-off-by: default avatarAndrew Morton <akpm@linux-foundation.org>
Signed-off-by: default avatarLinus Torvalds <torvalds@linux-foundation.org>
parent 21dc7e02
...@@ -219,17 +219,21 @@ static void reset_cached_positions(struct zone *zone) ...@@ -219,17 +219,21 @@ static void reset_cached_positions(struct zone *zone)
} }
/* /*
* Hugetlbfs pages should consistenly be skipped until updated by the hugetlb * Compound pages of >= pageblock_order should consistenly be skipped until
* subsystem. It is always pointless to compact pages of pageblock_order and * released. It is always pointless to compact pages of such order (if they are
* the free scanner can reconsider when no longer huge. * migratable), and the pageblocks they occupy cannot contain any free pages.
*/ */
static bool pageblock_skip_persistent(struct page *page, unsigned int order) static bool pageblock_skip_persistent(struct page *page)
{ {
if (!PageHuge(page)) if (!PageCompound(page))
return false; return false;
if (order != pageblock_order)
return false; page = compound_head(page);
return true;
if (compound_order(page) >= pageblock_order)
return true;
return false;
} }
/* /*
...@@ -256,7 +260,7 @@ static void __reset_isolation_suitable(struct zone *zone) ...@@ -256,7 +260,7 @@ static void __reset_isolation_suitable(struct zone *zone)
continue; continue;
if (zone != page_zone(page)) if (zone != page_zone(page))
continue; continue;
if (pageblock_skip_persistent(page, compound_order(page))) if (pageblock_skip_persistent(page))
continue; continue;
clear_pageblock_skip(page); clear_pageblock_skip(page);
...@@ -323,8 +327,7 @@ static inline bool isolation_suitable(struct compact_control *cc, ...@@ -323,8 +327,7 @@ static inline bool isolation_suitable(struct compact_control *cc,
return true; return true;
} }
static inline bool pageblock_skip_persistent(struct page *page, static inline bool pageblock_skip_persistent(struct page *page)
unsigned int order)
{ {
return false; return false;
} }
......
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment