OCaml VS V benchmarks

Current benchmark data was generated on Tue Mar 25 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 826ms 7.1ms 22.1MB 813ms 0ms v/clang+gc 0.4.10
v 1.v 2249ms 23ms 2086.6MB 1327ms 910ms v/clang 0.4.10
ocaml 1.ml 3139ms 30ms 157.2MB 3050ms 73ms ocaml 5.3.0

Input: 15

lang code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
v 1.v 72ms 1.3ms 4.6MB 60ms 0ms v/clang+gc 0.4.10
v 1.v 212ms 3.0ms 197.1MB 120ms 77ms v/clang 0.4.10
ocaml 1.ml 228ms 11ms 19.2MB 213ms 0ms 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 2201ms 3.6ms 1.9MB 2193ms 0ms v/clang+gc 0.4.10
v 1.v 2314ms 95ms 1.1MB 2303ms 0ms v/clang 0.4.10
ocaml 2.ml 2918ms 4.8ms 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 188ms 1.5ms 1.9MB 180ms 0ms v/clang+gc 0.4.10
v 1.v 193ms 2.3ms 1.1MB 180ms 0ms v/clang 0.4.10
ocaml 2.ml 245ms 1.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 345ms 0.3ms 24.8MB 330ms 0ms ocaml 5.3.0
v 1.v 498ms 0.7ms 1.3MB 490ms 0ms v/clang 0.4.10
v 1.v 529ms 10ms 2.1MB 517ms 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 53ms 1.2ms 1.3MB 47ms 0ms v/clang 0.4.10
v 1.v 56ms 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.2ms 0.3ms 1.4MB 0ms 0ms v/clang 0.4.10
v 1.v 1.4ms 0.1ms 1.9MB 0ms 0ms v/clang+gc 0.4.10
ocaml 1.ml 1.9ms 0.2ms 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 2.2ms 6.4MB 170ms 0ms ocaml 5.3.0
v 1.v 249ms 3.9ms 1.3MB 240ms 0ms v/clang 0.4.10
v 1.v 262ms 3.5ms 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 535ms 18ms 6.6MB 523ms 0ms ocaml 5.3.0
v 1.v 722ms 7.3ms 1.3MB 713ms 0ms v/clang 0.4.10
v 1.v 784ms 25ms 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 77ms 0.5ms 6.1MB 70ms 0ms ocaml 5.3.0
v 1.v 91ms 2.5ms 1.3MB 83ms 0ms v/clang 0.4.10
v 1.v 101ms 1.1ms 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 1104ms 1.1ms 70.3MB 1060ms 30ms ocaml 5.3.0
ocaml 2.ml 2279ms 5.8ms 91.8MB 2220ms 43ms ocaml 5.3.0

Input: 15

lang code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
ocaml 1.ml 149ms 3.1ms 21.6MB 130ms 7ms ocaml 5.3.0
ocaml 2.ml 396ms 3.4ms 27.7MB 377ms 7ms 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 1.6ms 1.6MB 303ms 0ms v/clang 0.4.10
v 1.v 313ms 2.4ms 2.3MB 303ms 0ms v/clang+gc 0.4.10
ocaml 1.ml 374ms 0.4ms 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.4ms 1.6MB 27ms 0ms v/clang 0.4.10
v 1.v 34ms 0.5ms 2.3MB 30ms 0ms v/clang+gc 0.4.10
ocaml 1.ml 41ms 0.7ms 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 332ms 8.5ms 41.1MB 317ms 0ms v/clang+gc 0.4.10
v 2.v 334ms 2.0ms 6.9MB 323ms 0ms v/clang+gc 0.4.10
v 2.v 334ms 5.6ms 6.1MB 323ms 0ms v/clang 0.4.10
v 1.v 400ms 3.8ms 40.2MB 380ms 0ms v/clang 0.4.10
ocaml 1.ml 1019ms 4.4ms 544.4MB 960ms 43ms ocaml 5.3.0
ocaml 2.ml 1896ms 11ms 17.2MB 1883ms 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.4ms 11.0MB 53ms 0ms v/clang 0.4.10
v 1.v 67ms 1.4ms 11.7MB 60ms 0ms v/clang+gc 0.4.10
v 2.v 82ms 0.6ms 2.4MB 70ms 0ms v/clang 0.4.10
v 2.v 83ms 1.3ms 3.1MB 73ms 0ms v/clang+gc 0.4.10
ocaml 1.ml 197ms 0.6ms 128.8MB 173ms 10ms ocaml 5.3.0
ocaml 2.ml 469ms 5.3ms 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 462.7MB 4810ms 173ms ocaml 5.3.0
v 1.v timeout 0.0ms 83.0MB 4980ms 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 550ms 6.1ms 57.1MB 507ms 27ms ocaml 5.3.0
v 1.v 3591ms 58ms 26.0MB 3573ms 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 4585ms 15ms 6.4MB 4573ms 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 1148ms 6.8ms 6.1MB 1140ms 0ms ocaml 5.3.0
v 1.v 1286ms 3.9ms 1.5MB 1277ms 0ms v/clang 0.4.10
v 1.v 1332ms 3.9ms 2.5MB 1323ms 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 296ms 5.1ms 5.2MB 287ms 0ms ocaml 5.3.0
v 1.v 325ms 1.8ms 1.5MB 317ms 0ms v/clang 0.4.10
v 1.v 336ms 4.5ms 2.5MB 323ms 0ms v/clang+gc 0.4.10