5 ms·

I wonder if it might be possible for OS's to provide a fast, asynchronous way of deallocating memory.