Programming Language and compiler
Benchmarks

Acton VS Go benchmarks

Current benchmark data was generated on Tue Jul 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
go 1.go 1928ms 4.1ms 51.9MB 1907ms 7ms tinygo 0.38.0
go 1-m.go 2394ms 16ms 46.3MB 5317ms 47ms go 1.24.4
acton 1.act timeout 0.0ms 67.0MB 5903ms 87ms actonc 0.26.0

Input: 15

lang code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
go 1.go 150ms 1.6ms 5.0MB 140ms 0ms tinygo 0.38.0
go 1-m.go 209ms 0.3ms 8.0MB 367ms 13ms go 1.24.4
acton 1.act 825ms 24ms 12.1MB 950ms 73ms actonc 0.26.0

edigits

Input: 250001

lang code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
go 1.go 118ms 0.0ms 8.6MB 110ms 0ms go 1.24.4
acton 1.act 227ms 8.3ms 8.0MB 210ms 30ms actonc 0.26.0

Input: 100000

lang code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
go 1.go 34ms 0.5ms 8.2MB 30ms 0ms go 1.24.4
acton 1.act 84ms 19ms 5.9MB 70ms 10ms actonc 0.26.0

helloworld

Input: QwQ

lang code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
go 1.go 0.7ms 0.0ms 0.3MB 0ms 0ms tinygo 0.38.0
go 1.go 1.5ms 0.0ms 3.4MB 0ms 0ms go 1.24.4
acton 1.act 3.5ms 0.3ms 4.3MB 0ms 0ms actonc 0.26.0

merkletrees

Input: 17

lang code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
go 1.go 1100ms 7.0ms 35.5MB 1080ms 7ms tinygo 0.38.0
go 2.go 1430ms 21ms 51.9MB 1407ms 7ms tinygo 0.38.0
go 1-m.go 1489ms 1.4ms 49.0MB 3160ms 40ms go 1.24.4
go 2-m.go 1716ms 9.3ms 43.0MB 3753ms 40ms go 1.24.4
acton 1.act 3298ms 25ms 84.6MB 3703ms 53ms actonc 0.26.0

Input: 15

lang code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
go 1.go 220ms 9.6ms 11.6MB 207ms 0ms tinygo 0.38.0
go 2.go 293ms 9.9ms 15.4MB 280ms 0ms tinygo 0.38.0
go 1-m.go 335ms 1.4ms 12.1MB 673ms 23ms go 1.24.4
go 2-m.go 376ms 1.7ms 13.9MB 793ms 20ms go 1.24.4
acton 1.act 725ms 34ms 23.8MB 793ms 33ms actonc 0.26.0

nsieve

Input: 12

lang code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
go 1.go 339ms 8.4ms 71.7MB 323ms 3ms go 1.24.4
go 1.go 359ms 47ms 39.4MB 343ms 0ms tinygo 0.38.0
go 2.go 470ms 2.5ms 20.0MB 457ms 0ms tinygo 0.38.0
go 2.go 750ms 9.1ms 21.6MB 737ms 7ms go 1.24.4
acton 1.act timeout 0.0ms 560.9MB 6637ms 83ms actonc 0.26.0

Input: 10

lang code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
go 1.go 58ms 2.1ms 21.6MB 50ms 0ms go 1.24.4
go 1.go 68ms 2.4ms 10.1MB 60ms 0ms tinygo 0.38.0
go 2.go 119ms 5.6ms 4.1MB 107ms 0ms tinygo 0.38.0
go 2.go 185ms 0.8ms 6.3MB 173ms 0ms go 1.24.4
acton 1.act 2432ms 20ms 192.5MB 2923ms 63ms actonc 0.26.0

pidigits

Input: 8000

lang code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
go 8.go 1207ms 7.6ms 8.6MB 1193ms 0ms go 1.24.4
acton 1-m.act 3388ms 212ms 6.8MB 3370ms 2387ms actonc 0.26.0

Input: 4000

lang code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
go 8.go 283ms 3.4ms 8.6MB 270ms 0ms go 1.24.4
acton 1-m.act 948ms 42ms 6.1MB 900ms 703ms actonc 0.26.0