Implementation of a constant-time dynamic storage allocator