Skip to content

Commit 6268f0a

Browse files
yanggeakpm00
authored andcommitted
mm: compaction: use the proper flag to determine watermarks
There are 4 NUMA nodes on my machine, and each NUMA node has 32GB of memory. I have configured 16GB of CMA memory on each NUMA node, and starting a 32GB virtual machine with device passthrough is extremely slow, taking almost an hour. Long term GUP cannot allocate memory from CMA area, so a maximum of 16 GB of no-CMA memory on a NUMA node can be used as virtual machine memory. There is 16GB of free CMA memory on a NUMA node, which is sufficient to pass the order-0 watermark check, causing the __compaction_suitable() function to consistently return true. For costly allocations, if the __compaction_suitable() function always returns true, it causes the __alloc_pages_slowpath() function to fail to exit at the appropriate point. This prevents timely fallback to allocating memory on other nodes, ultimately resulting in excessively long virtual machine startup times. Call trace: __alloc_pages_slowpath if (compact_result == COMPACT_SKIPPED || compact_result == COMPACT_DEFERRED) goto nopage; // should exit __alloc_pages_slowpath() from here We could use the real unmovable allocation context to have __zone_watermark_unusable_free() subtract CMA pages, and thus we won't pass the order-0 check anymore once the non-CMA part is exhausted. There is some risk that in some different scenario the compaction could in fact migrate pages from the exhausted non-CMA part of the zone to the CMA part and succeed, and we'll skip it instead. But only __GFP_NORETRY allocations should be affected in the immediate "goto nopage" when compaction is skipped, others will attempt with DEF_COMPACT_PRIORITY anyway and won't fail without trying to compact-migrate the non-CMA pageblocks into CMA pageblocks first, so it should be fine. After this fix, it only takes a few tens of seconds to start a 32GB virtual machine with device passthrough functionality. Link: https://lore.kernel.org/lkml/[email protected]/ Link: https://lkml.kernel.org/r/[email protected] Signed-off-by: yangge <[email protected]> Acked-by: Vlastimil Babka <[email protected]> Reviewed-by: Baolin Wang <[email protected]> Acked-by: Johannes Weiner <[email protected]> Cc: Barry Song <[email protected]> Cc: David Hildenbrand <[email protected]> Signed-off-by: Andrew Morton <[email protected]>
1 parent 64c37e1 commit 6268f0a

File tree

1 file changed

+25
-4
lines changed

1 file changed

+25
-4
lines changed

mm/compaction.c

Lines changed: 25 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -2491,7 +2491,8 @@ bool compaction_zonelist_suitable(struct alloc_context *ac, int order,
24912491
*/
24922492
static enum compact_result
24932493
compaction_suit_allocation_order(struct zone *zone, unsigned int order,
2494-
int highest_zoneidx, unsigned int alloc_flags)
2494+
int highest_zoneidx, unsigned int alloc_flags,
2495+
bool async)
24952496
{
24962497
unsigned long watermark;
24972498

@@ -2500,6 +2501,23 @@ compaction_suit_allocation_order(struct zone *zone, unsigned int order,
25002501
alloc_flags))
25012502
return COMPACT_SUCCESS;
25022503

2504+
/*
2505+
* For unmovable allocations (without ALLOC_CMA), check if there is enough
2506+
* free memory in the non-CMA pageblocks. Otherwise compaction could form
2507+
* the high-order page in CMA pageblocks, which would not help the
2508+
* allocation to succeed. However, limit the check to costly order async
2509+
* compaction (such as opportunistic THP attempts) because there is the
2510+
* possibility that compaction would migrate pages from non-CMA to CMA
2511+
* pageblock.
2512+
*/
2513+
if (order > PAGE_ALLOC_COSTLY_ORDER && async &&
2514+
!(alloc_flags & ALLOC_CMA)) {
2515+
watermark = low_wmark_pages(zone) + compact_gap(order);
2516+
if (!__zone_watermark_ok(zone, 0, watermark, highest_zoneidx,
2517+
0, zone_page_state(zone, NR_FREE_PAGES)))
2518+
return COMPACT_SKIPPED;
2519+
}
2520+
25032521
if (!compaction_suitable(zone, order, highest_zoneidx))
25042522
return COMPACT_SKIPPED;
25052523

@@ -2535,7 +2553,8 @@ compact_zone(struct compact_control *cc, struct capture_control *capc)
25352553
if (!is_via_compact_memory(cc->order)) {
25362554
ret = compaction_suit_allocation_order(cc->zone, cc->order,
25372555
cc->highest_zoneidx,
2538-
cc->alloc_flags);
2556+
cc->alloc_flags,
2557+
cc->mode == MIGRATE_ASYNC);
25392558
if (ret != COMPACT_CONTINUE)
25402559
return ret;
25412560
}
@@ -3038,7 +3057,8 @@ static bool kcompactd_node_suitable(pg_data_t *pgdat)
30383057

30393058
ret = compaction_suit_allocation_order(zone,
30403059
pgdat->kcompactd_max_order,
3041-
highest_zoneidx, ALLOC_WMARK_MIN);
3060+
highest_zoneidx, ALLOC_WMARK_MIN,
3061+
false);
30423062
if (ret == COMPACT_CONTINUE)
30433063
return true;
30443064
}
@@ -3079,7 +3099,8 @@ static void kcompactd_do_work(pg_data_t *pgdat)
30793099
continue;
30803100

30813101
ret = compaction_suit_allocation_order(zone,
3082-
cc.order, zoneid, ALLOC_WMARK_MIN);
3102+
cc.order, zoneid, ALLOC_WMARK_MIN,
3103+
false);
30833104
if (ret != COMPACT_CONTINUE)
30843105
continue;
30853106

0 commit comments

Comments
 (0)