contification paper: benchmarks

Stephen Weeks MLton@sourcelight.com
Mon, 12 Mar 2001 09:23:10 -0800 (PST)


> I'll leave the mlton
> compilations running overnight, and send the results in the morning.

The mlton compilations finished without event.  The log follows.  The
executables are at http://www.star-lab.com/sweeks/mlton.tgz

--------------------------------------------------------------------------------

testing mlton
mlton -contify none
	    contify finished in 2.31 + 4.23 (65% GC)
	    contify finished in 1.74 + 1.50 (46% GC)
	    contify finished in 1.88 + 3.06 (62% GC)
	 closure convert simplify finished in 39.15 + 61.52 (61% GC)
   Compile SML finished in 423.96 + 203.91 (32% GC)
MLton finished in 444.18 + 203.93 (31% GC)
functions: 9921
  call_cont_dom: 3321  call_cont: 0
  call_dom: 886  cont_dom: 335
  call: 0  cont: 0  dom: 207
  rem_call_cont_dom: 1005  rem_call_cont: 0
  rem_call_dom: 0  rem_cont_dom: 0
  rem_call: 0  rem_cont: 0  rem_dom: 0
nested: 0  rejected: 0
functions: 8435
  call_cont_dom: 3374  call_cont: 0
  call_dom: 793  cont_dom: 321
  call: 0  cont: 0  dom: 220
  rem_call_cont_dom: 1  rem_call_cont: 0
  rem_call_dom: 0  rem_cont_dom: 0
  rem_call: 0  rem_cont: 0  rem_dom: 0
nested: 0  rejected: 0
functions: 2389
  call_cont_dom: 630  call_cont: 0
  call_dom: 89  cont_dom: 60
  call: 0  cont: 0  dom: 57
  rem_call_cont_dom: 0  rem_call_cont: 0
  rem_call_dom: 0  rem_cont_dom: 0
  rem_call: 0  rem_cont: 0  rem_dom: 0
nested: 0  rejected: 0
max semispace size(bytes): 224,886,784
max stack size(bytes): 4,296,704
GC time(ms): 199,540 (36.3%)
maxPause(ms): 6,980
number of GCs: 286
bytes allocated: 32,199,761,392
bytes copied: 6,180,776,308
max bytes live: 154,632,604
max semispace size(bytes): 224,886,784
max stack size(bytes): 4,296,704
GC time(ms): 193,740 (36.0%)
maxPause(ms): 5,030
number of GCs: 283
bytes allocated: 32,198,729,380
bytes copied: 6,179,776,268
max bytes live: 154,632,696
	9:22.37 real,	550.77 user,	7.76 sys
   text	   data	    bss	    dec	    hex	filename
4568503	 644352	  29260	5242115	 4ffd03	mlton.none
mlton -contify call
	    contify finished in 2.32 + 4.34 (65% GC)
	    contify finished in 1.54 + 1.34 (47% GC)
	    contify finished in 1.95 + 1.54 (44% GC)
	 closure convert simplify finished in 38.36 + 54.98 (59% GC)
   Compile SML finished in 386.00 + 190.09 (33% GC)
MLton finished in 404.75 + 190.10 (32% GC)
functions: 9921
  call_cont_dom: 3321  call_cont: 0
  call_dom: 886  cont_dom: 335
  call: 0  cont: 0  dom: 207
  rem_call_cont_dom: 1005  rem_call_cont: 0
  rem_call_dom: 0  rem_cont_dom: 0
  rem_call: 0  rem_cont: 0  rem_dom: 0
nested: 0  rejected: 0
functions: 4695
  call_cont_dom: 429  call_cont: 0
  call_dom: 10  cont_dom: 320
  call: 0  cont: 0  dom: 215
  rem_call_cont_dom: 0  rem_call_cont: 0
  rem_call_dom: 0  rem_cont_dom: 0
  rem_call: 0  rem_cont: 0  rem_dom: 0
nested: 0  rejected: 0
functions: 1153
  call_cont_dom: 2  call_cont: 0
  call_dom: 0  cont_dom: 54
  call: 0  cont: 0  dom: 39
  rem_call_cont_dom: 0  rem_call_cont: 0
  rem_call_dom: 0  rem_cont_dom: 0
  rem_call: 0  rem_cont: 0  rem_dom: 0
nested: 0  rejected: 0
max semispace size(bytes): 224,886,784
max stack size(bytes): 4,296,704
GC time(ms): 175,100 (35.6%)
maxPause(ms): 5,030
number of GCs: 277
bytes allocated: 30,253,572,380
bytes copied: 5,622,773,084
max bytes live: 154,632,604
max semispace size(bytes): 224,886,784
max stack size(bytes): 4,296,704
GC time(ms): 177,760 (36.2%)
maxPause(ms): 5,030
number of GCs: 277
bytes allocated: 30,252,684,804
bytes copied: 5,623,803,200
max bytes live: 154,632,696
	8:33.93 real,	503.38 user,	7.37 sys
   text	   data	    bss	    dec	    hex	filename
4216007	 668528	  29172	4913707	 4afa2b	mlton.call
mlton -contify cont
	    contify finished in 2.32 + 4.32 (65% GC)
	    contify finished in 1.56 + 1.30 (45% GC)
	    contify finished in 1.80 + 3.13 (63% GC)
	 closure convert simplify finished in 37.26 + 53.81 (59% GC)
   Compile SML finished in 382.34 + 186.67 (33% GC)
MLton finished in 400.37 + 186.68 (32% GC)
functions: 9921
  call_cont_dom: 3321  call_cont: 0
  call_dom: 886  cont_dom: 335
  call: 0  cont: 0  dom: 207
  rem_call_cont_dom: 1005  rem_call_cont: 0
  rem_call_dom: 0  rem_cont_dom: 0
  rem_call: 0  rem_cont: 0  rem_dom: 0
nested: 14  rejected: 0
functions: 5247
  call_cont_dom: 533  call_cont: 0
  call_dom: 781  cont_dom: 11
  call: 0  cont: 0  dom: 204
  rem_call_cont_dom: 0  rem_call_cont: 0
  rem_call_dom: 0  rem_cont_dom: 0
  rem_call: 0  rem_cont: 0  rem_dom: 0
nested: 0  rejected: 0
functions: 1456
  call_cont_dom: 0  call_cont: 0
  call_dom: 91  cont_dom: 0
  call: 0  cont: 0  dom: 53
  rem_call_cont_dom: 0  rem_call_cont: 0
  rem_call_dom: 0  rem_cont_dom: 0
  rem_call: 0  rem_cont: 0  rem_dom: 0
nested: 0  rejected: 0
max semispace size(bytes): 224,886,784
max stack size(bytes): 4,296,704
GC time(ms): 172,510 (35.6%)
maxPause(ms): 5,010
number of GCs: 278
bytes allocated: 29,942,967,908
bytes copied: 5,482,230,916
max bytes live: 154,632,604
max semispace size(bytes): 224,886,784
max stack size(bytes): 4,296,704
GC time(ms): 170,990 (35.2%)
maxPause(ms): 5,030
number of GCs: 278
bytes allocated: 29,942,032,440
bytes copied: 5,483,169,160
max bytes live: 154,632,696
	8:26.96 real,	497.02 user,	7.27 sys
   text	   data	    bss	    dec	    hex	filename
4098695	 667584	  29004	4795283	 492b93	mlton.cont
mlton -contify cc
	    contify finished in 2.34 + 4.34 (65% GC)
	    contify finished in 1.52 + 0.0 (0.0% GC)
	    contify finished in 1.90 + 3.01 (61% GC)
	 closure convert simplify finished in 38.00 + 54.99 (59% GC)
   Compile SML finished in 378.23 + 184.31 (33% GC)
MLton finished in 397.20 + 184.33 (32% GC)
functions: 9921
  call_cont_dom: 3321  call_cont: 0
  call_dom: 886  cont_dom: 335
  call: 0  cont: 0  dom: 207
  rem_call_cont_dom: 1005  rem_call_cont: 0
  rem_call_dom: 0  rem_cont_dom: 0
  rem_call: 0  rem_cont: 0  rem_dom: 0
nested: 10  rejected: 0
functions: 4361
  call_cont_dom: 423  call_cont: 0
  call_dom: 10  cont_dom: 11
  call: 0  cont: 0  dom: 199
  rem_call_cont_dom: 0  rem_call_cont: 0
  rem_call_dom: 0  rem_cont_dom: 0
  rem_call: 0  rem_cont: 0  rem_dom: 0
nested: 0  rejected: 0
functions: 1093
  call_cont_dom: 0  call_cont: 0
  call_dom: 0  cont_dom: 0
  call: 0  cont: 0  dom: 35
  rem_call_cont_dom: 0  rem_call_cont: 0
  rem_call_dom: 0  rem_cont_dom: 0
  rem_call: 0  rem_cont: 0  rem_dom: 0
nested: 0  rejected: 0
max semispace size(bytes): 224,886,784
max stack size(bytes): 4,296,704
GC time(ms): 172,700 (36.0%)
maxPause(ms): 5,040
number of GCs: 275
bytes allocated: 29,630,920,720
bytes copied: 5,463,468,968
max bytes live: 154,632,604
max semispace size(bytes): 224,886,784
max stack size(bytes): 4,296,704
GC time(ms): 172,210 (35.8%)
maxPause(ms): 5,030
number of GCs: 275
bytes allocated: 29,630,088,800
bytes copied: 5,464,467,368
max bytes live: 154,632,692
	8:22.23 real,	492.19 user,	6.78 sys
   text	   data	    bss	    dec	    hex	filename
4085399	 678472	  29180	4793051	 4922db	mlton.cc
mlton -contify dom
	    contify finished in 2.35 + 4.34 (65% GC)
	    contify finished in 1.51 + 0.0 (0.0% GC)
	    contify finished in 1.86 + 3.20 (63% GC)
	 closure convert simplify finished in 37.70 + 53.57 (59% GC)
   Compile SML finished in 370.81 + 183.36 (33% GC)
MLton finished in 389.18 + 183.37 (32% GC)
functions: 9921
  call_cont_dom: 3321  call_cont: 0
  call_dom: 886  cont_dom: 335
  call: 0  cont: 0  dom: 207
  rem_call_cont_dom: 1005  rem_call_cont: 0
  rem_call_dom: 0  rem_cont_dom: 0
  rem_call: 0  rem_cont: 0  rem_dom: 0
nested: 19  rejected: 0
functions: 4156
  call_cont_dom: 423  call_cont: 0
  call_dom: 4  cont_dom: 8
  call: 0  cont: 0  dom: 3
  rem_call_cont_dom: 0  rem_call_cont: 0
  rem_call_dom: 0  rem_cont_dom: 0
  rem_call: 0  rem_cont: 0  rem_dom: 0
nested: 0  rejected: 0
functions: 1049
  call_cont_dom: 0  call_cont: 0
  call_dom: 0  cont_dom: 0
  call: 0  cont: 0  dom: 0
  rem_call_cont_dom: 0  rem_call_cont: 0
  rem_call_dom: 0  rem_cont_dom: 0
  rem_call: 0  rem_cont: 0  rem_dom: 0
nested: 0  rejected: 0
max semispace size(bytes): 224,886,784
max stack size(bytes): 4,296,704
GC time(ms): 167,670 (35.5%)
maxPause(ms): 5,040
number of GCs: 274
bytes allocated: 29,335,341,932
bytes copied: 5,361,683,452
max bytes live: 154,632,604
max semispace size(bytes): 224,886,784
max stack size(bytes): 4,296,704
GC time(ms): 170,320 (36.0%)
maxPause(ms): 5,030
number of GCs: 274
bytes allocated: 29,334,490,432
bytes copied: 5,362,527,980
max bytes live: 154,632,696
	8:14.69 real,	484.72 user,	7.42 sys
   text	   data	    bss	    dec	    hex	filename
4013959	 675384	  29180	4718523	 47ffbb	mlton.dom