[MLton] Progress on AMD64/FreeBSD
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