Programming Language and compiler
Benchmarks

Acton VS Go benchmarks

Current benchmark data was generated on Fri Aug 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 1726ms 16ms 51.9MB 1707ms 10ms tinygo 0.38.0
go 1-m.go 2343ms 11ms 41.9MB 5213ms 33ms go 1.24.5
acton 1.act timeout 0.0ms 67.2MB 5870ms 87ms actonc 0.26.0

Input: 15

lang code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
go 1.go 152ms 0.5ms 5.0MB 140ms 0ms tinygo 0.38.0
go 1-m.go 207ms 1.7ms 8.3MB 367ms 7ms go 1.24.5
acton 1.act 826ms 31ms 12.1MB 957ms 60ms 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.3ms 10.5MB 110ms 0ms go 1.24.5
acton 1.act 232ms 12ms 8.0MB 210ms 33ms actonc 0.26.0

Input: 100000

lang code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
go 1.go 33ms 0.4ms 8.2MB 23ms 0ms go 1.24.5
acton 1.act 73ms 0.7ms 6.0MB 60ms 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.8ms 0.1ms 0.3MB 0ms 0ms tinygo 0.38.0
go 1.go 1.5ms 0.1ms 3.4MB 0ms 0ms go 1.24.5
acton 1.act 3.6ms 0.1ms 4.4MB 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 1027ms 9.5ms 35.4MB 1010ms 0ms tinygo 0.38.0
go 2.go 1327ms 3.3ms 51.9MB 1307ms 10ms tinygo 0.38.0
go 1-m.go 1436ms 4.6ms 35.2MB 3040ms 37ms go 1.24.5
go 2-m.go 1649ms 17ms 40.9MB 3633ms 33ms go 1.24.5
acton 1.act 3354ms 208ms 84.5MB 3730ms 60ms actonc 0.26.0

Input: 15

lang code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
go 1.go 206ms 2.0ms 11.6MB 193ms 0ms tinygo 0.38.0
go 2.go 261ms 3.0ms 15.4MB 250ms 0ms tinygo 0.38.0
go 1-m.go 327ms 1.0ms 12.2MB 660ms 20ms go 1.24.5
go 2-m.go 368ms 1.6ms 14.0MB 770ms 27ms go 1.24.5
acton 1.act 703ms 20ms 23.8MB 760ms 40ms actonc 0.26.0

nsieve

Input: 12

lang code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
go 1.go 310ms 6.6ms 71.7MB 297ms 0ms go 1.24.5
go 1.go 312ms 4.6ms 39.4MB 300ms 0ms tinygo 0.38.0
go 2.go 470ms 3.8ms 20.0MB 460ms 0ms tinygo 0.38.0
go 2.go 787ms 2.0ms 21.8MB 777ms 10ms go 1.24.5
acton 1.act timeout 0.0ms 560.8MB 6650ms 90ms actonc 0.26.0

Input: 10

lang code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
go 1.go 63ms 1.9ms 21.6MB 57ms 0ms go 1.24.5
go 1.go 67ms 2.7ms 10.1MB 60ms 0ms tinygo 0.38.0
go 2.go 119ms 3.3ms 4.1MB 110ms 0ms tinygo 0.38.0
go 2.go 194ms 4.5ms 7.1MB 183ms 0ms go 1.24.5
acton 1.act 2393ms 5.2ms 192.5MB 2880ms 50ms actonc 0.26.0

pidigits

Input: 8000

lang code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
go 8.go 1120ms 3.1ms 10.7MB 1103ms 7ms go 1.24.5
acton 1-m.act 3528ms 126ms 6.8MB 3530ms 2533ms actonc 0.26.0

Input: 4000

lang code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
go 8.go 268ms 3.1ms 8.6MB 257ms 0ms go 1.24.5
acton 1-m.act 944ms 33ms 6.2MB 863ms 740ms actonc 0.26.0