[MLton] Writing memory to disk ...

Henry Cejtin henry.cejtin@sbcglobal.net
Wed, 24 May 2006 10:57:59 -0500


I agree that for some things, even the raw disk is no good.  For many though,
not accessible except by root is good enough.

As to my use, I just have a program that has that much live data at times.
The tmp file works well, with about 50% of the time being spent in the GC
for that part of the program, which isn't too bad.

As to the 2 gig limit, it is total for mmap space.