Programming Language and compiler
Benchmarks

All Ocaml benchmarks

Current benchmark data was generated on Fri Jul 01 2022, full log can be found HERE

CONTRIBUTIONS are WELCOME!

[x86_64][2 cores] Intel(R) Xeon(R) Platinum 8171M 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 timeout 0.0ms 0.0MB 0ms 0ms ocaml 4.14.0

Input: 15

code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
1.ml 345ms 1.5ms 17.4MB 330ms 0ms ocaml 4.14.0

fannkuch-redux

Input: 11

code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
2.ml 4402ms 47ms 2.5MB 4387ms 0ms ocaml 4.14.0

Input: 10

code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
2.ml 371ms 9.8ms 2.5MB 360ms 0ms ocaml 4.14.0

fasta

Input: 2500000

code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
6.ml 470ms 2.4ms 25.7MB 447ms 3ms ocaml 4.14.0

Input: 250000

code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
6.ml 56ms 1.6ms 5.8MB 43ms 0ms ocaml 4.14.0

helloworld

Input: QwQ

code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
1.ml 3.7ms 2.4ms 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 294ms 8.6ms 5.8MB 280ms 0ms ocaml 4.14.0

Input: 1000 3000000

code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
1.ml 830ms 3.6ms 5.9MB 813ms 0ms ocaml 4.14.0

Input: 100 500000

code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
1.ml 125ms 0.3ms 5.0MB 110ms 0ms ocaml 4.14.0

merkletrees

Input: 17

code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
1.ml 2047ms 16ms 62.6MB 1990ms 37ms ocaml 4.14.0
2.ml 3345ms 17ms 69.5MB 3300ms 30ms ocaml 4.14.0

Input: 15

code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
1.ml 248ms 0.2ms 18.7MB 227ms 7ms ocaml 4.14.0
2.ml 565ms 7.8ms 25.5MB 543ms 3ms ocaml 4.14.0

nbody

Input: 5000000

code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
1.ml 669ms 1.2ms 2.6MB 657ms 0ms ocaml 4.14.0

Input: 500000

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

nsieve

Input: 12

code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
1.ml 2622ms 6.6ms 554.8MB 2447ms 157ms ocaml 4.14.0
2.ml 3173ms 40ms 20.2MB 3150ms 10ms ocaml 4.14.0

Input: 10

code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
1.ml 580ms 7.2ms 141.9MB 527ms 37ms ocaml 4.14.0
2.ml 747ms 9.5ms 8.9MB 733ms 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 807ms 4.8ms 50.5MB 777ms 10ms 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 1888ms 10ms 3.3MB 1877ms 0ms ocaml 4.14.0

Input: 2000

code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
2.ml 474ms 5.5ms 3.1MB 460ms 0ms ocaml 4.14.0