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

mm, compaction: more reliably increase direct compaction priority

During reclaim/compaction loop, compaction priority can be increased by
the should_compact_retry() function, but the current code is not
optimal.  Priority is only increased when compaction_failed() is true,
which means that compaction has scanned the whole zone.  This may not
happen even after multiple attempts with a lower priority due to
parallel activity, so we might needlessly struggle on the lower
priorities and possibly run out of compaction retry attempts in the
process.

After this patch we are guaranteed at least one attempt at the highest
compaction priority even if we exhaust all retries at the lower
priorities.

Link: http://lkml.kernel.org/r/20160906135258.18335-3-vbabka@suse.czSigned-off-by: default avatarVlastimil Babka <vbabka@suse.cz>
Cc: Michal Hocko <mhocko@kernel.org>
Cc: Mel Gorman <mgorman@techsingularity.net>
Cc: Joonsoo Kim <iamjoonsoo.kim@lge.com>
Cc: David Rientjes <rientjes@google.com>
Cc: Rik van Riel <riel@redhat.com>
Cc: Tetsuo Handa <penguin-kernel@i-love.sakura.ne.jp>
Signed-off-by: default avatarAndrew Morton <akpm@linux-foundation.org>
Signed-off-by: default avatarLinus Torvalds <torvalds@linux-foundation.org>
parent 3250845d
...@@ -3160,25 +3160,23 @@ static inline bool ...@@ -3160,25 +3160,23 @@ static inline bool
should_compact_retry(struct alloc_context *ac, int order, int alloc_flags, should_compact_retry(struct alloc_context *ac, int order, int alloc_flags,
enum compact_result compact_result, enum compact_result compact_result,
enum compact_priority *compact_priority, enum compact_priority *compact_priority,
int compaction_retries) int *compaction_retries)
{ {
int max_retries = MAX_COMPACT_RETRIES; int max_retries = MAX_COMPACT_RETRIES;
if (!order) if (!order)
return false; return false;
if (compaction_made_progress(compact_result))
(*compaction_retries)++;
/* /*
* compaction considers all the zone as desperately out of memory * compaction considers all the zone as desperately out of memory
* so it doesn't really make much sense to retry except when the * so it doesn't really make much sense to retry except when the
* failure could be caused by insufficient priority * failure could be caused by insufficient priority
*/ */
if (compaction_failed(compact_result)) { if (compaction_failed(compact_result))
if (*compact_priority > MIN_COMPACT_PRIORITY) { goto check_priority;
(*compact_priority)--;
return true;
}
return false;
}
/* /*
* make sure the compaction wasn't deferred or didn't bail out early * make sure the compaction wasn't deferred or didn't bail out early
...@@ -3199,9 +3197,19 @@ should_compact_retry(struct alloc_context *ac, int order, int alloc_flags, ...@@ -3199,9 +3197,19 @@ should_compact_retry(struct alloc_context *ac, int order, int alloc_flags,
*/ */
if (order > PAGE_ALLOC_COSTLY_ORDER) if (order > PAGE_ALLOC_COSTLY_ORDER)
max_retries /= 4; max_retries /= 4;
if (compaction_retries <= max_retries) if (*compaction_retries <= max_retries)
return true; return true;
/*
* Make sure there are attempts at the highest priority if we exhausted
* all retries or failed at the lower priorities.
*/
check_priority:
if (*compact_priority > MIN_COMPACT_PRIORITY) {
(*compact_priority)--;
*compaction_retries = 0;
return true;
}
return false; return false;
} }
#else #else
...@@ -3218,7 +3226,7 @@ static inline bool ...@@ -3218,7 +3226,7 @@ static inline bool
should_compact_retry(struct alloc_context *ac, unsigned int order, int alloc_flags, should_compact_retry(struct alloc_context *ac, unsigned int order, int alloc_flags,
enum compact_result compact_result, enum compact_result compact_result,
enum compact_priority *compact_priority, enum compact_priority *compact_priority,
int compaction_retries) int *compaction_retries)
{ {
struct zone *zone; struct zone *zone;
struct zoneref *z; struct zoneref *z;
...@@ -3620,9 +3628,6 @@ __alloc_pages_slowpath(gfp_t gfp_mask, unsigned int order, ...@@ -3620,9 +3628,6 @@ __alloc_pages_slowpath(gfp_t gfp_mask, unsigned int order,
if (page) if (page)
goto got_pg; goto got_pg;
if (order && compaction_made_progress(compact_result))
compaction_retries++;
/* Do not loop if specifically requested */ /* Do not loop if specifically requested */
if (gfp_mask & __GFP_NORETRY) if (gfp_mask & __GFP_NORETRY)
goto nopage; goto nopage;
...@@ -3657,7 +3662,7 @@ __alloc_pages_slowpath(gfp_t gfp_mask, unsigned int order, ...@@ -3657,7 +3662,7 @@ __alloc_pages_slowpath(gfp_t gfp_mask, unsigned int order,
if (did_some_progress > 0 && if (did_some_progress > 0 &&
should_compact_retry(ac, order, alloc_flags, should_compact_retry(ac, order, alloc_flags,
compact_result, &compact_priority, compact_result, &compact_priority,
compaction_retries)) &compaction_retries))
goto retry; goto retry;
/* Reclaim has failed us, start killing things */ /* Reclaim has failed us, start killing things */
......
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