Programming Language and compiler
Benchmarks

Acton VS Dart benchmarks

Current benchmark data was generated on Sun Dec 01 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 756ms 4.2ms 80.6MB 723ms 37ms dart/exe 3.5.4
acton 1.act timeout 0.0ms 67.0MB 5933ms 90ms actonc 0.24.1

Input: 15

lang code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
dart 1.dart 79ms 0.9ms 42.5MB 53ms 13ms dart/exe 3.5.4
acton 1.act 842ms 30ms 12.1MB 970ms 73ms actonc 0.24.1

edigits

Input: 250001

lang code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
acton 1.act 262ms 23ms 8.7MB 243ms 53ms actonc 0.24.1
dart 1.dart 3594ms 14ms 17.8MB 3547ms 43ms dart/exe 3.5.4

Input: 100000

lang code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
acton 1.act 95ms 11ms 5.5MB 73ms 30ms actonc 0.24.1
dart 1.dart 584ms 4.5ms 10.1MB 560ms 17ms dart/exe 3.5.4

helloworld

Input: QwQ

lang code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
dart 1.dart 4.1ms 0.2ms 6.1MB 0ms 0ms dart/exe 3.5.4
acton 1.act 4.2ms 0.4ms 4.0MB 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 329ms 3.4ms 63.5MB 303ms 27ms dart/exe 3.5.4
acton 1.act 3348ms 28ms 104.1MB 3660ms 47ms actonc 0.24.1

Input: 15

lang code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
dart 1.dart 86ms 1.2ms 43.4MB 60ms 17ms dart/exe 3.5.4
acton 1.act 727ms 21ms 30.5MB 773ms 23ms 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 6780ms 90ms actonc 0.24.1

Input: 10

lang code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
acton 1.act 2372ms 19ms 192.6MB 2880ms 53ms actonc 0.24.1

pidigits

Input: 8000

lang code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
dart 2.dart 1243ms 4.1ms 15.0MB 1203ms 40ms dart/exe 3.5.4
acton 1-m.act 3055ms 71ms 6.1MB 2737ms 2097ms actonc 0.24.1

Input: 4000

lang code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
dart 2.dart 318ms 3.7ms 15.0MB 297ms 17ms dart/exe 3.5.4
acton 1-m.act 882ms 34ms 7.6MB 747ms 613ms actonc 0.24.1