new snapshot
Stephen Weeks
sweeks@intertrust.com
Sun, 25 Jun 2000 20:27:15 -0700 (PDT)
--S9vEM6auh0
Content-Type: text/plain; charset=us-ascii
Content-Description: message body text
Content-Transfer-Encoding: 7bit
I put the latest snapshot at
http://www.star-lab.com/sweeks/mlton-2000-06-25.tgz
It passes all the regressions, does a self-compile, and has no known
bugs. I fixed the compile-time performance problems (mostly due to
tracing, but a bit due to hashing). The compile times are now as good
or better than previous versions of MLton. The self compile is back
down to about 300 seconds (to generate C). For your amusement, I
append the latest run of the benchmarks to this message.
Matt, I still have a few more things to do (including a bit more to
backend.fun), but I am making this available so you have something
stable to work with.
Henry, this is not quite the version I want you to grab for the RPM.
I hope to make the release version later this week.
--S9vEM6auh0
Content-Type: text/html
Content-Description: benchmarks
Content-Disposition: inline;
filename="2000-06-24-08:49:33.html"
Content-Transfer-Encoding: 7bit
<!DOCTYPE HTML PUBLIC "-//IETF//DTD HTML//EN">
<html>
<head>
<title>Benchmark Summary</title>
</head>
<body>
<p><table border=2 cellpadding=5 cellspacing=2>
<tr>
<th rowspan=3>Benchmark</th>
<th colspan=3>Compile time(s)</th>
<th colspan=2>% time in GC</th>
<th colspan=2>max Mb mapped</th>
<th colspan=2>Mb allocated</th>
<th colspan=2>Mb surviving nursery</th>
<tr>
<th rowspan=2>NJ</th>
<th colspan=2>MLton</th>
<th rowspan=2>NJ</th>
<th rowspan=2>MLton</th>
<th rowspan=2>NJ</th>
<th rowspan=2>MLton</th>
<th rowspan=2>NJ</th>
<th rowspan=2>MLton</th>
<th rowspan=2>NJ</th>
<th rowspan=2>MLton</th>
<tr>
<th>to C</th><th><tt>gcc</tt></th>
<tr><td align=left> <a href="http://www.neci.nj.nec.com/homepages/sweeks/mlton/examples/barnes-hut.sml">barnes-hut</a>
<td align=right> 2.9
<td align=right> 5.3
<td align=right> 6.5
<td>
<td>
<td>
<tr><td align=left> <a href="http://www.neci.nj.nec.com/homepages/sweeks/mlton/examples/checksum.sml">checksum</a>
<td align=right> 1.1
<td align=right> 1.1
<td align=right> 1.0
<td>
<td>
<td>
<tr><td align=left> <a href="http://www.neci.nj.nec.com/homepages/sweeks/mlton/examples/count-graphs.sml">count-graphs</a>
<td align=right> 1.3
<td align=right> 3.1
<td align=right> 5.3
<td>
<td>
<td>
<tr><td align=left> <a href="http://www.neci.nj.nec.com/homepages/sweeks/mlton/examples/fft.sml">fft</a>
<td align=right> 1.0
<td align=right> 2.5
<td align=right> 3.5
<td>
<td>
<td>
<tr><td align=left> <a href="http://www.neci.nj.nec.com/homepages/sweeks/mlton/examples/fib.sml">fib</a>
<td align=right> 0.2
<td align=right> 0.8
<td align=right> 0.9
<td>
<td>
<td>
<tr><td align=left> <a href="http://www.neci.nj.nec.com/homepages/sweeks/mlton/examples/knuth-bendix.sml">knuth-bendix</a>
<td align=right> 2.8
<td align=right> 3.9
<td align=right> 10.8
<td>
<td>
<td>
<tr><td align=left> <a href="http://www.neci.nj.nec.com/homepages/sweeks/mlton/examples/lexgen.sml">lexgen</a>
<td align=right> 5.1
<td align=right> 10.6
<td align=right> 27.2
<td>
<td>
<td>
<tr><td align=left> <a href="http://www.neci.nj.nec.com/homepages/sweeks/mlton/examples/life.sml">life</a>
<td align=right> 1.1
<td align=right> 2.1
<td align=right> 3.8
<td>
<td>
<td>
<tr><td align=left> <a href="http://www.neci.nj.nec.com/homepages/sweeks/mlton/examples/logic.sml">logic</a>
<td align=right> 2.4
<td align=right> 6.5
<td align=right> 43.2
<td>
<td>
<td>
<tr><td align=left> <a href="http://www.neci.nj.nec.com/homepages/sweeks/mlton/examples/mandelbrot.sml">mandelbrot</a>
<td align=right> 0.3
<td align=right> 1.1
<td align=right> 1.0
<td>
<td>
<td>
<tr><td align=left> <a href="http://www.neci.nj.nec.com/homepages/sweeks/mlton/examples/matrix-multiply.sml">matrix-multiply</a>
<td align=right> 0.4
<td align=right> 1.1
<td align=right> 1.1
<td>
<td>
<td>
<tr><td align=left> <a href="http://www.neci.nj.nec.com/homepages/sweeks/mlton/examples/mlyacc.sml">mlyacc</a>
<td align=right> 34.9
<td align=right> 138.9
<td align=right> 149.0
<td>
<td>
<td>
<tr><td align=left> <a href="http://www.neci.nj.nec.com/homepages/sweeks/mlton/examples/mpuz.sml">mpuz</a>
<td align=right> 0.3
<td align=right> 1.3
<td align=right> 1.8
<td>
<td>
<td>
<tr><td align=left> <a href="http://www.neci.nj.nec.com/homepages/sweeks/mlton/examples/nucleic.sml">nucleic</a>
<td align=right> 8.2
<td align=right> 8.0
<td align=right> 5.4
<td>
<td>
<td>
<tr><td align=left> <a href="http://www.neci.nj.nec.com/homepages/sweeks/mlton/examples/ratio-regions.sml">ratio-regions</a>
<td align=right> 2.4
<td align=right> 4.7
<td align=right> 11.1
<td>
<td>
<td>
<tr><td align=left> <a href="http://www.neci.nj.nec.com/homepages/sweeks/mlton/examples/simple.sml">simple</a>
<td align=right> 4.9
<td align=right> 19.2
<td align=right> 48.5
<td>
<td>
<td>
<tr><td align=left> <a href="http://www.neci.nj.nec.com/homepages/sweeks/mlton/examples/tak.sml">tak</a>
<td align=right> 0.2
<td align=right> 0.9
<td align=right> 1.0
<td>
<td>
<td>
<tr><td align=left> <a href="http://www.neci.nj.nec.com/homepages/sweeks/mlton/examples/tsp.sml">tsp</a>
<td align=right> 1.0
<td align=right> 3.0
<td align=right> 5.3
<td>
<td>
<td>
<tr><td align=left> <a href="http://www.neci.nj.nec.com/homepages/sweeks/mlton/examples/vliw.sml">vliw</a>
<td align=right> 19.1
<td align=right> 30.6
<td align=right> 151.4
<td>
<td>
<td>
<tr><td align=left> <a href="http://www.neci.nj.nec.com/homepages/sweeks/mlton/examples/zern.sml">zern</a>
<td align=right> 1.0
<td align=right> 2.5
<td align=right> 1.8
<td>
<td>
<td>
</table>
<p><table border=2 cellpadding=5 cellspacing=2>
<tr>
<th rowspan=2>Benchmark</th>
<th colspan=2>Run time(s)</th>
<th colspan=5>MLton GC</th>
<th colspan=3>NJ GC</th>
<tr>
<th>NJ</th>
<th>MLton</th>
<th>GC time</th>
<th>bytes allocated</th>
<th>bytes copied</th>
<th>max live (bytes)</th>
<th>max semispace (bytes)</th>
<th>max stack (bytes)</th>
<th>max Mb mapped</th>
<th>Mb allocated</th>
<th>Mb surviving nursery</th>
<tr><td align=left> <a href="http://www.neci.nj.nec.com/homepages/sweeks/mlton/examples/barnes-hut.sml">barnes-hut</a>
<td align=right> 33.2
<td align=right> 11.1
<td align=right> 0 (0.0%)
<td align=right> 418,377,744
<td align=right> 597,532
<td align=right> 51,136
<td align=right> 33,558,528
<td>
<td>
<td>
<tr><td align=left> <a href="http://www.neci.nj.nec.com/homepages/sweeks/mlton/examples/checksum.sml">checksum</a>
<td align=right> 65.0
<td align=right> 6.6
<td align=right> 0 (0.0%)
<td align=right> 10,000,164
<td align=right> 0
<td align=right> 0
<td align=right> 33,558,528
<td>
<td>
<td>
<tr><td align=left> <a href="http://www.neci.nj.nec.com/homepages/sweeks/mlton/examples/count-graphs.sml">count-graphs</a>
<td align=right> 29.9
<td align=right> 12.2
<td align=right> 10 (0.1%)
<td align=right> 431,410,412
<td align=right> 166,280
<td align=right> 14,072
<td align=right> 33,558,528
<td>
<td>
<td>
<tr><td align=left> <a href="http://www.neci.nj.nec.com/homepages/sweeks/mlton/examples/fft.sml">fft</a>
<td align=right> 52.9
<td align=right> 25.4
<td align=right> 110 (0.4%)
<td align=right> 241,397,176
<td align=right> 15,215,140
<td align=right> 4,195,876
<td align=right> 33,558,528
<td>
<td>
<td>
<tr><td align=left> <a href="http://www.neci.nj.nec.com/homepages/sweeks/mlton/examples/fib.sml">fib</a>
<td align=right> 11.7
<td align=right> 9.1
<td align=right> 0 (0.0%)
<td align=right> 852
<td align=right> 0
<td align=right> 0
<td align=right> 33,558,528
<td>
<td>
<td>
<tr><td align=left> <a href="http://www.neci.nj.nec.com/homepages/sweeks/mlton/examples/knuth-bendix.sml">knuth-bendix</a>
<td align=right> 52.4
<td align=right> 16.0
<td align=right> 150 (0.9%)
<td align=right> 224,774,272
<td align=right> 3,645,008
<td align=right> 1,056,956
<td align=right> 33,558,528
<td>
<td>
<td>
<tr><td align=left> <a href="http://www.neci.nj.nec.com/homepages/sweeks/mlton/examples/lexgen.sml">lexgen</a>
<td align=right> 59.7
<td align=right> 37.1
<td align=right> 310 (0.8%)
<td align=right> 637,954,992
<td align=right> 8,331,724
<td align=right> 631,220
<td align=right> 33,558,528
<td>
<td>
<td>
<tr><td align=left> <a href="http://www.neci.nj.nec.com/homepages/sweeks/mlton/examples/life.sml">life</a>
<td align=right> 58.9
<td align=right> 55.2
<td align=right> 40 (0.1%)
<td align=right> 3,169,830,872
<td align=right> 566,732
<td align=right> 14,284
<td align=right> 33,558,528
<td>
<td>
<td>
<tr><td align=left> <a href="http://www.neci.nj.nec.com/homepages/sweeks/mlton/examples/logic.sml">logic</a>
<td align=right> 49.0
<td align=right> 47.9
<td align=right> 510 (1.1%)
<td align=right> 2,838,122,704
<td align=right> 11,166,472
<td align=right> 241,512
<td align=right> 33,558,528
<td>
<td>
<td>
<tr><td align=left> <a href="http://www.neci.nj.nec.com/homepages/sweeks/mlton/examples/mandelbrot.sml">mandelbrot</a>
<td align=right> 56.0
<td align=right> 18.1
<td align=right> 0 (0.0%)
<td align=right> 204
<td align=right> 0
<td align=right> 0
<td align=right> 33,558,528
<td>
<td>
<td>
<tr><td align=left> <a href="http://www.neci.nj.nec.com/homepages/sweeks/mlton/examples/matrix-multiply.sml">matrix-multiply</a>
<td align=right> 59.8
<td align=right> 9.0
<td align=right> 0 (0.0%)
<td align=right> 6,400,316
<td align=right> 0
<td align=right> 0
<td align=right> 33,558,528
<td>
<td>
<td>
<tr><td align=left> <a href="http://www.neci.nj.nec.com/homepages/sweeks/mlton/examples/mlyacc.sml">mlyacc</a>
<td align=right> 47.5
<td align=right> 17.4
<td align=right> 260 (1.5%)
<td align=right> 1,074,689,964
<td align=right> 8,193,328
<td align=right> 377,076
<td align=right> 33,558,528
<td>
<td>
<td>
<tr><td align=left> <a href="http://www.neci.nj.nec.com/homepages/sweeks/mlton/examples/mpuz.sml">mpuz</a>
<td align=right> 130.0
<td align=right> 45.1
<td align=right> 0 (0.0%)
<td align=right> 15,468
<td align=right> 0
<td align=right> 0
<td align=right> 33,558,528
<td>
<td>
<td>
<tr><td align=left> <a href="http://www.neci.nj.nec.com/homepages/sweeks/mlton/examples/nucleic.sml">nucleic</a>
<td align=right> 69.8
<td align=right> 21.1
<td align=right> 40 (0.2%)
<td align=right> 1,349,565,836
<td align=right> 2,044,336
<td align=right> 74,416
<td align=right> 33,558,528
<td>
<td>
<td>
<tr><td align=left> <a href="http://www.neci.nj.nec.com/homepages/sweeks/mlton/examples/ratio-regions.sml">ratio-regions</a>
<td align=right> 131.1
<td align=right> 20.6
<td align=right> 200 (1.0%)
<td align=right> 193,122,680
<td align=right> 18,131,520
<td align=right> 3,213,312
<td align=right> 33,558,528
<td>
<td>
<td>
<tr><td align=left> <a href="http://www.neci.nj.nec.com/homepages/sweeks/mlton/examples/simple.sml">simple</a>
<td align=right> 29.6
<td align=right> 9.3
<td align=right> 100 (1.1%)
<td align=right> 484,600,036
<td align=right> 18,362,160
<td align=right> 1,570,172
<td align=right> 33,558,528
<td>
<td>
<td>
<tr><td align=left> <a href="http://www.neci.nj.nec.com/homepages/sweeks/mlton/examples/tak.sml">tak</a>
<td align=right> 34.8
<td align=right> 26.2
<td align=right> 0 (0.0%)
<td align=right> 1,760
<td align=right> 0
<td align=right> 0
<td align=right> 33,558,528
<td>
<td>
<td>
<tr><td align=left> <a href="http://www.neci.nj.nec.com/homepages/sweeks/mlton/examples/tsp.sml">tsp</a>
<td align=right> 228.3
<td align=right> 24.8
<td align=right> 20 (0.1%)
<td align=right> 55,057,448
<td align=right> 526,716
<td align=right> 526,716
<td align=right> 33,558,528
<td>
<td>
<td>
<tr><td align=left> <a href="http://www.neci.nj.nec.com/homepages/sweeks/mlton/examples/vliw.sml">vliw</a>
<td align=right> 33.3
<td align=right> 22.5
<td align=right> 130 (0.6%)
<td align=right> 665,340,496
<td align=right> 4,734,168
<td align=right> 311,412
<td align=right> 33,558,528
<td>
<td>
<td>
<tr><td align=left> <a href="http://www.neci.nj.nec.com/homepages/sweeks/mlton/examples/zern.sml">zern</a>
<td align=right> 115.6
<td align=right> 48.2
<td align=right> 220 (0.5%)
<td align=right> 2,359,861,724
<td align=right> 28,016,600
<td align=right> 394,600
<td align=right> 33,558,528
<td>
<td>
<td>
</table>
<p><table border=2 cellpadding=5 cellspacing=2>
<tr>
<th>Benchmark</th>
<th>NJ size</th>
<th>MLton size</th>
<tr><td align=left> <a href="http://www.neci.nj.nec.com/homepages/sweeks/mlton/examples/barnes-hut.sml">barnes-hut</a>
<td align=right> 425760
<td align=right> 72027
<tr><td align=left> <a href="http://www.neci.nj.nec.com/homepages/sweeks/mlton/examples/checksum.sml">checksum</a>
<td align=right> 10334984
<td align=right> 44691
<tr><td align=left> <a href="http://www.neci.nj.nec.com/homepages/sweeks/mlton/examples/count-graphs.sml">count-graphs</a>
<td align=right> 416584
<td align=right> 65715
<tr><td align=left> <a href="http://www.neci.nj.nec.com/homepages/sweeks/mlton/examples/fft.sml">fft</a>
<td align=right> 394032
<td align=right> 54331
<tr><td align=left> <a href="http://www.neci.nj.nec.com/homepages/sweeks/mlton/examples/fib.sml">fib</a>
<td align=right> 321272
<td align=right> 44715
<tr><td align=left> <a href="http://www.neci.nj.nec.com/homepages/sweeks/mlton/examples/knuth-bendix.sml">knuth-bendix</a>
<td align=right> 379928
<td align=right> 86675
<tr><td align=left> <a href="http://www.neci.nj.nec.com/homepages/sweeks/mlton/examples/lexgen.sml">lexgen</a>
<td align=right> 448584
<td align=right> 177827
<tr><td align=left> <a href="http://www.neci.nj.nec.com/homepages/sweeks/mlton/examples/life.sml">life</a>
<td align=right> 344824
<td align=right> 60595
<tr><td align=left> <a href="http://www.neci.nj.nec.com/homepages/sweeks/mlton/examples/logic.sml">logic</a>
<td align=right> 376568
<td align=right> 210907
<tr><td align=left> <a href="http://www.neci.nj.nec.com/homepages/sweeks/mlton/examples/mandelbrot.sml">mandelbrot</a>
<td align=right> 338680
<td align=right> 44843
<tr><td align=left> <a href="http://www.neci.nj.nec.com/homepages/sweeks/mlton/examples/matrix-multiply.sml">matrix-multiply</a>
<td align=right> 352008
<td align=right> 45347
<tr><td align=left> <a href="http://www.neci.nj.nec.com/homepages/sweeks/mlton/examples/mlyacc.sml">mlyacc</a>
<td align=right> 738408
<td align=right> 608371
<tr><td align=left> <a href="http://www.neci.nj.nec.com/homepages/sweeks/mlton/examples/mpuz.sml">mpuz</a>
<td align=right> 334584
<td align=right> 50739
<tr><td align=left> <a href="http://www.neci.nj.nec.com/homepages/sweeks/mlton/examples/nucleic.sml">nucleic</a>
<td align=right> 534576
<td align=right> 71603
<tr><td align=left> <a href="http://www.neci.nj.nec.com/homepages/sweeks/mlton/examples/ratio-regions.sml">ratio-regions</a>
<td align=right> 394280
<td align=right> 73723
<tr><td align=left> <a href="http://www.neci.nj.nec.com/homepages/sweeks/mlton/examples/simple.sml">simple</a>
<td align=right> 726120
<td align=right> 228995
<tr><td align=left> <a href="http://www.neci.nj.nec.com/homepages/sweeks/mlton/examples/tak.sml">tak</a>
<td align=right> 330488
<td align=right> 44963
<tr><td align=left> <a href="http://www.neci.nj.nec.com/homepages/sweeks/mlton/examples/tsp.sml">tsp</a>
<td align=right> 391952
<td align=right> 57779
<tr><td align=left> <a href="http://www.neci.nj.nec.com/homepages/sweeks/mlton/examples/vliw.sml">vliw</a>
<td align=right> 707744
<td align=right> 776099
<tr><td align=left> <a href="http://www.neci.nj.nec.com/homepages/sweeks/mlton/examples/zern.sml">zern</a>
<td align=right> 400176
<td align=right> 49483
</table>
<hr>
<address><a href="mailto:sweeks@research.nj.nec.com">Stephen Weeks</a></address>
Created on Sat Jun 24 09:34:46 2000.
</body>
</html>
--S9vEM6auh0--