Acton VS Go benchmarks

Current benchmark data was generated on Sun Jul 13 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 1743ms 3.1ms 51.9MB 1723ms 10ms tinygo 0.38.0
go 1-m.go 2344ms 26ms 41.8MB 5190ms 40ms go 1.24.5
acton 1.act timeout 0.0ms 67.0MB 5860ms 97ms actonc 0.26.0

Input: 15

lang code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
go 1.go 148ms 3.7ms 5.0MB 140ms 0ms tinygo 0.38.0
go 1-m.go 208ms 2.6ms 8.0MB 370ms 7ms go 1.24.5
acton 1.act 825ms 34ms 12.1MB 950ms 67ms actonc 0.26.0

edigits

Input: 250001

lang code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
go 1.go 117ms 2.1ms 8.4MB 107ms 0ms go 1.24.5
acton 1.act 224ms 8.4ms 8.1MB 207ms 27ms actonc 0.26.0

Input: 100000

lang code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
go 1.go 35ms 1.1ms 8.2MB 30ms 0ms go 1.24.5
acton 1.act 76ms 3.4ms 6.0MB 60ms 17ms 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.6ms 0.1ms 0.3MB 0ms 0ms tinygo 0.38.0
go 1.go 1.4ms 0.1ms 3.4MB 0ms 0ms go 1.24.5
acton 1.act 3.5ms 0.2ms 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 1031ms 11ms 35.5MB 1010ms 7ms tinygo 0.38.0
go 2.go 1380ms 20ms 51.9MB 1357ms 7ms tinygo 0.38.0
go 1-m.go 1434ms 9.9ms 41.0MB 3033ms 40ms go 1.24.5
go 2-m.go 1649ms 21ms 51.2MB 3610ms 33ms go 1.24.5
acton 1.act 3273ms 16ms 84.5MB 3657ms 63ms actonc 0.26.0

Input: 15

lang code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
go 1.go 207ms 3.3ms 11.6MB 190ms 0ms tinygo 0.38.0
go 2.go 259ms 3.2ms 15.4MB 243ms 0ms tinygo 0.38.0
go 1-m.go 325ms 2.6ms 12.2MB 653ms 23ms go 1.24.5
go 2-m.go 368ms 1.3ms 14.3MB 783ms 17ms go 1.24.5
acton 1.act 700ms 14ms 23.8MB 760ms 37ms actonc 0.26.0

nsieve

Input: 12

lang code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
go 1.go 313ms 5.6ms 39.4MB 297ms 0ms tinygo 0.38.0
go 1.go 315ms 7.2ms 71.7MB 303ms 0ms go 1.24.5
go 2.go 470ms 3.6ms 20.0MB 457ms 0ms tinygo 0.38.0
go 2.go 784ms 5.0ms 21.8MB 773ms 7ms go 1.24.5
acton 1.act timeout 0.0ms 561.1MB 6640ms 77ms actonc 0.26.0

Input: 10

lang code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
go 1.go 63ms 3.8ms 21.6MB 53ms 0ms go 1.24.5
go 1.go 71ms 6.1ms 10.0MB 60ms 0ms tinygo 0.38.0
go 2.go 118ms 3.3ms 4.1MB 110ms 0ms tinygo 0.38.0
go 2.go 194ms 1.7ms 6.1MB 187ms 0ms go 1.24.5
acton 1.act 2437ms 22ms 192.3MB 2917ms 53ms actonc 0.26.0

pidigits

Input: 8000

lang code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
go 8.go 1128ms 11ms 8.6MB 1117ms 3ms go 1.24.5
acton 1-m.act 3537ms 106ms 6.7MB 3547ms 2483ms actonc 0.26.0

Input: 4000

lang code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
go 8.go 266ms 3.2ms 8.6MB 253ms 0ms go 1.24.5
acton 1-m.act 963ms 41ms 6.0MB 937ms 683ms actonc 0.26.0