[MLton] MLton HOL

Jesper Louis Andersen jlouis@mongers.org
Fri, 28 May 2004 12:20:38 +0200

Quoting Stephen Weeks (sweeks@sweeks.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
> paging.

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.