[MLton-devel] benchmarks on RedHat and FreeBSD

Henry Cejtin henry@sourcelight.com
Thu, 19 Sep 2002 17:56:38 -0500

With regards to page zeroing costs, is the FreeBSD kernel optimized for your
Athlon CPU?  This is done by a Red Hat install and speeds things up a bit.
Also, you might want to measure CPU time by having an idle system and looking
at the output of procinfo before and after compilation.  This will show you
the total amount of non-idle CPU time used, and so will include any kernel
process doing page zeroing and not charging the process that ends up using
the page.

This sf.net email is sponsored by:ThinkGeek
Welcome to geek heaven.
MLton-devel mailing list