Comment by ayende

You actually are doing dynamic memory allocations, you are just not allocating from the operating system.

A quick look shows how this is done: https://github.com/tigerbeetledb/tigerbeetle/blob/91a105875c...

You can see things like alloc / free, memory ownership, and everything that is associated with it.

The fact that you allocate from a startup buffer vs. a call to `mmap`/`brk` doesn't really change things.