Programming Language and compiler
Benchmarks

Acton VS V benchmarks

Current benchmark data was generated on Wed Jan 22 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 780ms 6.7ms 22.1MB 760ms 0ms v/clang+gc 0.4.9
v 1.v 2142ms 22ms 2086.6MB 1273ms 850ms v/clang 0.4.9
acton 1.act timeout 0.0ms 69.0MB 5947ms 107ms actonc 0.24.1

Input: 15

lang code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
v 1.v 70ms 2.4ms 4.6MB 57ms 0ms v/clang+gc 0.4.9
v 1.v 208ms 1.3ms 197.5MB 120ms 70ms v/clang 0.4.9
acton 1.act 840ms 40ms 12.0MB 967ms 77ms actonc 0.24.1

edigits

Input: 250001

lang code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
acton 1.act 269ms 4.3ms 8.1MB 247ms 63ms actonc 0.24.1
v 1.v timeout 0.0ms 28.3MB 4980ms 3ms v/clang+gc 0.4.9

Input: 100000

lang code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
acton 1.act 100ms 2.2ms 7.2MB 80ms 37ms actonc 0.24.1
v 1.v timeout 0.0ms 13.1MB 4990ms 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 1.0ms 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
acton 1.act 3.8ms 0.3ms 8.3MB 0ms 0ms actonc 0.24.1

merkletrees

Input: 17

lang code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
acton 1.act 3246ms 7.1ms 101.8MB 3543ms 43ms actonc 0.24.1

Input: 15

lang code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
acton 1.act 691ms 2.3ms 32.5MB 723ms 30ms actonc 0.24.1

nsieve

Input: 12

lang code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
v 1.v 299ms 8.0ms 60.6MB 283ms 0ms v/clang+gc 0.4.9
v 1.v 303ms 2.9ms 40.3MB 287ms 0ms v/clang 0.4.9
v 2.v 327ms 4.7ms 6.9MB 313ms 0ms v/clang+gc 0.4.9
v 2.v 328ms 1.7ms 6.1MB 310ms 3ms v/clang 0.4.9
acton 1.act timeout 0.0ms 561.0MB 6750ms 100ms actonc 0.24.1

Input: 10

lang code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
v 1.v 58ms 0.9ms 11.9MB 47ms 0ms v/clang+gc 0.4.9
v 1.v 62ms 2.2ms 11.0MB 50ms 0ms v/clang 0.4.9
v 2.v 80ms 0.6ms 3.1MB 70ms 0ms v/clang+gc 0.4.9
v 2.v 80ms 0.9ms 2.4MB 70ms 0ms v/clang 0.4.9
acton 1.act 2338ms 14ms 192.4MB 2857ms 37ms actonc 0.24.1

pidigits

Input: 8000

lang code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
acton 1-m.act 3163ms 97ms 6.7MB 2887ms 2157ms actonc 0.24.1
v 2.v timeout 0.0ms 7.8MB 4980ms 7ms v/clang+gc 0.4.9

Input: 4000

lang code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
v 2.v 802ms 8.1ms 2.6MB 783ms 3ms v/clang+gc 0.4.9
acton 1-m.act 868ms 4.4ms 7.5MB 770ms 610ms actonc 0.24.1