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