On 09/08/2015 12:37 PM, David M. Lloyd wrote: > Then you do the real unmap when > the buffer is GC'd (maybe via Cleaner). This is very akin to how file > descriptors are cleaned up, AFAICT.
Indeed it is, and it's no better than the status quo. This is an attempt to do better. Andrew.
