OCaml VS V benchmarks

Current benchmark data was generated on Sun Dec 01 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 836ms 6.6ms 22.1MB 817ms 7ms v/clang+gc 0.4.8
v 1.v 2183ms 50ms 2086.6MB 1270ms 893ms v/clang 0.4.8
ocaml 1.ml 3047ms 16ms 132.6MB 2977ms 60ms ocaml 5.2.1

Input: 15

lang code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
v 1.v 70ms 1.5ms 4.6MB 60ms 0ms v/clang+gc 0.4.8
v 1.v 207ms 2.8ms 197.6MB 117ms 77ms v/clang 0.4.8
ocaml 1.ml 217ms 3.2ms 19.2MB 200ms 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 2229ms 8.2ms 1.9MB 2217ms 0ms v/clang+gc 0.4.8
v 1.v 2268ms 4.1ms 1.1MB 2257ms 0ms v/clang 0.4.8
ocaml 2.ml 2908ms 3.8ms 4.9MB 2897ms 0ms ocaml 5.2.1

Input: 10

lang code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
v 1.v 194ms 1.6ms 1.1MB 183ms 0ms v/clang 0.4.8
v 1.v 198ms 4.0ms 1.9MB 183ms 0ms v/clang+gc 0.4.8
ocaml 2.ml 245ms 2.2ms 4.9MB 233ms 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 347ms 0.9ms 24.9MB 330ms 0ms ocaml 5.2.1
v 1.v 508ms 1.5ms 1.3MB 497ms 0ms v/clang 0.4.8
v 1.v 541ms 3.4ms 2.1MB 527ms 3ms v/clang+gc 0.4.8

Input: 250000

lang code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
ocaml 6.ml 38ms 0.2ms 7.4MB 27ms 0ms ocaml 5.2.1
v 1.v 56ms 0.9ms 1.3MB 50ms 0ms v/clang 0.4.8
v 1.v 57ms 1.0ms 2.1MB 47ms 0ms v/clang+gc 0.4.8

helloworld

Input: QwQ

lang code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
v 1.v 1.1ms 0.1ms 1.3MB 0ms 0ms v/clang 0.4.8
v 1.v 1.6ms 0.3ms 1.9MB 0ms 0ms v/clang+gc 0.4.8
ocaml 1.ml 1.8ms 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 183ms 10ms 6.4MB 170ms 0ms ocaml 5.2.1
v 1.v 239ms 2.0ms 1.3MB 230ms 0ms v/clang 0.4.8
v 1.v 259ms 4.5ms 2.1MB 250ms 0ms v/clang+gc 0.4.8

Input: 1000 3000000

lang code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
ocaml 1.ml 530ms 20ms 6.6MB 517ms 0ms ocaml 5.2.1
v 1.v 706ms 3.0ms 1.3MB 697ms 0ms v/clang 0.4.8
v 1.v 767ms 5.1ms 2.1MB 757ms 0ms v/clang+gc 0.4.8

Input: 100 500000

lang code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
ocaml 1.ml 78ms 2.4ms 5.9MB 67ms 0ms ocaml 5.2.1
v 1.v 92ms 1.4ms 1.3MB 80ms 0ms v/clang 0.4.8
v 1.v 101ms 1.3ms 2.1MB 90ms 0ms v/clang+gc 0.4.8

merkletrees

Input: 17

lang code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
ocaml 1.ml 1072ms 10ms 70.2MB 1030ms 27ms ocaml 5.2.1
ocaml 2.ml 2064ms 47ms 91.7MB 2007ms 43ms ocaml 5.2.1

Input: 15

lang code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
ocaml 1.ml 150ms 2.7ms 21.6MB 127ms 10ms ocaml 5.2.1
ocaml 2.ml 362ms 1.9ms 27.6MB 337ms 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 310ms 0.2ms 1.6MB 300ms 0ms v/clang 0.4.8
v 1.v 311ms 1.5ms 2.4MB 300ms 0ms v/clang+gc 0.4.8
ocaml 1.ml 374ms 0.9ms 5.2MB 363ms 0ms ocaml 5.2.1

Input: 500000

lang code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
v 1.v 34ms 0.5ms 1.8MB 27ms 0ms v/clang 0.4.8
v 1.v 34ms 0.4ms 2.4MB 23ms 0ms v/clang+gc 0.4.8
ocaml 1.ml 42ms 1.3ms 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 320ms 15ms 40.3MB 303ms 3ms v/clang 0.4.8
v 2.v 336ms 3.9ms 6.9MB 327ms 0ms v/clang+gc 0.4.8
v 1.v 356ms 8.0ms 41.2MB 343ms 0ms v/clang+gc 0.4.8
v 2.v 419ms 1.9ms 6.1MB 410ms 0ms v/clang 0.4.8
ocaml 1.ml 945ms 20ms 551.3MB 877ms 50ms ocaml 5.2.1
ocaml 2.ml 1910ms 4.6ms 18.3MB 1897ms 0ms ocaml 5.2.1

Input: 10

lang code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
v 1.v 58ms 1.6ms 11.0MB 47ms 0ms v/clang 0.4.8
v 1.v 63ms 1.1ms 11.9MB 50ms 0ms v/clang+gc 0.4.8
v 2.v 82ms 0.3ms 3.1MB 70ms 0ms v/clang+gc 0.4.8
v 2.v 105ms 1.0ms 2.4MB 93ms 0ms v/clang 0.4.8
ocaml 1.ml 201ms 5.9ms 142.1MB 173ms 10ms ocaml 5.2.1
ocaml 2.ml 471ms 2.4ms 9.1MB 460ms 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 timeout 0.0ms 484.9MB 4780ms 200ms ocaml 5.2.1
v 1.v timeout 0.0ms 83.0MB 4977ms 10ms v/clang+gc 0.4.8

Input: 250000_in

lang code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
ocaml 2.ml 533ms 28ms 57.1MB 490ms 27ms ocaml 5.2.1
v 1.v 3278ms 17ms 26.0MB 3260ms 0ms v/clang+gc 0.4.8

spectral-norm

Input: 8000

lang code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
ocaml 2.ml 4487ms 17ms 6.6MB 4477ms 0ms ocaml 5.2.1
v 1.v timeout 0.0ms 1.6MB 4990ms 0ms v/clang 0.4.8
v 1.v timeout 0.0ms 3.0MB 4990ms 0ms v/clang+gc 0.4.8

Input: 4000

lang code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
ocaml 2.ml 1126ms 6.0ms 5.9MB 1117ms 0ms ocaml 5.2.1
v 1.v 1281ms 4.1ms 1.5MB 1273ms 0ms v/clang 0.4.8
v 1.v 1313ms 9.0ms 2.6MB 1300ms 0ms v/clang+gc 0.4.8

Input: 2000

lang code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
ocaml 2.ml 284ms 2.2ms 5.2MB 270ms 0ms ocaml 5.2.1
v 1.v 324ms 1.5ms 1.5MB 310ms 0ms v/clang 0.4.8
v 1.v 334ms 1.2ms 2.5MB 323ms 0ms v/clang+gc 0.4.8