Programming Language and compiler
Benchmarks

All OCaml benchmarks

Current benchmark data was generated on Wed Mar 22 2023, full log can be found HERE

CONTRIBUTIONS are WELCOME!

[x86_64][2 cores] Intel(R) Xeon(R) Platinum 8370C CPU @ 2.80GHz (Model 106)

* -m in a file name stands for multi-threading or multi-processing

* -i in a file name stands for direct intrinsics usage. (Usage of simd intrinsics via libraries is not counted)

* -ffi in a file name stands for non-stdlib FFI usage

* (You may find time < time(user) + time(sys) for some non-parallelized programs, the overhead is from GC or JIT compiler, which are allowed to take advantage of multi-cores as that's more close to real-world scenarios.)

binarytrees

Input: 18

code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
1.ml timeout 0.0ms 153.4MB 4917ms 60ms ocaml 5.0.0

Input: 15

code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
1.ml 353ms 0.5ms 22.9MB 327ms 10ms ocaml 5.0.0

fannkuch-redux

Input: 11

code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
2.ml 3974ms 7.6ms 2.9MB 3957ms 0ms ocaml 5.0.0

Input: 10

code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
2.ml 330ms 0.6ms 2.7MB 320ms 0ms ocaml 5.0.0

fasta

Input: 2500000

code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
6.ml 425ms 3.8ms 22.7MB 403ms 7ms ocaml 5.0.0

Input: 250000

code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
6.ml 48ms 1.6ms 4.9MB 40ms 0ms ocaml 5.0.0

helloworld

Input: QwQ

code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
1.ml 2.2ms 0.5ms 2.9MB 0ms 0ms ocaml 5.0.0

lru

Input: 1000 1000000

code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
1.ml 260ms 0.3ms 6.7MB 247ms 0ms ocaml 5.0.0

Input: 1000 3000000

code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
1.ml 775ms 2.6ms 6.7MB 763ms 0ms ocaml 5.0.0

Input: 100 500000

code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
1.ml 119ms 2.4ms 6.0MB 107ms 0ms ocaml 5.0.0

merkletrees

Input: 17

code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
1.ml 1613ms 7.0ms 69.1MB 1583ms 17ms ocaml 5.0.0
2.ml 3377ms 77ms 74.3MB 3337ms 20ms ocaml 5.0.0

Input: 15

code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
1.ml 242ms 0.7ms 25.6MB 220ms 3ms ocaml 5.0.0
2.ml 605ms 15ms 30.3MB 583ms 7ms ocaml 5.0.0

nbody

Input: 5000000

code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
1.ml 469ms 0.4ms 2.8MB 460ms 0ms ocaml 5.0.0

Input: 500000

code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
1.ml 50ms 0.2ms 2.8MB 40ms 0ms ocaml 5.0.0

nsieve

Input: 12

code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
1.ml 2179ms 9.5ms 550.5MB 2057ms 103ms ocaml 5.0.0
2.ml 2403ms 2.0ms 19.1MB 2387ms 0ms ocaml 5.0.0

Input: 10

code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
1.ml 467ms 11ms 140.2MB 430ms 20ms ocaml 5.0.0
2.ml 599ms 23ms 9.1MB 587ms 0ms ocaml 5.0.0

regex-redux

Input: 2500000_in

code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
2.ml timeout 0.0ms 181.9MB 4917ms 60ms ocaml 5.0.0

Input: 250000_in

code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
2.ml 726ms 1.0ms 52.5MB 693ms 13ms ocaml 5.0.0

spectral-norm

Input: 8000

code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
2.ml timeout 0.0ms 4.0MB 4983ms 0ms ocaml 5.0.0

Input: 4000

code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
2.ml 1636ms 1.0ms 3.6MB 1627ms 0ms ocaml 5.0.0

Input: 2000

code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
2.ml 412ms 0.3ms 3.4MB 400ms 0ms ocaml 5.0.0