OCaml VS V benchmarks

Current benchmark data was generated on Thu Jul 13 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

lang code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
v 1.v 1082ms 11ms 37.1MB 1063ms 0ms v/clang 0.4.0
v 1.v 1092ms 6.8ms 37.0MB 1070ms 7ms v/clang+gc 0.4.0
ocaml 1.ml 4948ms 10ms 153.4MB 4887ms 43ms ocaml 5.0.0

Input: 15

lang code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
v 1.v 90ms 1.7ms 5.6MB 80ms 0ms v/clang 0.4.0
v 1.v 91ms 1.2ms 5.6MB 80ms 0ms v/clang+gc 0.4.0
ocaml 1.ml 341ms 3.5ms 22.9MB 323ms 3ms ocaml 5.0.0

fannkuch-redux

Input: 11

lang code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
v 1.v 3277ms 8.8ms 2.0MB 3267ms 0ms v/clang 0.4.0
v 1.v 3297ms 6.2ms 2.0MB 3287ms 0ms v/clang+gc 0.4.0
ocaml 2.ml 3984ms 14ms 2.8MB 3973ms 0ms ocaml 5.0.0

Input: 10

lang code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
v 1.v 274ms 0.6ms 2.0MB 263ms 0ms v/clang+gc 0.4.0
v 1.v 276ms 2.9ms 1.9MB 263ms 0ms v/clang 0.4.0
ocaml 2.ml 331ms 1.3ms 2.9MB 320ms 0ms ocaml 5.0.0

fasta

Input: 2500000

lang code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
ocaml 6.ml 425ms 0.3ms 22.7MB 407ms 3ms ocaml 5.0.0
v 1.v 628ms 0.1ms 2.0MB 620ms 0ms v/clang 0.4.0
v 1.v 631ms 3.5ms 2.0MB 620ms 0ms v/clang+gc 0.4.0

Input: 250000

lang code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
ocaml 6.ml 47ms 2.4ms 4.9MB 37ms 0ms ocaml 5.0.0
v 1.v 66ms 0.7ms 2.0MB 60ms 0ms v/clang+gc 0.4.0
v 1.v 67ms 2.4ms 2.0MB 57ms 0ms v/clang 0.4.0

helloworld

Input: QwQ

lang code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
v 1.v 2.0ms 0.4ms 1.9MB 0ms 0ms v/clang 0.4.0
v 1.v 2.2ms 0.3ms 2.1MB 0ms 0ms v/clang+gc 0.4.0
ocaml 1.ml 2.7ms 0.6ms 3.1MB 0ms 0ms ocaml 5.0.0

lru

Input: 1000 1000000

lang code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
ocaml 1.ml 264ms 2.8ms 6.7MB 250ms 0ms ocaml 5.0.0
v 1.v 397ms 1.1ms 2.2MB 387ms 0ms v/clang+gc 0.4.0
v 1.v 425ms 1.0ms 2.3MB 413ms 0ms v/clang 0.4.0

Input: 1000 3000000

lang code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
ocaml 1.ml 781ms 8.1ms 6.7MB 767ms 0ms ocaml 5.0.0
v 1.v 1182ms 1.4ms 2.3MB 1170ms 0ms v/clang+gc 0.4.0
v 1.v 1268ms 1.7ms 2.3MB 1257ms 0ms v/clang 0.4.0

Input: 100 500000

lang code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
ocaml 1.ml 118ms 1.6ms 6.0MB 110ms 0ms ocaml 5.0.0
v 1.v 132ms 0.1ms 2.3MB 120ms 0ms v/clang+gc 0.4.0
v 1.v 139ms 1.8ms 2.2MB 130ms 0ms v/clang 0.4.0

merkletrees

Input: 17

lang code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
ocaml 1.ml 1524ms 6.3ms 69.4MB 1483ms 23ms ocaml 5.0.0
ocaml 2.ml 3227ms 33ms 74.1MB 3187ms 23ms ocaml 5.0.0

Input: 15

lang code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
ocaml 1.ml 229ms 7.2ms 25.6MB 213ms 3ms ocaml 5.0.0
ocaml 2.ml 576ms 3.7ms 30.2MB 557ms 3ms ocaml 5.0.0

nbody

Input: 5000000

lang code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
ocaml 1.ml 470ms 0.5ms 2.9MB 460ms 0ms ocaml 5.0.0
v 1.v 874ms 0.8ms 2.3MB 860ms 0ms v/clang+gc 0.4.0
v 1.v 878ms 10.0ms 2.3MB 863ms 0ms v/clang 0.4.0

Input: 500000

lang code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
ocaml 1.ml 50ms 0.6ms 2.9MB 40ms 0ms ocaml 5.0.0
v 1.v 90ms 1.7ms 2.4MB 80ms 0ms v/clang 0.4.0
v 1.v 96ms 10.0ms 2.2MB 87ms 0ms v/clang+gc 0.4.0

nsieve

Input: 12

lang code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
v 2.v 507ms 7.4ms 10.8MB 493ms 0ms v/clang 0.4.0
v 2.v 514ms 7.9ms 10.6MB 500ms 0ms v/clang+gc 0.4.0
v 1.v 546ms 16ms 41.2MB 527ms 0ms v/clang 0.4.0
v 1.v 591ms 49ms 41.1MB 570ms 0ms v/clang+gc 0.4.0
ocaml 1.ml 1999ms 32ms 550.5MB 1893ms 87ms ocaml 5.0.0
ocaml 2.ml 2424ms 16ms 19.0MB 2410ms 0ms ocaml 5.0.0

Input: 10

lang code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
v 2.v 116ms 0.7ms 4.0MB 100ms 0ms v/clang+gc 0.4.0
v 2.v 117ms 0.6ms 4.1MB 107ms 0ms v/clang 0.4.0
v 1.v 124ms 4.9ms 20.2MB 113ms 0ms v/clang+gc 0.4.0
v 1.v 126ms 4.9ms 20.8MB 110ms 0ms v/clang 0.4.0
ocaml 1.ml 339ms 11ms 140.3MB 307ms 17ms ocaml 5.0.0
ocaml 2.ml 609ms 28ms 9.1MB 590ms 0ms ocaml 5.0.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 181.9MB 4927ms 47ms ocaml 5.0.0
v 1.v timeout 0.0ms 93.4MB 4963ms 17ms v/clang+gc 0.4.0

Input: 250000_in

lang code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
ocaml 2.ml 705ms 2.8ms 52.5MB 683ms 10ms ocaml 5.0.0
v 1.v 4207ms 3.5ms 27.8MB 4187ms 3ms v/clang+gc 0.4.0

spectral-norm

Input: 8000

lang code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
ocaml 2.ml timeout 0.0ms 4.1MB 4987ms 0ms ocaml 5.0.0
v 1.v timeout 0.0ms 3.1MB 4990ms 0ms v/clang 0.4.0
v 1.v timeout 0.0ms 3.0MB 4990ms 0ms v/clang+gc 0.4.0

Input: 4000

lang code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
v 1.v 1550ms 0.3ms 2.8MB 1537ms 0ms v/clang 0.4.0
v 1.v 1550ms 0.7ms 2.8MB 1540ms 0ms v/clang+gc 0.4.0
ocaml 2.ml 1639ms 5.6ms 3.7MB 1623ms 0ms ocaml 5.0.0

Input: 2000

lang code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
v 1.v 391ms 0.7ms 2.5MB 380ms 0ms v/clang+gc 0.4.0
v 1.v 392ms 1.3ms 2.5MB 380ms 0ms v/clang 0.4.0
ocaml 2.ml 412ms 0.4ms 3.3MB 400ms 0ms ocaml 5.0.0