Yes, in general you want to close `s` after calling mmap_array. The sequence
a = 0
gc()
should (as long as there are no other references to the original a) unmap it.
On julia 0.4 you can also call `finalize` directly.
--Tim
On Tuesday, March 24, 2015 01:26:11 PM Sebastian Good wrote:
> Given
>
> s = open("bigdata")
> a = mmap_array(Int64, (a_billion, a_jillion), s)
>
> Is it safe to use a after s has been closed? The documentation isn't
> entirely clear about when munmap is called; is there an explicit operation
> we should use on a to deterministically unmap it?
