Ocaml VS V benchmarks

Current benchmark data was generated on Fri May 20 2022, 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

lang code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
v 1.v 1118ms 8.9ms 37.2MB 1100ms 0ms v/clang+gc 0.2.4
v 1.v 2375ms 3.1ms 2086.3MB 1607ms 750ms v/clang 0.2.4
ocaml 1.ml 4057ms 12ms 120.4MB 4020ms 17ms ocaml 4.14.0

Input: 15

lang code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
v 1.v 116ms 1.6ms 5.6MB 107ms 0ms v/clang+gc 0.2.4
v 1.v 220ms 0.6ms 197.8MB 133ms 73ms v/clang 0.2.4
ocaml 1.ml 272ms 1.5ms 17.4MB 257ms 3ms ocaml 4.14.0

fannkuch-redux

Input: 11

lang code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
v 1.v 3311ms 2.6ms 1.9MB 3300ms 0ms v/clang+gc 0.2.4
v 1.v 3417ms 147ms 0.6MB 3407ms 0ms v/clang 0.2.4
ocaml 2.ml 4187ms 38ms 2.4MB 4173ms 0ms ocaml 4.14.0

Input: 10

lang code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
v 1.v 277ms 1.0ms 2.1MB 263ms 0ms v/clang+gc 0.2.4
v 1.v 281ms 1.5ms 0.6MB 267ms 0ms v/clang 0.2.4
ocaml 2.ml 340ms 2.1ms 2.6MB 330ms 0ms ocaml 4.14.0

fasta

Input: 2500000

lang code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
ocaml 6.ml 425ms 0.9ms 25.4MB 407ms 0ms ocaml 4.14.0
v 1.v 769ms 0.5ms 2.2MB 630ms 123ms v/clang+gc 0.2.4
v 1.v 837ms 2.2ms 0.6MB 720ms 100ms v/clang 0.2.4

Input: 250000

lang code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
ocaml 6.ml 47ms 1.2ms 4.8MB 40ms 0ms ocaml 4.14.0
v 1.v 81ms 1.1ms 2.3MB 63ms 3ms v/clang+gc 0.2.4
v 1.v 86ms 1.0ms 0.6MB 63ms 10ms v/clang 0.2.4

helloworld

Input: QwQ

lang code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
v 1.v 1.5ms 0.7ms 0.6MB 0ms 0ms v/clang 0.2.4
ocaml 1.ml 2.3ms 0.7ms 2.6MB 0ms 0ms ocaml 4.14.0
v 1.v 2.5ms 0.9ms 1.9MB 0ms 0ms v/clang+gc 0.2.4

lru

Input: 1000 1000000

lang code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
ocaml 1.ml 240ms 1.1ms 5.9MB 227ms 0ms ocaml 4.14.0
v 1.v 399ms 1.3ms 0.6MB 390ms 0ms v/clang 0.2.4
v 1.v 416ms 0.8ms 2.3MB 400ms 0ms v/clang+gc 0.2.4

Input: 1000 3000000

lang code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
ocaml 1.ml 708ms 1.7ms 5.8MB 697ms 0ms ocaml 4.14.0
v 1.v 1186ms 1.6ms 0.6MB 1177ms 0ms v/clang 0.2.4
v 1.v 1244ms 1.7ms 2.3MB 1230ms 0ms v/clang+gc 0.2.4

Input: 100 500000

lang code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
ocaml 1.ml 104ms 0.3ms 5.0MB 97ms 0ms ocaml 4.14.0
v 1.v 127ms 0.4ms 0.6MB 120ms 0ms v/clang 0.2.4
v 1.v 135ms 1.2ms 2.3MB 120ms 0ms v/clang+gc 0.2.4

merkletrees

Input: 17

lang code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
ocaml 1.ml 1528ms 2.4ms 62.6MB 1497ms 17ms ocaml 4.14.0
ocaml 2.ml 2609ms 9.0ms 71.1MB 2577ms 17ms ocaml 4.14.0

Input: 15

lang code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
ocaml 1.ml 195ms 0.7ms 18.7MB 183ms 3ms ocaml 4.14.0
ocaml 2.ml 437ms 1.6ms 23.6MB 423ms 0ms ocaml 4.14.0

nbody

Input: 5000000

lang code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
ocaml 1.ml 469ms 0.1ms 2.5MB 460ms 0ms ocaml 4.14.0
v 1.v 988ms 1.1ms 0.8MB 980ms 0ms v/clang 0.2.4
v 1.v 1015ms 4.4ms 2.4MB 1003ms 0ms v/clang+gc 0.2.4

Input: 500000

lang code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
ocaml 1.ml 49ms 0.2ms 2.5MB 40ms 0ms ocaml 4.14.0
v 1.v 104ms 5.6ms 0.9MB 93ms 0ms v/clang 0.2.4
v 1.v 104ms 0.2ms 2.3MB 90ms 0ms v/clang+gc 0.2.4

nsieve

Input: 12

lang code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
v 2.v 509ms 13ms 6.8MB 490ms 0ms v/clang+gc 0.2.4
v 1.v 533ms 20ms 40.2MB 517ms 3ms v/clang 0.2.4
v 1.v 539ms 16ms 41.2MB 527ms 0ms v/clang+gc 0.2.4
ocaml 1.ml 2063ms 42ms 554.8MB 1947ms 97ms ocaml 4.14.0
ocaml 2.ml 2282ms 3.9ms 19.6MB 2267ms 0ms ocaml 4.14.0

Input: 10

lang code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
v 2.v 117ms 1.0ms 3.2MB 103ms 0ms v/clang+gc 0.2.4
v 1.v 118ms 0.6ms 11.0MB 110ms 0ms v/clang 0.2.4
v 1.v 118ms 2.9ms 19.1MB 100ms 0ms v/clang+gc 0.2.4
ocaml 1.ml 406ms 11ms 142.8MB 370ms 20ms ocaml 4.14.0
ocaml 2.ml 551ms 1.5ms 9.6MB 540ms 0ms ocaml 4.14.0

regex-redux

Input: 2500000_in

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

Input: 250000_in

lang code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
ocaml 2.ml 689ms 1.6ms 50.6MB 657ms 17ms ocaml 4.14.0

spectral-norm

Input: 8000

lang code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
v 1.v 4117ms 0.3ms 1.8MB 4110ms 0ms v/clang 0.2.4
v 1.v 4119ms 2.0ms 3.0MB 4103ms 0ms v/clang+gc 0.2.4
ocaml 2.ml timeout 0.0ms 0.0MB 0ms 0ms ocaml 4.14.0

Input: 4000

lang code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
v 1.v 1032ms 0.5ms 2.5MB 1020ms 0ms v/clang+gc 0.2.4
v 1.v 1043ms 2.3ms 0.8MB 1017ms 0ms v/clang 0.2.4
ocaml 2.ml 1650ms 2.9ms 3.4MB 1637ms 0ms ocaml 4.14.0

Input: 2000

lang code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
v 1.v 261ms 0.6ms 2.6MB 250ms 0ms v/clang+gc 0.2.4
v 1.v 269ms 2.7ms 0.8MB 247ms 0ms v/clang 0.2.4
ocaml 2.ml 415ms 0.7ms 3.0MB 403ms 0ms ocaml 4.14.0