[MLton] share weirdness
Matthew Fluet
fluet@cs.cornell.edu
Fri, 21 Apr 2006 08:40:57 -0400 (EDT)
> But the two machines have exactly the same amount of memory, so shouldn't the
> heap sizes be the same?
If totalRam() reports (exactly) the same amount of memory, then the
runtime will attempt to aquire the same size heap on both machines. But,
whether or not virtual address space fragmentation allows you to get
exactly the same results from mmap calls seems unlikely, especially since
you are comparing a 2.6 uniprocessor kernel to a 2.4 multiprocessor
kernel. Even if the kernel differences don't impact the memory available
to user processes, my guess is that your glibc shared library isn't
exactly the same, that your libgmp shared library is processor dependent
(and hence isn't exactly the same), etc.
Once one call to mmap returns a different result on one machine from the
same call on the other machine, your likely to just keep magnifying the
differences between the two processes.