[MLton] Writing memory to disk ...

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


Note, MLton can't really get more than about 2 gig in the nmap address space.
Re passwords on the disk, the right way to go to eliminate most of the danger
is that you create the file, then unlink, then write.  Not invulnerable
against root or some one who can read the raw disk, but relatively safe.

Any way, I definitely need it, but an option might be ok.