[MLton] MLton HOL

[Jesper Louis Andersen]

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.

http://www.csn.ul.ie/~mel/projects/vm/guide/html/understand/node30.html

Adding the shared libraries gives exactly what you see.

-- 
j.