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--