[MLton] Progress on AMD64/FreeBSD

skaller skaller at users.sourceforge.net
Sat Jun 23 21:24:27 PDT 2007

On Sat, 2007-06-23 at 19:57 -0500, Matthew Fluet wrote:
> Jesper Louis Andersen wrote:
> > ok, new hypothesis:
> > 
> > printing the right size of the pointer gives
> > 
> > Couldn't map f7ff9954b0000000, 94208
> > 
> > etc. So I think this area is non-mappable for som reason. More 
> > investigation
> > needed.
> It could be that FreeBSD just doesn't release the very high addresses 
> for mmap'ing.  And it is just taking forever to work our way down to the 
> available addresses.
> We'll want to increase the scan stride for a 64-bit system.

I think on Linux, the whole upper half of the address space is reserved
for the kernel. [Still .. Mlton does work 64 bit on Ubuntu]
There are descriptions of the memory models somewhere.
To me this number: f7ff9954b0000000 looks like a stack address.
I don't really have any expertise though.

John Skaller <skaller at users dot sf dot net>
Felix, successor to C++: http://felix.sf.net

More information about the MLton mailing list