[MLton-devel] yeah, that did the trick

[Henry Cejtin]

Could it be that on FreeBSD the memory is grabbed at mmap time instead of
delaying until it is written in to as on Linux?  That would explain things
grabbing much more RAM during GC.  It isn't an insane performance tradeoff
since it would avoid faulting on each page on the first write.


-------------------------------------------------------
Sponsored by: AMD - Your access to the experts on Hammer Technology! 
Open Source & Linux Developers, register now for the AMD Developer 
Symposium. Code: EX8664 http://www.developwithamd.com/developerlab
_______________________________________________
MLton-devel mailing list
MLton-devel@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/mlton-devel