OCaml VS V benchmarks

Current benchmark data was generated on Sat Mar 29 2025, full log can be found HERE

CONTRIBUTIONS are WELCOME!

[x86_64][4 cores] AMD EPYC 7763 64-Core Processor (Model 1)

* -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 775ms 18ms 28.8MB 760ms 0ms v/clang+gc 0.4.10
v 1.v 2271ms 9.2ms 2086.6MB 1340ms 907ms v/clang 0.4.10
ocaml 1.ml 3076ms 70ms 157.2MB 2993ms 73ms ocaml 5.3.0

Input: 15

lang code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
v 1.v 71ms 1.9ms 4.6MB 60ms 0ms v/clang+gc 0.4.10
v 1.v 216ms 1.5ms 198.0MB 120ms 80ms v/clang 0.4.10
ocaml 1.ml 223ms 5.5ms 19.1MB 203ms 3ms ocaml 5.3.0

fannkuch-redux

Input: 11

lang code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
v 1.v 2259ms 3.9ms 1.1MB 2250ms 0ms v/clang 0.4.10
v 1.v 2261ms 108ms 1.9MB 2253ms 0ms v/clang+gc 0.4.10
ocaml 2.ml 2920ms 14ms 4.9MB 2910ms 0ms ocaml 5.3.0

Input: 10

lang code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
v 1.v 194ms 10ms 1.9MB 187ms 0ms v/clang+gc 0.4.10
v 1.v 194ms 1.4ms 1.1MB 187ms 0ms v/clang 0.4.10
ocaml 2.ml 246ms 2.4ms 4.9MB 237ms 0ms ocaml 5.3.0

fasta

Input: 2500000

lang code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
ocaml 6.ml 347ms 0.6ms 24.8MB 333ms 0ms ocaml 5.3.0
v 1.v 497ms 1.9ms 1.3MB 487ms 0ms v/clang 0.4.10
v 1.v 525ms 2.5ms 2.1MB 513ms 0ms v/clang+gc 0.4.10

Input: 250000

lang code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
ocaml 6.ml 39ms 0.3ms 7.3MB 30ms 0ms ocaml 5.3.0
v 1.v 54ms 1.8ms 1.3MB 43ms 0ms v/clang 0.4.10
v 1.v 56ms 0.9ms 2.1MB 50ms 0ms v/clang+gc 0.4.10

helloworld

Input: QwQ

lang code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
v 1.v 1.0ms 0.1ms 1.4MB 0ms 0ms v/clang 0.4.10
v 1.v 1.4ms 0.0ms 1.9MB 0ms 0ms v/clang+gc 0.4.10
ocaml 1.ml 1.9ms 0.1ms 5.0MB 0ms 0ms ocaml 5.3.0

lru

Input: 1000 1000000

lang code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
ocaml 1.ml 185ms 5.6ms 6.4MB 173ms 0ms ocaml 5.3.0
v 1.v 244ms 3.0ms 1.3MB 233ms 0ms v/clang 0.4.10
v 1.v 262ms 5.6ms 2.1MB 253ms 0ms v/clang+gc 0.4.10

Input: 1000 3000000

lang code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
ocaml 1.ml 537ms 16ms 6.6MB 527ms 0ms ocaml 5.3.0
v 1.v 719ms 5.4ms 1.3MB 707ms 0ms v/clang 0.4.10
v 1.v 782ms 14ms 2.1MB 773ms 0ms v/clang+gc 0.4.10

Input: 100 500000

lang code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
ocaml 1.ml 76ms 0.7ms 5.9MB 70ms 0ms ocaml 5.3.0
v 1.v 92ms 3.4ms 1.3MB 83ms 0ms v/clang 0.4.10
v 1.v 101ms 2.3ms 2.1MB 90ms 0ms v/clang+gc 0.4.10

merkletrees

Input: 17

lang code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
ocaml 1.ml 1097ms 8.4ms 70.3MB 1057ms 30ms ocaml 5.3.0
ocaml 2.ml 2087ms 30ms 91.7MB 2037ms 33ms ocaml 5.3.0

Input: 15

lang code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
ocaml 1.ml 149ms 1.0ms 21.7MB 133ms 7ms ocaml 5.3.0
ocaml 2.ml 362ms 2.4ms 27.7MB 343ms 3ms ocaml 5.3.0

nbody

Input: 5000000

lang code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
v 1.v 312ms 0.7ms 1.6MB 300ms 0ms v/clang 0.4.10
v 1.v 312ms 0.6ms 2.3MB 300ms 0ms v/clang+gc 0.4.10
ocaml 1.ml 377ms 1.5ms 5.3MB 367ms 0ms ocaml 5.3.0

Input: 500000

lang code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
v 1.v 34ms 0.6ms 2.3MB 27ms 0ms v/clang+gc 0.4.10
v 1.v 34ms 0.3ms 1.6MB 27ms 0ms v/clang 0.4.10
ocaml 1.ml 40ms 1.1ms 5.2MB 30ms 0ms ocaml 5.3.0

nsieve

Input: 12

lang code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
v 1.v 320ms 5.0ms 60.7MB 307ms 0ms v/clang+gc 0.4.10
v 1.v 328ms 9.1ms 40.2MB 310ms 0ms v/clang 0.4.10
v 2.v 333ms 3.1ms 6.9MB 323ms 0ms v/clang+gc 0.4.10
v 2.v 343ms 3.2ms 6.1MB 333ms 0ms v/clang 0.4.10
ocaml 1.ml 961ms 7.1ms 552.4MB 900ms 47ms ocaml 5.3.0
ocaml 2.ml 1888ms 3.0ms 18.9MB 1877ms 0ms ocaml 5.3.0

Input: 10

lang code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
v 1.v 63ms 4.0ms 11.7MB 53ms 0ms v/clang+gc 0.4.10
v 1.v 64ms 0.5ms 11.0MB 50ms 0ms v/clang 0.4.10
v 2.v 82ms 1.7ms 3.1MB 73ms 0ms v/clang+gc 0.4.10
v 2.v 85ms 1.6ms 2.5MB 77ms 0ms v/clang 0.4.10
ocaml 1.ml 191ms 10ms 142.3MB 167ms 10ms ocaml 5.3.0
ocaml 2.ml 465ms 0.7ms 9.1MB 457ms 0ms ocaml 5.3.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 474.1MB 4813ms 173ms ocaml 5.3.0
v 1.v timeout 0.0ms 83.0MB 4980ms 3ms v/clang+gc 0.4.10

Input: 250000_in

lang code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
ocaml 2.ml 550ms 3.3ms 57.1MB 517ms 20ms ocaml 5.3.0
v 1.v 3486ms 31ms 26.0MB 3473ms 0ms v/clang+gc 0.4.10

spectral-norm

Input: 8000

lang code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
ocaml 2.ml 4568ms 13ms 6.4MB 4557ms 0ms ocaml 5.3.0
v 1.v timeout 0.0ms 1.6MB 4990ms 0ms v/clang 0.4.10
v 1.v timeout 0.0ms 2.6MB 4990ms 0ms v/clang+gc 0.4.10

Input: 4000

lang code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
ocaml 2.ml 1153ms 6.9ms 6.1MB 1143ms 0ms ocaml 5.3.0
v 1.v 1285ms 7.7ms 1.5MB 1277ms 0ms v/clang 0.4.10
v 1.v 1324ms 4.2ms 2.5MB 1313ms 0ms v/clang+gc 0.4.10

Input: 2000

lang code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
ocaml 2.ml 290ms 2.8ms 5.2MB 280ms 0ms ocaml 5.3.0
v 1.v 326ms 2.0ms 1.5MB 317ms 0ms v/clang 0.4.10
v 1.v 330ms 2.0ms 2.5MB 320ms 0ms v/clang+gc 0.4.10