Skip to content

Instantly share code, notes, and snippets.

View pscollins's full-sized avatar

Patrick Collins pscollins

View GitHub Profile
Here is the ratio for each valid row calculated as **MLton1 / MLton0** (which measures the relative change from MLton0 to MLton1), followed by the overall geometric mean. Non-numeric rows (e.g., `* *`) have been excluded from the calculation.
### Individual Ratios
| MLton0 | MLton1 | Ratio (MLton1 / MLton0) |
| --- | --- | --- |
| 31.07 | 31.01 | 0.9981 |
| 25.11 | 25.16 | 1.0020 |
| 32.54 | 32.61 | 1.0022 |
| 21.22 | 20.11 | 0.9477 |
MLton0 -- ../../build/bin/mlton
MLton1 -- ../../build/bin/mlton -pre-flatten-max-iters 1 -pre-flatten-consumer-policy always -pre-flatten-resolve-policy local -pre-flatten-types-policy tuple -pre-flatten-recursive-steps 10 -pre-flatten-phase late -pre-flatten-transfer-policy tail_only
run time ratio
benchmark MLton0 MLton1
barnes-hut 1.00 1.00
Lton0 -- ../../build/bin/mlton
MLton1 -- ../../build/bin/mlton -pre-flatten-max-iters 1 -pre-flatten-consumer-policy always -pre-flatten-resolve-policy local -pre-flatten-types-policy tuple -pre-flatten-recursive-steps 10
run time ratio
benchmark MLton0 MLton1
barnes-hut 1.00 1.00
boyer 1.00 0.93
MLton0 -- ../../build/bin/mlton
MLton1 -- ../../build/bin/mlton -pre-flatten-max-iters 1 -pre-flatten-consumer-policy all_unpack -pre-flatten-resolve-policy local -pre-flatten-types-policy tuple -pre-flatten-recursive-steps 10
run time ratio
benchmark MLton0 MLton1
barnes-hut 1.00 1.00
boyer 1.00 1.00
checksum 1.00 1.00
count-graphs 1.00 0.94
DLXSimulator 1.00 1.00
even-odd 1.00 0.99
MLton0 -- ../../build/bin/mlton
MLton1 -- ../../build/bin/mlton -pre-flatten-max-iters 1 -pre-flatten-consumer-policy all_unpack -pre-flatten-resolve-policy global -pre-flatten-types-policy tuple -pre-flatten-recursive-steps 10
run time ratio
benchmark MLton0 MLton1
barnes-hut 1.00 0.97
boyer 1.00 1.01
checksum 1.00 0.99
count-graphs 1.00 0.93
DLXSimulator 1.00 1.00
even-odd 1.00 1.00
Lton0 -- ../../build/bin/mlton
MLton1 -- ../../build/bin/mlton -pre-flatten-max-iters 1 -pre-flatten-consumer-policy all_unpack -pre-flatten-resolve-policy global -pre-flatten-types-policy con -pre-flatten-recursive-steps 10 -shallow-flatten-max-iters 1
run time ratio
benchmark MLton0 MLton1
barnes-hut 1.00 0.99
boyer 1.00 1.07
checksum 1.00 1.01
count-graphs 1.00 0.93
DLXSimulator 1.00 1.01
even-odd 1.00 1.00
MLton0 -- ../../build/bin/mlton
MLton1 -- ../../build/bin/mlton -pre-flatten-max-iters 1 -pre-flatten-consumer-policy all_unpack -pre-flatten-resolve-policy global -pre-flatten-types-policy con -pre-flatten-post-steps shrink,flatten,shrink -pre-flatten-recursive-steps 10 -shallow-flatten-max-iters 1
run time ratio
benchmark MLton0 MLton1
barnes-hut 1.00 0.98
boyer 1.00 0.99
checksum 1.00 1.00
count-graphs 1.00 0.91
DLXSimulator 1.00 1.07
even-odd 1.00 0.99
MLton0 -- ../../build/bin/mlton
MLton1 -- ../../build/bin/mlton -pre-flatten-max-iters 1 -pre-flatten-consumer-policy all_unpack -pre-flatten-resolve-policy global -pre-flatten-types-policy con -pre-flatten-post-steps shrink,flatten,shrink -pre-flatten-recursive-steps 10
run time ratio
benchmark MLton0 MLton1
barnes-hut 1.00 0.98
boyer 1.00 1.06
checksum 1.00 0.99
count-graphs 1.00 0.92
DLXSimulator 1.00 1.04
even-odd 1.00 1.00
MLton0 -- ../../build/bin/mlton
MLton1 -- ../../build/bin/mlton -shallow-flatten-max-iters 1
run time ratio
benchmark MLton0 MLton1
barnes-hut 1.00 1.01
boyer 1.00 1.01
checksum 1.00 1.00
count-graphs 1.00 1.00
DLXSimulator 1.00 1.00
even-odd 1.00 1.00
(* MLton [mpl] 20260406.124910-g78555d580-dirty *)
(* control flags: *)
(* align: 8 *)
(* atMLtons: (@MLton, --) *)
(* bounceRssaLimit: Some 8 *)
(* bounceRssaLiveCutoff: Some 12 *)
(* bounceRssaLoopCutoff: Some 40 *)
(* bounceRssaUsageCutoff: Some 15 *)
(* chunkBatch: 32768 *)
(* chunkify: coalesce4096 *)