Programming Language and compiler
Benchmarks

All OCaml benchmarks

Current benchmark data was generated on Fri Dec 09 2022, full log can be found HERE

CONTRIBUTIONS are WELCOME!

[x86_64][2 cores] Intel(R) Xeon(R) Platinum 8272CL CPU @ 2.60GHz (Model 85)

* -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 4278ms 12ms 120.4MB 4230ms 33ms ocaml 4.14.0

Input: 15

code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
1.ml 280ms 1.7ms 17.4MB 267ms 0ms ocaml 4.14.0

fannkuch-redux

Input: 11

code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
2.ml 3575ms 2.4ms 2.4MB 3560ms 0ms ocaml 4.14.0

Input: 10

code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
2.ml 296ms 1.0ms 2.4MB 290ms 0ms ocaml 4.14.0

fasta

Input: 2500000

code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
6.ml 386ms 0.5ms 25.3MB 367ms 3ms ocaml 4.14.0

Input: 250000

code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
6.ml 42ms 0.7ms 7.6MB 33ms 0ms ocaml 4.14.0

helloworld

Input: QwQ

code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
1.ml 2.3ms 0.6ms 2.5MB 0ms 0ms ocaml 4.14.0

lru

Input: 1000 1000000

code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
1.ml 229ms 1.2ms 5.8MB 217ms 0ms ocaml 4.14.0

Input: 1000 3000000

code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
1.ml 679ms 1.0ms 5.8MB 670ms 0ms ocaml 4.14.0

Input: 100 500000

code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
1.ml 101ms 0.3ms 4.9MB 90ms 0ms ocaml 4.14.0

merkletrees

Input: 17

code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
1.ml 1622ms 4.4ms 62.6MB 1587ms 20ms ocaml 4.14.0
2.ml 2718ms 21ms 71.2MB 2687ms 17ms ocaml 4.14.0

Input: 15

code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
1.ml 197ms 1.2ms 18.6MB 180ms 3ms ocaml 4.14.0
2.ml 441ms 6.0ms 25.5MB 420ms 3ms ocaml 4.14.0

nbody

Input: 5000000

code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
1.ml 547ms 0.0ms 2.5MB 537ms 0ms ocaml 4.14.0

Input: 500000

code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
1.ml 58ms 1.1ms 2.5MB 50ms 0ms ocaml 4.14.0

nsieve

Input: 12

code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
1.ml 2484ms 11ms 555.7MB 2323ms 143ms ocaml 4.14.0
2.ml 2554ms 25ms 20.2MB 2537ms 3ms ocaml 4.14.0

Input: 10

code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
1.ml 465ms 7.9ms 142.4MB 417ms 27ms ocaml 4.14.0
2.ml 605ms 1.1ms 9.1MB 590ms 0ms ocaml 4.14.0

regex-redux

Input: 2500000_in

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

Input: 250000_in

code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
2.ml 651ms 2.7ms 50.4MB 623ms 7ms ocaml 4.14.0

spectral-norm

Input: 8000

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

Input: 4000

code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
2.ml 1521ms 2.0ms 3.3MB 1510ms 0ms ocaml 4.14.0

Input: 2000

code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
2.ml 386ms 3.0ms 2.9MB 370ms 0ms ocaml 4.14.0