Programming Language and compiler
Benchmarks

Acton VS V benchmarks

Current benchmark data was generated on Tue Apr 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
v 1.v 785ms 6.7ms 22.1MB 770ms 0ms v/clang+gc 0.4.10
v 1.v 2195ms 13ms 2086.5MB 1297ms 880ms v/clang 0.4.10
acton 1.act timeout 0.0ms 67.1MB 5980ms 87ms actonc 0.24.1

Input: 15

lang code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
v 1.v 71ms 1.8ms 4.6MB 60ms 0ms v/clang+gc 0.4.10
v 1.v 211ms 4.1ms 197.8MB 113ms 83ms v/clang 0.4.10
acton 1.act 838ms 21ms 12.0MB 960ms 83ms actonc 0.24.1

edigits

Input: 250001

lang code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
acton 1.act 275ms 16ms 7.0MB 240ms 80ms actonc 0.24.1
v 1.v timeout 0.0ms 8.4MB 4990ms 0ms v/clang+gc 0.4.10

Input: 100000

lang code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
acton 1.act 92ms 7.6ms 5.2MB 77ms 27ms actonc 0.24.1
v 1.v timeout 0.0ms 4.8MB 4990ms 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.0ms 0.0ms 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
acton 1.act 3.7ms 0.2ms 3.9MB 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 3317ms 14ms 101.9MB 3623ms 50ms actonc 0.24.1

Input: 15

lang code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
acton 1.act 708ms 5.3ms 30.5MB 750ms 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 305ms 9.1ms 40.2MB 290ms 0ms v/clang 0.4.10
v 1.v 318ms 13ms 41.1MB 303ms 0ms v/clang+gc 0.4.10
v 2.v 331ms 1.6ms 6.9MB 320ms 0ms v/clang+gc 0.4.10
v 2.v 334ms 5.2ms 6.1MB 323ms 0ms v/clang 0.4.10
acton 1.act timeout 0.0ms 561.0MB 6787ms 93ms actonc 0.24.1

Input: 10

lang code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
v 1.v 60ms 1.3ms 11.0MB 50ms 0ms v/clang 0.4.10
v 1.v 67ms 3.7ms 11.7MB 57ms 0ms v/clang+gc 0.4.10
v 2.v 82ms 1.3ms 2.5MB 73ms 0ms v/clang 0.4.10
v 2.v 82ms 1.1ms 3.1MB 70ms 0ms v/clang+gc 0.4.10
acton 1.act 2360ms 5.2ms 192.3MB 2893ms 43ms 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 2985ms 56ms 6.6MB 2847ms 2003ms actonc 0.24.1
v 2.v 3265ms 91ms 3.3MB 3247ms 7ms v/clang+gc 0.4.10

Input: 4000

lang code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
v 2.v 802ms 15ms 2.6MB 790ms 0ms v/clang+gc 0.4.10
acton 1-m.act 857ms 16ms 5.9MB 780ms 613ms actonc 0.24.1