Skip to content

Commit a41f24e

Browse files
Nishanth Aravamudantorvalds
authored andcommitted
page allocator: smarter retry of costly-order allocations
Because of page order checks in __alloc_pages(), hugepage (and similarly large order) allocations will not retry unless explicitly marked __GFP_REPEAT. However, the current retry logic is nearly an infinite loop (or until reclaim does no progress whatsoever). For these costly allocations, that seems like overkill and could potentially never terminate. Mel observed that allowing current __GFP_REPEAT semantics for hugepage allocations essentially killed the system. I believe this is because we may continue to reclaim small orders of pages all over, but never have enough to satisfy the hugepage allocation request. This is clearly only a problem for large order allocations, of which hugepages are the most obvious (to me). Modify try_to_free_pages() to indicate how many pages were reclaimed. Use that information in __alloc_pages() to eventually fail a large __GFP_REPEAT allocation when we've reclaimed an order of pages equal to or greater than the allocation's order. This relies on lumpy reclaim functioning as advertised. Due to fragmentation, lumpy reclaim may not be able to free up the order needed in one invocation, so multiple iterations may be requred. In other words, the more fragmented memory is, the more retry attempts __GFP_REPEAT will make (particularly for higher order allocations). This changes the semantics of __GFP_REPEAT subtly, but *only* for allocations > PAGE_ALLOC_COSTLY_ORDER. With this patch, for those size allocations, we will try up to some point (at least 1<<order reclaimed pages), rather than forever (which is the case for allocations <= PAGE_ALLOC_COSTLY_ORDER). This change improves the /proc/sys/vm/nr_hugepages interface with a follow-on patch that makes pool allocations use __GFP_REPEAT. Rather than administrators repeatedly echo'ing a particular value into the sysctl, and forcing reclaim into action manually, this change allows for the sysctl to attempt a reasonable effort itself. Similarly, dynamic pool growth should be more successful under load, as lumpy reclaim can try to free up pages, rather than failing right away. Choosing to reclaim only up to the order of the requested allocation strikes a balance between not failing hugepage allocations and returning to the caller when it's unlikely to every succeed. Because of lumpy reclaim, if we have freed the order requested, hopefully it has been in big chunks and those chunks will allow our allocation to succeed. If that isn't the case after freeing up the current order, I don't think it is likely to succeed in the future, although it is possible given a particular fragmentation pattern. Signed-off-by: Nishanth Aravamudan <[email protected]> Cc: Andy Whitcroft <[email protected]> Tested-by: Mel Gorman <[email protected]> Cc: Dave Hansen <[email protected]> Cc: Christoph Lameter <[email protected]> Signed-off-by: Andrew Morton <[email protected]> Signed-off-by: Linus Torvalds <[email protected]>
1 parent ab857d0 commit a41f24e

File tree

2 files changed

+22
-7
lines changed

2 files changed

+22
-7
lines changed

mm/page_alloc.c

Lines changed: 17 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -1461,7 +1461,8 @@ __alloc_pages_internal(gfp_t gfp_mask, unsigned int order,
14611461
struct task_struct *p = current;
14621462
int do_retry;
14631463
int alloc_flags;
1464-
int did_some_progress;
1464+
unsigned long did_some_progress;
1465+
unsigned long pages_reclaimed = 0;
14651466

14661467
might_sleep_if(wait);
14671468

@@ -1611,15 +1612,26 @@ __alloc_pages_internal(gfp_t gfp_mask, unsigned int order,
16111612
* Don't let big-order allocations loop unless the caller explicitly
16121613
* requests that. Wait for some write requests to complete then retry.
16131614
*
1614-
* In this implementation, either order <= PAGE_ALLOC_COSTLY_ORDER or
1615-
* __GFP_REPEAT mean __GFP_NOFAIL, but that may not be true in other
1615+
* In this implementation, order <= PAGE_ALLOC_COSTLY_ORDER
1616+
* means __GFP_NOFAIL, but that may not be true in other
16161617
* implementations.
1618+
*
1619+
* For order > PAGE_ALLOC_COSTLY_ORDER, if __GFP_REPEAT is
1620+
* specified, then we retry until we no longer reclaim any pages
1621+
* (above), or we've reclaimed an order of pages at least as
1622+
* large as the allocation's order. In both cases, if the
1623+
* allocation still fails, we stop retrying.
16171624
*/
1625+
pages_reclaimed += did_some_progress;
16181626
do_retry = 0;
16191627
if (!(gfp_mask & __GFP_NORETRY)) {
1620-
if ((order <= PAGE_ALLOC_COSTLY_ORDER) ||
1621-
(gfp_mask & __GFP_REPEAT))
1628+
if (order <= PAGE_ALLOC_COSTLY_ORDER) {
16221629
do_retry = 1;
1630+
} else {
1631+
if (gfp_mask & __GFP_REPEAT &&
1632+
pages_reclaimed < (1 << order))
1633+
do_retry = 1;
1634+
}
16231635
if (gfp_mask & __GFP_NOFAIL)
16241636
do_retry = 1;
16251637
}

mm/vmscan.c

Lines changed: 5 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -1299,6 +1299,9 @@ static unsigned long shrink_zones(int priority, struct zonelist *zonelist,
12991299
* hope that some of these pages can be written. But if the allocating task
13001300
* holds filesystem locks which prevent writeout this might not work, and the
13011301
* allocation attempt will fail.
1302+
*
1303+
* returns: 0, if no pages reclaimed
1304+
* else, the number of pages reclaimed
13021305
*/
13031306
static unsigned long do_try_to_free_pages(struct zonelist *zonelist,
13041307
struct scan_control *sc)
@@ -1347,7 +1350,7 @@ static unsigned long do_try_to_free_pages(struct zonelist *zonelist,
13471350
}
13481351
total_scanned += sc->nr_scanned;
13491352
if (nr_reclaimed >= sc->swap_cluster_max) {
1350-
ret = 1;
1353+
ret = nr_reclaimed;
13511354
goto out;
13521355
}
13531356

@@ -1370,7 +1373,7 @@ static unsigned long do_try_to_free_pages(struct zonelist *zonelist,
13701373
}
13711374
/* top priority shrink_caches still had more to do? don't OOM, then */
13721375
if (!sc->all_unreclaimable && scan_global_lru(sc))
1373-
ret = 1;
1376+
ret = nr_reclaimed;
13741377
out:
13751378
/*
13761379
* Now that we've scanned all the zones at this priority level, note

0 commit comments

Comments
 (0)