Acton VS V 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
v 1.v 842ms 137ms 22.1MB 827ms 3ms v/clang+gc 0.4.9
v 1.v 2067ms 11ms 2086.6MB 1183ms 873ms v/clang 0.4.9
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
v 1.v 79ms 18ms 4.6MB 70ms 0ms v/clang+gc 0.4.9
v 1.v 201ms 4.3ms 198.0MB 103ms 77ms v/clang 0.4.9
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
v 1.v timeout 0.0ms 23.6MB 4983ms 3ms v/clang+gc 0.4.9

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
v 1.v timeout 0.0ms 13.9MB 4983ms 0ms v/clang+gc 0.4.9

helloworld

Input: QwQ

lang code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
v 1.v 0.9ms 0.0ms 1.4MB 0ms 0ms v/clang 0.4.9
v 1.v 1.4ms 0.1ms 1.9MB 0ms 0ms v/clang+gc 0.4.9
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
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
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
v 1.v 272ms 1.7ms 40.3MB 257ms 0ms v/clang 0.4.9
v 1.v 288ms 6.7ms 60.7MB 273ms 0ms v/clang+gc 0.4.9
v 2.v 311ms 1.4ms 6.2MB 300ms 0ms v/clang 0.4.9
v 2.v 318ms 2.2ms 6.9MB 307ms 0ms v/clang+gc 0.4.9
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
v 1.v 57ms 3.8ms 11.0MB 50ms 0ms v/clang 0.4.9
v 1.v 59ms 0.8ms 19.9MB 50ms 0ms v/clang+gc 0.4.9
v 2.v 77ms 1.9ms 2.4MB 70ms 0ms v/clang 0.4.9
v 2.v 77ms 1.6ms 3.1MB 70ms 0ms v/clang+gc 0.4.9
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
acton 1-m.act 2853ms 97ms 8.6MB 2510ms 1970ms actonc 0.24.1
v 2.v timeout 0.0ms 7.8MB 4973ms 10ms v/clang+gc 0.4.9

Input: 4000

lang code time stddev peak-mem mem time(user) time(sys) compiler compiler/runtime
v 2.v 749ms 2.2ms 2.6MB 733ms 3ms v/clang+gc 0.4.9
acton 1-m.act 811ms 6.4ms 5.8MB 710ms 577ms actonc 0.24.1