I can't find any documentation on how numpy handles unmapping of previously memory mapped regions: munmap for numpy.memmap() and numpy.load(mmap_mode).

My guess is it's done only at garbage collection time, is that correct?

Edit
Report