You never have to worry about double-freeing memory or object lifetimes.

A negative number indicates that the process is freeing memory allocated by another process.

As you can see, in this allocator, freeing memory is done in constant time, using a very simple mechanism.