[MLton] MLton HOL
Jesper Louis Andersen
Fri, 28 May 2004 12:20:38 +0200
Quoting Stephen Weeks (email@example.com):
> Yeah, there is a problem due to address space fragmentation and the
> fact that the MLton runtime requires a contiguous chunk of memory.
> Since there are often some shared libraries around address 1G and
> something else (I don't know what) around address 3G, about all that
> mmap will give MLton's runtime is about 2G. It's still sometimes
> helpful to run on a machine with 3G or 4G though, just to avoid
Of the virtual address space, 1G is mapped to the kernel and 3G are
mapped to the userland proces. So it is possibly the kernel around 3G.
Adding the shared libraries gives exactly what you see.