[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.
http://www.csn.ul.ie/~mel/projects/vm/guide/html/understand/node30.html
Adding the shared libraries gives exactly what you see.
--
j.