Slab allocation: each object type gets its own cache of slabs, each slab divided into fixed-size slots. Allocation finds a free slot in O(1), slabs transition between empty, partial and full, and fully-free slabs are reclaimed.