[PATCH 00/10] foundations for reserve-based allocation




In the interrest of getting swap over network working and posting in smaller
series, here is the first series.

This series lays the foundations needed to do reserve based allocation.
Traditionally we have used mempools (and others like radix_tree_preload) to
handle the problem.

However this does not fit the network stack. It is built around variable
sized allocations using kmalloc().

This calls for a different approach.

We want a guarantee for N bytes from kmalloc(), this translates to a demand
on the slab allocator for 2*N+m (due to the power-of-two nature of kmalloc
slabs), where m is the meta-data needed by the allocator itself.

The slab allocator then puts a demand of P pages on the page allocator.

So we need functions translating our demanded kmalloc space into a page
reserve limit, and then need to provide a reserve of pages.

And we need to ensure that once we hit the reserve, the slab allocator honours
the reserve's access. That is, a regular allocation may not get objects from
a slab allocated from the reserves.

There is already a page reserve, but it does not fully comply with our needs.
For example, it does not guarantee a strict level (due to the relative nature
of ALLOC_HIGH and ALLOC_HARDER). Hence we augment this reserve with a strict
limit.

Furthermore a new __GFP flag is added to allow easy access to the reserves
along-side the existing PF_MEMALLOC.

Users of this infrastructure will need to do the necessary bean counting to
ensure they stay within the requested limits.

NOTE: I have currently only implemented SLUB support, I'm still hoping
at least one of the others will die soon and save me the trouble.

--

-
To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to majordomo@xxxxxxxxxxxxxxx
More majordomo info at http://vger.kernel.org/majordomo-info.html
Please read the FAQ at http://www.tux.org/lkml/



Relevant Pages

  • Re: Distributed storage.
    ... (obsessive/compulsive memory deadlock hunter) ... positive moments from your approach and specialized allocator - ... independent reserve for any socket - such a reserve can be stolen from ...
    (Linux-Kernel)
  • Re: [RFC][PATCH 0/9] Network receive deadlock prevention for NBD
    ... Our main allocator has a special reserve that can be accessed ... Not a separate allocator per-se, separate socket group, they are ... reserve to further partition memory. ...
    (Linux-Kernel)
  • [PATCH] Bias the location of pages freed for min_free_kbytes in the same MAX_ORDER_NR_PAGES blocks
    ... this patch is full of lucky charms. ... The standard buddy allocator always favours the smallest block of pages. ... boot time, it tends to be the same MAX_ORDER blocks that remain free. ... It works by setting aside a reserve of MAX_ORDER_NR_PAGES blocks, ...
    (Linux-Kernel)
  • Re: map::reserve
    ... > how come the stl map class does not have a reserve function like the ... reserve() can avoid these unnecessary allocations and copy operations. ... > my own allocator, inherting a new class from map, and add it a reserve ...
    (comp.lang.cpp)
  • Re: [patch 0/9] Critical Mempools
    ... The slab allocator can as well be giving away ... > page pool to the slab allocator. ... Mempools aren't sufficient because in order to create a real critical pool ...
    (Linux-Kernel)