Hi, On 2023-02-17 09:52:01 -0800, Andres Freund wrote: > On 2023-02-17 17:26:20 +1300, David Rowley wrote: > Random note: > > I wonder if we should having a bitmap (in an int) in front of aset's > freelist. In a lot of cases we incur plenty cache misses, just to find the > freelist bucket empty.
Two somewhat related thoughts: 1) We should move AllocBlockData->freeptr into AllocSetContext. It's only ever used for the block at the head of ->blocks. We completely unnecessarily incur more cache line misses due to this (and waste a tiny bit of space). 2) We should introduce an API mcxt.c API to perform allocations that the caller promises not to individually free. We've talked a bunch about introducing a bump allocator memory context, but that requires using dedicated memory contexts, which incurs noticable space overhead, whereas just having a separate function call for the existing memory contexts doesn't have that issue. For aset.c we should just allocate from set->freeptr, without going through the freelist. Obviously we'd not round up to a power of 2. And likely, at least outside of assert builds, we should not have a chunk header. Greetings, Andres Freund