contification paper: benchmarks

Stephen Weeks MLton@sourcelight.com
Sun, 11 Mar 2001 18:57:39 -0800 (PST)


The compilations of the kit have finished.  The log follows.  I've put the
executables at http://www.star-lab.com/sweeks/kit.tgz.  They should be run with
the in a directory with DATA/basislib/ available.  I'll leave the mlton
compilations running overnight, and send the results in the morning.

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

testing kit
mlton -contify none
	    contify finished in 2.13 + 3.41 (62% GC)
	    contify finished in 1.80 + 1.52 (46% GC)
	    contify finished in 2.16 + 3.44 (61% GC)
	 closure convert simplify finished in 41.55 + 71.22 (63% GC)
   Compile SML finished in 490.72 + 224.30 (31% GC)
MLton finished in 512.52 + 224.31 (30% GC)
functions: 7381
  call_cont_dom: 2216  call_cont: 0
  call_dom: 560  cont_dom: 354
  call: 0  cont: 0  dom: 272
  rem_call_cont_dom: 3  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: 7192
  call_cont_dom: 2155  call_cont: 0
  call_dom: 567  cont_dom: 346
  call: 0  cont: 0  dom: 263
  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: 3083
  call_cont_dom: 787  call_cont: 0
  call_dom: 58  cont_dom: 51
  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): 2,148,352
GC time(ms): 222,700 (35.1%)
maxPause(ms): 3,780
number of GCs: 296
bytes allocated: 36,130,773,488
bytes copied: 7,343,542,868
max bytes live: 114,120,984
max semispace size(bytes): 224,886,784
max stack size(bytes): 2,148,352
GC time(ms): 222,670 (35.1%)
maxPause(ms): 3,770
number of GCs: 296
bytes allocated: 36,129,780,216
bytes copied: 7,344,515,824
max bytes live: 114,120,948
	11:01.28 real,	650.28 user,	7.52 sys
   text	   data	    bss	    dec	    hex	filename
4992187	 710128	  26720	5729035	 576b0b	kit.none
mlton -contify call
	    contify finished in 2.21 + 3.45 (61% GC)
	    contify finished in 1.63 + 1.39 (46% GC)
	    contify finished in 2.20 + 3.12 (59% GC)
	 closure convert simplify finished in 40.89 + 62.50 (60% GC)
   Compile SML finished in 480.10 + 211.76 (31% GC)
MLton finished in 502.77 + 211.77 (30% GC)
functions: 7381
  call_cont_dom: 2216  call_cont: 0
  call_dom: 560  cont_dom: 354
  call: 0  cont: 0  dom: 272
  rem_call_cont_dom: 3  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: 4527
  call_cont_dom: 53  call_cont: 0
  call_dom: 16  cont_dom: 337
  call: 0  cont: 0  dom: 260
  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: 1691
  call_cont_dom: 2  call_cont: 0
  call_dom: 0  cont_dom: 45
  call: 0  cont: 0  dom: 45
  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): 2,148,352
GC time(ms): 217,520 (35.0%)
maxPause(ms): 3,770
number of GCs: 295
bytes allocated: 35,311,159,824
bytes copied: 7,068,944,600
max bytes live: 114,120,984
max semispace size(bytes): 224,886,784
max stack size(bytes): 2,148,352
GC time(ms): 216,700 (34.9%)
maxPause(ms): 3,770
number of GCs: 295
bytes allocated: 35,310,393,824
bytes copied: 7,069,663,580
max bytes live: 114,120,948
	10:48.00 real,	636.61 user,	7.74 sys
   text	   data	    bss	    dec	    hex	filename
4893387	 903696	  26952	5824035	 58de23	kit.call
mlton -contify cont
	    contify finished in 2.21 + 3.45 (61% GC)
	    contify finished in 1.67 + 1.41 (46% GC)
	    contify finished in 2.06 + 3.42 (62% GC)
	 closure convert simplify finished in 40.06 + 64.11 (62% GC)
   Compile SML finished in 470.33 + 212.43 (31% GC)
MLton finished in 492.81 + 212.43 (30% GC)
functions: 7381
  call_cont_dom: 2216  call_cont: 0
  call_dom: 560  cont_dom: 354
  call: 0  cont: 0  dom: 272
  rem_call_cont_dom: 3  rem_call_cont: 0
  rem_call_dom: 0  rem_cont_dom: 0
  rem_call: 0  rem_cont: 0  rem_dom: 0
nested: 17  rejected: 3
functions: 4736
  call_cont_dom: 47  call_cont: 0
  call_dom: 563  cont_dom: 7
  call: 0  cont: 0  dom: 258
  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: 3
functions: 1900
  call_cont_dom: 0  call_cont: 0
  call_dom: 58  cont_dom: 3
  call: 0  cont: 0  dom: 52
  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: 3
max semispace size(bytes): 224,886,784
max stack size(bytes): 2,148,352
GC time(ms): 210,440 (34.7%)
maxPause(ms): 3,780
number of GCs: 289
bytes allocated: 34,527,332,832
bytes copied: 6,890,021,908
max bytes live: 114,120,984
max semispace size(bytes): 224,886,784
max stack size(bytes): 2,148,352
GC time(ms): 211,510 (34.8%)
maxPause(ms): 3,770
number of GCs: 289
bytes allocated: 34,526,577,260
bytes copied: 6,890,979,128
max bytes live: 114,120,948
	10:34.78 real,	624.31 user,	8.06 sys
   text	   data	    bss	    dec	    hex	filename
4725979	 904760	  26968	5657707	 56546b	kit.cont
mlton -contify cc
	    contify finished in 2.21 + 3.45 (61% GC)
	    contify finished in 1.61 + 1.28 (44% GC)
	    contify finished in 2.16 + 1.46 (40% GC)
	 closure convert simplify finished in 40.36 + 60.01 (60% GC)
   Compile SML finished in 468.62 + 206.12 (31% GC)
MLton finished in 491.83 + 206.12 (30% GC)
functions: 7381
  call_cont_dom: 2216  call_cont: 0
  call_dom: 560  cont_dom: 354
  call: 0  cont: 0  dom: 272
  rem_call_cont_dom: 3  rem_call_cont: 0
  rem_call_dom: 0  rem_cont_dom: 0
  rem_call: 0  rem_cont: 0  rem_dom: 0
nested: 7  rejected: 3
functions: 4179
  call_cont_dom: 40  call_cont: 0
  call_dom: 16  cont_dom: 7
  call: 0  cont: 0  dom: 255
  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: 3
functions: 1637
  call_cont_dom: 0  call_cont: 0
  call_dom: 0  cont_dom: 3
  call: 0  cont: 0  dom: 38
  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: 3
max semispace size(bytes): 224,886,784
max stack size(bytes): 2,148,352
GC time(ms): 210,800 (34.9%)
maxPause(ms): 3,770
number of GCs: 287
bytes allocated: 34,641,001,188
bytes copied: 6,811,997,088
max bytes live: 114,120,984
max semispace size(bytes): 224,886,784
max stack size(bytes): 2,148,352
GC time(ms): 207,310 (34.4%)
maxPause(ms): 3,770
number of GCs: 288
bytes allocated: 34,640,224,164
bytes copied: 6,812,631,236
max bytes live: 114,120,948
	10:28.79 real,	617.28 user,	8.31 sys
   text	   data	    bss	    dec	    hex	filename
4745835	 909888	  26984	5682707	 56b613	kit.cc
mlton -contify dom
	    contify finished in 2.21 + 3.45 (61% GC)
	    contify finished in 1.59 + 2.27 (59% GC)
	    contify finished in 2.13 + 1.59 (43% GC)
	 closure convert simplify finished in 40.11 + 58.38 (59% GC)
   Compile SML finished in 459.09 + 200.77 (30% GC)
MLton finished in 481.40 + 200.78 (29% GC)
functions: 7381
  call_cont_dom: 2216  call_cont: 0
  call_dom: 560  cont_dom: 354
  call: 0  cont: 0  dom: 272
  rem_call_cont_dom: 3  rem_call_cont: 0
  rem_call_dom: 0  rem_cont_dom: 0
  rem_call: 0  rem_cont: 0  rem_dom: 0
nested: 21  rejected: 3
functions: 3911
  call_cont_dom: 40  call_cont: 0
  call_dom: 5  cont_dom: 4
  call: 0  cont: 0  dom: 1
  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: 3
functions: 1585
  call_cont_dom: 0  call_cont: 0
  call_dom: 0  cont_dom: 3
  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: 3
max semispace size(bytes): 224,886,784
max stack size(bytes): 2,148,352
GC time(ms): 205,140 (34.7%)
maxPause(ms): 3,780
number of GCs: 292
bytes allocated: 34,231,369,468
bytes copied: 6,691,919,472
max bytes live: 114,120,984
max semispace size(bytes): 224,886,784
max stack size(bytes): 2,148,352
GC time(ms): 204,490 (34.5%)
maxPause(ms): 3,770
number of GCs: 289
bytes allocated: 34,230,610,384
bytes copied: 6,669,375,432
max bytes live: 114,120,948
	10:18.21 real,	607.32 user,	8.10 sys
   text	   data	    bss	    dec	    hex	filename
4650011	 907152	  26984	5584147	 553513	kit.dom
------------------------------------------------