On Wed, Mar 21, 2018 at 02:22:13PM -0700, David Rientjes wrote: > PAGE_ALLOC_COSTLY_ORDER is a heuristic used by the page allocator because > it cannot free high-order contiguous memory. Memcg just needs to reclaim > a number of pages. Two order-3 charges can cause a memcg oom kill but now > an order-4 charge cannot. It's an unfair bias against high-order charges > that are not explicitly using __GFP_NORETRY. I agree with your premise: unlike the page allocator, memcg could OOM kill to help satisfy higher order allocations. Technically. But the semantics and expectations matter too. Because of the allocator's restriction, we've been telling and teaching callsites to fail gracefully and implement fallbacks forever, and that makes costly-order allocations inherently speculative and to a certain extent often optional. They've been written with that in mind forever. OOM is not graceful failure, though. We don't want to OOM kill when an the callsite can easily fallback to smaller allocations, trigger a packet resend, fail the syscall, what have you. We could argue what the default should be if callsites aren't specifically annotated - and whether we should change it. But the page allocator has established the default behavior already, and this is a bugfix. I prefer this fix not fundamentally change semantics for costly-order allocations.
