OCaml VS V benchmarks

Current benchmark data was generated on Mon May 19 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 796ms 22ms 28.9MB 780ms 0ms v/clang+gc 0.4.10
v 1.v 2199ms 17ms 2086.6MB 1293ms 890ms v/clang 0.4.10
ocaml 1.ml 3022ms 19ms 157.1MB 2943ms 60ms ocaml 5.3.0

Input: 15

lang code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
v 1.v 71ms 2.0ms 4.6MB 60ms 0ms v/clang+gc 0.4.10
v 1.v 216ms 3.7ms 197.9MB 113ms 87ms v/clang 0.4.10
ocaml 1.ml 219ms 1.7ms 19.1MB 200ms 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 2222ms 13ms 1.9MB 2210ms 0ms v/clang+gc 0.4.10
v 1.v 2254ms 3.3ms 1.1MB 2247ms 0ms v/clang 0.4.10
ocaml 2.ml 2919ms 5.3ms 4.9MB 2907ms 0ms ocaml 5.3.0

Input: 10

lang code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
v 1.v 186ms 0.2ms 1.9MB 180ms 0ms v/clang+gc 0.4.10
v 1.v 193ms 1.4ms 1.3MB 183ms 0ms v/clang 0.4.10
ocaml 2.ml 245ms 3.9ms 4.9MB 233ms 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 346ms 1.0ms 24.9MB 333ms 0ms ocaml 5.3.0
v 1.v 495ms 0.5ms 1.3MB 487ms 0ms v/clang 0.4.10
v 1.v 514ms 1.8ms 2.1MB 503ms 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.8ms 7.5MB 30ms 0ms ocaml 5.3.0
v 1.v 53ms 1.7ms 1.3MB 47ms 0ms v/clang 0.4.10
v 1.v 55ms 0.4ms 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.0ms 1.4MB 0ms 0ms v/clang 0.4.10
v 1.v 1.2ms 0.1ms 1.9MB 0ms 0ms v/clang+gc 0.4.10
ocaml 1.ml 1.8ms 0.1ms 5.1MB 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 178ms 7.5ms 6.6MB 167ms 0ms ocaml 5.3.0
v 1.v 252ms 0.1ms 1.3MB 240ms 0ms v/clang 0.4.10
v 1.v 264ms 5.0ms 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 536ms 22ms 6.6MB 527ms 0ms ocaml 5.3.0
v 1.v 749ms 5.1ms 1.3MB 743ms 0ms v/clang 0.4.10
v 1.v 775ms 3.4ms 2.1MB 767ms 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 77ms 1.7ms 5.9MB 70ms 0ms ocaml 5.3.0
v 1.v 92ms 0.9ms 1.3MB 83ms 0ms v/clang 0.4.10
v 1.v 101ms 2.4ms 2.1MB 93ms 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 1089ms 3.3ms 70.2MB 1053ms 20ms ocaml 5.3.0
ocaml 2.ml 2063ms 7.0ms 91.8MB 2010ms 40ms ocaml 5.3.0

Input: 15

lang code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
ocaml 1.ml 147ms 2.5ms 21.7MB 130ms 3ms ocaml 5.3.0
ocaml 2.ml 366ms 7.2ms 27.6MB 343ms 10ms ocaml 5.3.0

nbody

Input: 5000000

lang code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
v 1.v 310ms 0.2ms 1.6MB 300ms 0ms v/clang 0.4.10
v 1.v 312ms 1.4ms 2.3MB 303ms 0ms v/clang+gc 0.4.10
ocaml 1.ml 379ms 1.8ms 5.2MB 370ms 0ms ocaml 5.3.0

Input: 500000

lang code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
v 1.v 33ms 0.3ms 1.6MB 23ms 0ms v/clang 0.4.10
v 1.v 34ms 0.6ms 2.3MB 30ms 0ms v/clang+gc 0.4.10
ocaml 1.ml 41ms 1.5ms 5.3MB 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 297ms 4.2ms 60.6MB 283ms 0ms v/clang+gc 0.4.10
v 1.v 297ms 4.5ms 40.3MB 280ms 0ms v/clang 0.4.10
v 2.v 328ms 0.5ms 6.9MB 320ms 0ms v/clang+gc 0.4.10
v 2.v 332ms 1.3ms 6.1MB 320ms 0ms v/clang 0.4.10
ocaml 1.ml 940ms 9.1ms 541.2MB 883ms 43ms ocaml 5.3.0
ocaml 2.ml 1904ms 37ms 19.0MB 1893ms 0ms ocaml 5.3.0

Input: 10

lang code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
v 1.v 58ms 1.3ms 11.9MB 50ms 0ms v/clang+gc 0.4.10
v 1.v 58ms 3.1ms 11.0MB 50ms 0ms v/clang 0.4.10
v 2.v 82ms 0.8ms 3.1MB 70ms 0ms v/clang+gc 0.4.10
v 2.v 82ms 1.9ms 2.4MB 73ms 0ms v/clang 0.4.10
ocaml 1.ml 178ms 1.2ms 142.2MB 157ms 10ms ocaml 5.3.0
ocaml 2.ml 471ms 3.6ms 9.1MB 460ms 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 462.8MB 4830ms 157ms ocaml 5.3.0
v 1.v timeout 0.0ms 83.1MB 4977ms 7ms 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 549ms 15ms 57.1MB 513ms 23ms ocaml 5.3.0
v 1.v 3651ms 52ms 26.0MB 3637ms 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 4567ms 9.8ms 6.3MB 4560ms 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.8MB 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 1147ms 4.8ms 6.1MB 1137ms 0ms ocaml 5.3.0
v 1.v 1285ms 1.0ms 1.5MB 1280ms 0ms v/clang 0.4.10
v 1.v 1299ms 3.2ms 2.5MB 1290ms 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 295ms 7.0ms 5.2MB 287ms 0ms ocaml 5.3.0
v 1.v 324ms 1.0ms 1.5MB 313ms 0ms v/clang 0.4.10
v 1.v 328ms 1.2ms 2.5MB 320ms 0ms v/clang+gc 0.4.10