OCaml VS V benchmarks

Current benchmark data was generated on Tue Dec 31 2024, 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 842ms 137ms 22.1MB 827ms 3ms v/clang+gc 0.4.9
v 1.v 2067ms 11ms 2086.6MB 1183ms 873ms v/clang 0.4.9
ocaml 1.ml 2855ms 30ms 132.4MB 2783ms 53ms ocaml 5.2.1

Input: 15

lang code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
v 1.v 79ms 18ms 4.6MB 70ms 0ms v/clang+gc 0.4.9
v 1.v 201ms 4.3ms 198.0MB 103ms 77ms v/clang 0.4.9
ocaml 1.ml 205ms 3.3ms 19.1MB 187ms 0ms ocaml 5.2.1

fannkuch-redux

Input: 11

lang code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
v 1.v 2091ms 20ms 1.9MB 2083ms 0ms v/clang+gc 0.4.9
v 1.v 2107ms 8.2ms 1.4MB 2097ms 0ms v/clang 0.4.9
ocaml 2.ml 2795ms 29ms 4.9MB 2783ms 0ms ocaml 5.2.1

Input: 10

lang code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
v 1.v 177ms 2.1ms 1.9MB 167ms 0ms v/clang+gc 0.4.9
v 1.v 179ms 4.8ms 1.1MB 167ms 0ms v/clang 0.4.9
ocaml 2.ml 234ms 2.1ms 4.9MB 223ms 0ms ocaml 5.2.1

fasta

Input: 2500000

lang code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
ocaml 6.ml 329ms 3.1ms 24.9MB 313ms 0ms ocaml 5.2.1
v 1.v 485ms 7.6ms 1.3MB 473ms 0ms v/clang 0.4.9
v 1.v 510ms 4.4ms 2.1MB 497ms 0ms v/clang+gc 0.4.9

Input: 250000

lang code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
ocaml 6.ml 37ms 0.4ms 7.4MB 27ms 0ms ocaml 5.2.1
v 1.v 50ms 0.4ms 1.3MB 40ms 0ms v/clang 0.4.9
v 1.v 53ms 0.4ms 2.1MB 43ms 0ms v/clang+gc 0.4.9

helloworld

Input: QwQ

lang code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
v 1.v 0.9ms 0.0ms 1.4MB 0ms 0ms v/clang 0.4.9
v 1.v 1.4ms 0.1ms 1.9MB 0ms 0ms v/clang+gc 0.4.9
ocaml 1.ml 1.7ms 0.2ms 4.9MB 0ms 0ms ocaml 5.2.1

lru

Input: 1000 1000000

lang code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
ocaml 1.ml 165ms 2.2ms 6.4MB 157ms 0ms ocaml 5.2.1
v 1.v 246ms 1.6ms 2.1MB 237ms 0ms v/clang+gc 0.4.9
v 1.v 252ms 7.7ms 1.3MB 243ms 0ms v/clang 0.4.9

Input: 1000 3000000

lang code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
ocaml 1.ml 496ms 9.3ms 6.6MB 483ms 0ms ocaml 5.2.1
v 1.v 730ms 2.4ms 2.1MB 720ms 0ms v/clang+gc 0.4.9
v 1.v 769ms 8.2ms 1.3MB 760ms 0ms v/clang 0.4.9

Input: 100 500000

lang code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
ocaml 1.ml 73ms 2.1ms 5.9MB 60ms 0ms ocaml 5.2.1
v 1.v 85ms 1.3ms 1.3MB 73ms 0ms v/clang 0.4.9
v 1.v 97ms 1.5ms 2.1MB 87ms 0ms v/clang+gc 0.4.9

merkletrees

Input: 17

lang code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
ocaml 1.ml 1039ms 0.6ms 70.2MB 997ms 27ms ocaml 5.2.1
ocaml 2.ml 1948ms 8.6ms 91.8MB 1900ms 30ms ocaml 5.2.1

Input: 15

lang code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
ocaml 1.ml 143ms 1.0ms 21.7MB 130ms 3ms ocaml 5.2.1
ocaml 2.ml 342ms 3.9ms 27.7MB 317ms 7ms ocaml 5.2.1

nbody

Input: 5000000

lang code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
v 1.v 296ms 4.6ms 2.3MB 283ms 0ms v/clang+gc 0.4.9
v 1.v 298ms 1.3ms 1.6MB 287ms 0ms v/clang 0.4.9
ocaml 1.ml 351ms 2.4ms 5.2MB 340ms 0ms ocaml 5.2.1

Input: 500000

lang code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
v 1.v 32ms 0.9ms 1.6MB 23ms 0ms v/clang 0.4.9
v 1.v 33ms 0.9ms 2.3MB 23ms 0ms v/clang+gc 0.4.9
ocaml 1.ml 40ms 1.6ms 5.2MB 30ms 0ms ocaml 5.2.1

nsieve

Input: 12

lang code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
v 1.v 272ms 1.7ms 40.3MB 257ms 0ms v/clang 0.4.9
v 1.v 288ms 6.7ms 60.7MB 273ms 0ms v/clang+gc 0.4.9
v 2.v 311ms 1.4ms 6.2MB 300ms 0ms v/clang 0.4.9
v 2.v 318ms 2.2ms 6.9MB 307ms 0ms v/clang+gc 0.4.9
ocaml 1.ml 887ms 4.5ms 550.8MB 827ms 43ms ocaml 5.2.1
ocaml 2.ml 1822ms 17ms 18.6MB 1810ms 0ms ocaml 5.2.1

Input: 10

lang code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
v 1.v 57ms 3.8ms 11.0MB 50ms 0ms v/clang 0.4.9
v 1.v 59ms 0.8ms 19.9MB 50ms 0ms v/clang+gc 0.4.9
v 2.v 77ms 1.9ms 2.4MB 70ms 0ms v/clang 0.4.9
v 2.v 77ms 1.6ms 3.1MB 70ms 0ms v/clang+gc 0.4.9
ocaml 1.ml 171ms 3.0ms 142.3MB 147ms 10ms ocaml 5.2.1
ocaml 2.ml 451ms 8.0ms 9.1MB 437ms 0ms ocaml 5.2.1

regex-redux

Input: 2500000_in

lang code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
ocaml 2.ml 4814ms 25ms 484.9MB 4640ms 157ms ocaml 5.2.1
v 1.v timeout 0.0ms 83.1MB 4977ms 7ms v/clang+gc 0.4.9

Input: 250000_in

lang code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
ocaml 2.ml 488ms 5.4ms 57.1MB 447ms 30ms ocaml 5.2.1
v 1.v 3217ms 76ms 26.0MB 3200ms 0ms v/clang+gc 0.4.9

spectral-norm

Input: 8000

lang code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
ocaml 2.ml 4270ms 34ms 6.3MB 4260ms 0ms ocaml 5.2.1
v 1.v 4853ms 3.5ms 1.6MB 4843ms 0ms v/clang 0.4.9
v 1.v 4929ms 9.5ms 2.8MB 4917ms 0ms v/clang+gc 0.4.9

Input: 4000

lang code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
ocaml 2.ml 1068ms 1.5ms 5.9MB 1057ms 0ms ocaml 5.2.1
v 1.v 1209ms 8.0ms 1.5MB 1200ms 0ms v/clang 0.4.9
v 1.v 1252ms 9.5ms 2.5MB 1240ms 0ms v/clang+gc 0.4.9

Input: 2000

lang code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
ocaml 2.ml 269ms 1.8ms 5.2MB 257ms 0ms ocaml 5.2.1
v 1.v 305ms 1.8ms 1.5MB 293ms 0ms v/clang 0.4.9
v 1.v 314ms 3.8ms 2.5MB 303ms 0ms v/clang+gc 0.4.9