Acton 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
acton 1.act timeout 0.0ms 67.1MB 5977ms 80ms actonc 0.24.1

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
acton 1.act 835ms 22ms 12.0MB 973ms 73ms actonc 0.24.1

edigits

Input: 250001

lang code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
acton 1.act 265ms 20ms 7.1MB 230ms 70ms actonc 0.24.1
v 1.v timeout 0.0ms 8.5MB 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 101ms 17ms 5.3MB 83ms 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.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
acton 1.act 3.6ms 0.3ms 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 13ms 102.0MB 3620ms 57ms actonc 0.24.1

Input: 15

lang code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
acton 1.act 715ms 22ms 30.5MB 753ms 33ms actonc 0.24.1

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
acton 1.act timeout 0.0ms 561.0MB 6737ms 120ms actonc 0.24.1

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
acton 1.act 2404ms 16ms 192.3MB 2937ms 40ms 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 3057ms 164ms 6.7MB 2860ms 2093ms actonc 0.24.1
v 2.v 3155ms 20ms 3.3MB 3133ms 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 782ms 3.8ms 2.6MB 773ms 0ms v/clang+gc 0.4.10
acton 1-m.act 870ms 31ms 5.7MB 770ms 633ms actonc 0.24.1