Step 1 : Are the ATS programs faster? At a glance.
This chart shows 3 comparisons - Time-used, Memory-used and Code-used ~ speed and size.
Each chart bar shows, for one unidentified benchmark, how much the fastest ATS program used compared to the fastest C++ GNU g++ program.
Look at speed another way - look at a box plot of Time-used data.
Step 2 : Are the ATS programs faster? Approximately.
This table shows 3 comparisons - Time-used, Memory-used and Code-used ~ speed and size.
Each table row shows, for one named benchmark, how much the fastest ATS program used compared to the fastest C++ GNU g++ program.
| ATS used what fraction? used how many times more? | ||||
|---|---|---|---|---|
| Benchmark | Time | Memory | Code | |
| binary-trees | ± | ± | 2× | |
| pidigits | ± | 1/2 | ± | |
| fasta | ± | ± | 2× | |
| mandelbrot | ± | ± | 2× | |
| fasta-redux | ± | 1/2 | 2× | |
| n-body | ± | ± | ± | |
| spectral-norm | ± | ± | 2× | |
| reverse-complement | ± | 1/2 | ± | |
| regex-dna | 2× | ± | 5× | |
| fannkuch-redux | 4× | 1/4 | ± | |
| k-nucleotide | 8× | ± | ± | |
| ATS used what fraction? used how many times more? | |||||||
|---|---|---|---|---|---|---|---|
| Time-used | |- | |--- | 25% | median | 75% | ---| | -| |
| (Elapsed secs) | ± | ± | ± | ± | 2× | 2× | 8× |
± read the measurements and then read the program source code.
Step 3 : Are the ATS programs faster? Measurements.
This table shows 5 measurements - CPU Time, Elapsed Time, Memory, Code and ≈ CPU Load ~ speed and size.
For each named benchmark, measurements of the fastest ATS program are shown for comparison against measurements of the fastest C++ GNU g++ program.
| Program Source Code | CPU secs | Elapsed secs | Memory KB | Code B | ≈ CPU Load |
|---|---|---|---|---|---|
| binary-trees | |||||
| ATS | 18.85 | 6.39 | 328,228 | 2143 | 63% 99% 54% 83% |
| C++ GNU g++ | 27.33 | 8.93 | 360,432 | 892 | 64% 87% 62% 96% |
| pidigits | |||||
| ATS | 1.89 | 1.89 | 808 | 942 | 1% 0% 1% 99% |
| C++ GNU g++ | 2.29 | 2.30 | 1,644 | 682 | 0% 0% 0% 100% |
| fasta | |||||
| ATS | 5.24 | 5.25 | 328 | 2102 | 0% 1% 0% 100% |
| C++ GNU g++ | 6.16 | 6.17 | 356 | 1266 | 0% 100% 0% 0% |
| mandelbrot | |||||
| ATS | 23.14 | 5.80 | 28,160 | 2148 | 100% 100% 100% 100% |
| C++ GNU g++ | 24.31 | 6.11 | 32,296 | 1017 | 100% 100% 100% 100% |
| fasta-redux | |||||
| ATS | 2.00 | 2.00 | 332 | 2593 | 0% 0% 1% 100% |
| C++ GNU g++ | 2.00 | 2.00 | 820 | 1474 | 0% 100% 0% 1% |
| n-body | |||||
| ATS | 20.41 | 20.41 | 352 | 1920 | 0% 0% 0% 100% |
| C++ GNU g++ | 19.30 | 19.31 | 428 | 1659 | 0% 100% 0% 0% |
| spectral-norm | |||||
| ATS | 10.61 | 2.90 | 644 | 2507 | 99% 89% 78% 98% |
| C++ GNU g++ | 10.02 | 2.52 | 504 | 1044 | 100% 100% 100% 100% |
| reverse-complement | |||||
| ATS | 0.89 | 0.89 | 120,564 | 1895 | 0% 0% 1% 100% |
| C++ GNU g++ | 1.06 | 0.68 | 245,712 | 2275 | 54% 50% 18% 37% |
| regex-dna | |||||
| ATS | 26.05 | 6.97 | 226,208 | 3461 | 94% 92% 94% 97% |
| C++ GNU g++ | 5.65 | 4.11 | 163,956 | 695 | 38% 76% 23% 2% |
| fannkuch-redux | |||||
| ATS | 49.07 | 49.08 | 328 | 1306 | 0% 0% 100% 0% |
| C++ GNU g++ | 50.35 | 12.87 | 1,240 | 1440 | 100% 94% 100% 98% |
| k-nucleotide | |||||
| ATS | 87.52 | 24.21 | 177,600 | 3810 | 93% 87% 93% 88% |
| C++ GNU g++ | 10.32 | 2.97 | 139,016 | 3415 | 84% 99% 85% 82% |
Step 4 : Are there other ATS programs for these benchmarks?
Remember - those are just the fastest ATS and C++ GNU g++ programs measured on this OS/machine. Check if there are other implementations of these benchmark programs for ATS.
Maybe one of those other ATS programs is fastest on a different OS/machine.
Step 5 : Are there other faster programs for these benchmarks?
Remember - those are just the fastest ATS and C++ GNU g++ programs measured on this OS/machine. Check if there are faster implementations of these benchmark programs for other programming languages.
Maybe one of those other programs is fastest on a different OS/machine.
ATS : dependent types & linear types plus theorem proving
online book Programming in ATS
ATS/Anairiats version 0.2.6
Home Page: ATS -- unleashing the potential of types!