Bitmap-based synchronised memory allocator