Programming Language and compiler
Benchmarks

Acton VS Dart benchmarks

Current benchmark data was generated on Tue Dec 31 2024, 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
dart 1.dart 673ms 4.6ms 80.7MB 640ms 33ms dart/exe 3.6.0
acton 1.act timeout 0.0ms 68.8MB 5927ms 67ms actonc 0.24.1

Input: 15

lang code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
dart 1.dart 75ms 3.2ms 42.8MB 53ms 10ms dart/exe 3.6.0
acton 1.act 794ms 30ms 13.9MB 923ms 60ms actonc 0.24.1

edigits

Input: 250001

lang code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
acton 1.act 258ms 21ms 7.0MB 237ms 60ms actonc 0.24.1
dart 1.dart 3368ms 13ms 18.0MB 3330ms 33ms dart/exe 3.6.0

Input: 100000

lang code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
acton 1.act 90ms 2.2ms 7.2MB 73ms 33ms actonc 0.24.1
dart 1.dart 555ms 3.6ms 10.4MB 530ms 13ms dart/exe 3.6.0

helloworld

Input: QwQ

lang code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
dart 1.dart 3.6ms 0.1ms 6.3MB 0ms 0ms dart/exe 3.6.0
acton 1.act 3.6ms 0.3ms 4.1MB 0ms 0ms actonc 0.24.1

merkletrees

Input: 17

lang code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
dart 1.dart 307ms 2.2ms 63.6MB 277ms 27ms dart/exe 3.6.0
acton 1.act 3058ms 12ms 101.9MB 3330ms 47ms actonc 0.24.1

Input: 15

lang code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
dart 1.dart 80ms 0.2ms 43.6MB 60ms 10ms dart/exe 3.6.0
acton 1.act 676ms 47ms 32.3MB 707ms 20ms actonc 0.24.1

nsieve

Input: 12

lang code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
acton 1.act timeout 0.0ms 561.0MB 6733ms 113ms actonc 0.24.1

Input: 10

lang code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
acton 1.act 2260ms 73ms 229.8MB 2830ms 30ms actonc 0.24.1

pidigits

Input: 8000

lang code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
dart 2.dart 1183ms 10ms 14.5MB 1157ms 30ms dart/exe 3.6.0
acton 1-m.act 2853ms 97ms 8.6MB 2510ms 1970ms actonc 0.24.1

Input: 4000

lang code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
dart 2.dart 299ms 6.9ms 14.6MB 277ms 13ms dart/exe 3.6.0
acton 1-m.act 811ms 6.4ms 5.8MB 710ms 577ms actonc 0.24.1