[MLton-devel] yeah, that did the trick

Henry Cejtin henry@sourcelight.com
Tue, 17 Sep 2002 16:19:59 -0500

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
MLton-devel mailing list