Programming Language and compiler
Benchmarks

Acton VS Go benchmarks

Current benchmark data was generated on Sun Jun 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 1201ms 11ms 55.0MB 1180ms 10ms tinygo 0.37.0
go 1-m.go 2364ms 13ms 41.9MB 5290ms 33ms go 1.24.3
acton 1.act timeout 0.0ms 67.0MB 5877ms 77ms actonc 0.25.0

Input: 15

lang code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
go 1.go 113ms 2.0ms 5.6MB 100ms 0ms tinygo 0.37.0
go 1-m.go 209ms 2.8ms 8.1MB 367ms 10ms go 1.24.3
acton 1.act 814ms 23ms 12.0MB 937ms 67ms actonc 0.25.0

edigits

Input: 250001

lang code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
go 1.go 117ms 0.4ms 8.8MB 110ms 0ms go 1.24.3
acton 1.act 220ms 2.2ms 8.0MB 197ms 33ms actonc 0.25.0

Input: 100000

lang code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
go 1.go 34ms 1.3ms 8.4MB 27ms 0ms go 1.24.3
acton 1.act 77ms 8.3ms 6.0MB 57ms 20ms actonc 0.25.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.4MB 0ms 0ms tinygo 0.37.0
go 1.go 1.4ms 0.0ms 3.4MB 0ms 0ms go 1.24.3
acton 1.act 3.4ms 0.3ms 3.9MB 0ms 0ms actonc 0.25.0

merkletrees

Input: 17

lang code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
go 1.go 877ms 10ms 63.2MB 857ms 10ms tinygo 0.37.0
go 2.go 1100ms 11ms 55.0MB 1080ms 10ms tinygo 0.37.0
go 1-m.go 1481ms 35ms 41.1MB 3197ms 37ms go 1.24.3
go 2-m.go 1665ms 17ms 43.1MB 3667ms 40ms go 1.24.3
acton 1.act 3258ms 55ms 84.4MB 3627ms 60ms actonc 0.25.0

Input: 15

lang code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
go 1.go 173ms 0.8ms 9.8MB 160ms 0ms tinygo 0.37.0
go 2.go 205ms 6.1ms 17.1MB 190ms 0ms tinygo 0.37.0
go 1-m.go 333ms 1.3ms 12.2MB 673ms 23ms go 1.24.3
go 2-m.go 373ms 2.6ms 13.9MB 797ms 23ms go 1.24.3
acton 1.act 697ms 11ms 23.8MB 757ms 33ms actonc 0.25.0

nsieve

Input: 12

lang code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
go 1.go 277ms 8.7ms 39.8MB 267ms 0ms tinygo 0.37.0
go 1.go 291ms 2.9ms 71.6MB 277ms 3ms go 1.24.3
go 2.go 424ms 4.8ms 21.3MB 413ms 0ms tinygo 0.37.0
go 2.go 739ms 2.5ms 21.6MB 723ms 10ms go 1.24.3
acton 1.act timeout 0.0ms 560.9MB 6633ms 100ms actonc 0.25.0

Input: 10

lang code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
go 1.go 57ms 1.1ms 10.3MB 50ms 0ms tinygo 0.37.0
go 1.go 58ms 2.3ms 21.6MB 50ms 0ms go 1.24.3
go 2.go 107ms 2.9ms 4.9MB 97ms 0ms tinygo 0.37.0
go 2.go 180ms 1.4ms 5.9MB 170ms 0ms go 1.24.3
acton 1.act 2432ms 41ms 229.8MB 2987ms 43ms actonc 0.25.0

pidigits

Input: 8000

lang code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
go 8.go 1178ms 8.3ms 8.6MB 1163ms 7ms go 1.24.3
acton 1-m.act 3374ms 156ms 6.8MB 3427ms 2370ms actonc 0.25.0

Input: 4000

lang code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
go 8.go 276ms 1.1ms 8.6MB 267ms 0ms go 1.24.3
acton 1-m.act 965ms 82ms 6.1MB 883ms 747ms actonc 0.25.0