[MLton-devel] yeah, that did the trick

[Henry Cejtin]

Note that Linux tries to keep some pages pre-zero'd.  This doesn't save any
CPU time, but is meant to lower latency on the page fault.  The result is that
the page zeroing isn't charged to the process that does the fault (because it
is done by kernel daemon's).


-------------------------------------------------------
This SF.NET email is 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