Programming Language and compiler
Benchmarks

OCaml VS Acton benchmarks

Current benchmark data was generated on Thu May 01 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
ocaml 1.ml 3316ms 13ms 157.1MB 3237ms 67ms ocaml 5.3.0
acton 1.act timeout 0.0ms 66.9MB 5943ms 87ms actonc 0.25.0

Input: 15

lang code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
ocaml 1.ml 247ms 3.4ms 19.1MB 233ms 0ms ocaml 5.3.0
acton 1.act 824ms 27ms 12.0MB 960ms 70ms actonc 0.25.0

fannkuch-redux

Input: 11

lang code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
ocaml 2.ml 2912ms 1.6ms 4.9MB 2900ms 0ms ocaml 5.3.0

Input: 10

lang code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
ocaml 2.ml 244ms 1.2ms 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 1.2ms 24.8MB 330ms 0ms ocaml 5.3.0

Input: 250000

lang code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
ocaml 6.ml 38ms 0.9ms 7.5MB 30ms 0ms ocaml 5.3.0

helloworld

Input: QwQ

lang code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
ocaml 1.ml 1.7ms 0.2ms 5.0MB 0ms 0ms ocaml 5.3.0
acton 1.act 3.8ms 0.3ms 3.9MB 0ms 0ms actonc 0.25.0

lru

Input: 1000 1000000

lang code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
ocaml 1.ml 180ms 3.9ms 6.4MB 167ms 0ms ocaml 5.3.0

Input: 1000 3000000

lang code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
ocaml 1.ml 539ms 20ms 6.6MB 530ms 0ms ocaml 5.3.0

Input: 100 500000

lang code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
ocaml 1.ml 77ms 1.5ms 5.9MB 70ms 0ms ocaml 5.3.0

merkletrees

Input: 17

lang code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
ocaml 1.ml 1072ms 7.8ms 70.2MB 1030ms 23ms ocaml 5.3.0
ocaml 2.ml 2063ms 33ms 91.7MB 2003ms 47ms ocaml 5.3.0
acton 1.act 3256ms 12ms 84.6MB 3660ms 60ms actonc 0.25.0

Input: 15

lang code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
ocaml 1.ml 144ms 1.3ms 21.6MB 130ms 3ms ocaml 5.3.0
ocaml 2.ml 352ms 1.6ms 27.7MB 333ms 7ms ocaml 5.3.0
acton 1.act 693ms 11ms 24.0MB 760ms 33ms actonc 0.25.0

nbody

Input: 5000000

lang code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
ocaml 1.ml 372ms 2.6ms 5.2MB 363ms 0ms ocaml 5.3.0

Input: 500000

lang code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
ocaml 1.ml 40ms 0.0ms 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
ocaml 1.ml 955ms 5.3ms 552.0MB 893ms 43ms ocaml 5.3.0
ocaml 2.ml 1880ms 9.6ms 17.1MB 1867ms 0ms ocaml 5.3.0
acton 1.act timeout 0.0ms 561.0MB 6610ms 93ms actonc 0.25.0

Input: 10

lang code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
ocaml 1.ml 185ms 5.7ms 139.6MB 163ms 10ms ocaml 5.3.0
ocaml 2.ml 469ms 4.3ms 9.1MB 457ms 0ms ocaml 5.3.0
acton 1.act 2441ms 6.0ms 192.4MB 2940ms 60ms actonc 0.25.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 4817ms 170ms ocaml 5.3.0

Input: 250000_in

lang code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
ocaml 2.ml 547ms 3.7ms 57.1MB 510ms 23ms ocaml 5.3.0

spectral-norm

Input: 8000

lang code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
ocaml 2.ml 4563ms 8.7ms 6.4MB 4553ms 0ms ocaml 5.3.0

Input: 4000

lang code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
ocaml 2.ml 1146ms 6.2ms 6.1MB 1137ms 0ms ocaml 5.3.0

Input: 2000

lang code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
ocaml 2.ml 293ms 2.5ms 5.2MB 283ms 0ms ocaml 5.3.0