The OOM killer connects random tasks in the system with unknown dependencies between them, and the OOM victim might well get blocked behind locks held by the allocating task. That means that while allocations can issue OOM kills to improve the low memory situation, which generally frees more than they are going to take out, they can not rely on their *own* OOM kills to make forward progress. However, OOM-killing allocations currently retry forever. Without any extra measures the above situation will result in a deadlock; between the allocating task and the OOM victim at first, but it can spread once other tasks in the system start contending for the same locks. Allow OOM-killing allocations to dip into the system's memory reserves to avoid this deadlock scenario. Those reserves are specifically for operations in the memory reclaim paths which need a small amount of memory to release a much larger amount. Arguably, the same notion applies to the OOM killer. Signed-off-by: Johannes Weiner <hannes@xxxxxxxxxxx> --- mm/page_alloc.c | 14 ++++++++++++++ 1 file changed, 14 insertions(+) diff --git a/mm/page_alloc.c b/mm/page_alloc.c index 94530db..5f3806d 100644 --- a/mm/page_alloc.c +++ b/mm/page_alloc.c @@ -2384,6 +2384,20 @@ __alloc_pages_may_oom(gfp_t gfp_mask, unsigned int order, int alloc_flags, if (WARN_ON_ONCE(gfp_mask & __GFP_NOFAIL)) *did_some_progress = 1; } + + /* + * In the current implementation, an OOM-killing allocation + * loops indefinitely inside the allocator. However, it's + * possible for the OOM victim to get stuck behind locks held + * by the allocating task itself, so we can never rely on the + * OOM killer to free memory synchroneously without risking a + * deadlock. Allow these allocations to dip into the memory + * reserves to ensure forward progress once the OOM kill has + * been issued. The reserves will be replenished when the + * caller releases the locks and the victim exits. + */ + if (*did_some_progress) + alloc_flags |= ALLOC_NO_WATERMARKS; out: mutex_unlock(&oom_lock); alloc: -- 2.3.4 -- To unsubscribe, send a message with 'unsubscribe linux-mm' in the body to majordomo@xxxxxxxxx. For more info on Linux MM, see: http://www.linux-mm.org/ . Don't email: <a href=mailto:"dont@xxxxxxxxx";> email@xxxxxxxxx </a>