1 : Are the ATS programs faster? At a glance.
This chart shows 3 comparisons - Time-used, Memory-used and Code-used.
Each chart bar shows, for one unidentified benchmark, how much the fastest ATS program used compared to the fastest C++ GNU g++ program.
2 : Are the ATS programs faster? Approximately.
This table shows 3 comparisons - Time-used, Memory-used and Code-used.
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 | Reduced N |
| pidigits | ± | ± | ± | |
| n-body | ± | 1/2 | ± | |
| mandelbrot | ± | ± | 3× | |
| reverse-complement | ± | 1/2 | ± | |
| binary-trees | 2× | 1/2 | ± | |
| spectral-norm | 2× | ± | 2× | |
| fasta | 2× | 1/2 | 2× | |
| fannkuch | 4× | 1/2 | ± | |
| regex-dna | 6× | 2× | 2× | |
| k-nucleotide | 7× | ± | 1/2 | |
± read the measurements and then read the program source code.
3 : Are the ATS programs faster? Measurements.
This table shows 5 measurements - CPU Time, Elapsed Time, Memory, Code and ~ CPU Load.
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 |
|---|---|---|---|---|---|
| pidigits | |||||
| ATS | 3.80 | 3.80 | 1,184 | 1008 | 100% 0% 1% 0% |
| C++ GNU g++ | 3.79 | 3.79 | 1,696 | 682 | 0% 100% 0% 0% |
| n-body | |||||
| ATS | 21.83 | 21.83 | 528 | 2088 | 0% 0% 100% 0% |
| C++ GNU g++ | 20.57 | 20.56 | 932 | 1428 | 0% 0% 0% 100% |
| mandelbrot | |||||
| ATS | 28.01 | 7.02 | 29,016 | 2780 | 100% 100% 100% 100% |
| C++ GNU g++ | 25.04 | 6.29 | 28,824 | 858 | 99% 99% 100% 100% |
| reverse-complement | |||||
| ATS | 1.04 | 1.04 | 122,696 | 2077 | 0% 0% 0% 100% |
| C++ GNU g++ | 1.21 | 0.85 | 245,644 | 2275 | 37% 13% 80% 14% |
| binary-trees | |||||
| ATS | 16.34 | 16.36 | 198,424 | 1060 | 0% 0% 100% 0% |
| C++ GNU g++ | 28.55 | 9.01 | 357,820 | 892 | 71% 62% 95% 82% |
| spectral-norm | |||||
| ATS | 22.06 | 5.96 | 1,656 | 2339 | 92% 92% 93% 93% |
| C++ GNU g++ | 11.89 | 2.99 | 1,196 | 1114 | 100% 99% 99% 99% |
| fasta | |||||
| ATS | 5.19 | 5.19 | 508 | 2257 | 0% 2% 98% 1% |
| C++ GNU g++ | 2.26 | 2.26 | 964 | 1470 | 100% 0% 1% 0% |
| fannkuch | |||||
| ATS | 59.90 | 59.90 | 592 | 1191 | 100% 0% 0% 0% |
| C++ GNU g++ | 49.75 | 13.74 | 1,300 | 1186 | 80% 76% 100% 100% |
| regex-dna | |||||
| ATS | 31.70 | 31.70 | 172,412 | 2551 | 0% 0% 100% 0% |
| C++ GNU g++ | 18.37 | 5.04 | 97,464 | 1588 | 87% 96% 90% 91% |
| k-nucleotide | |||||
| ATS | 36.73 | 36.73 | 125,868 | 1336 | 100% 0% 0% 0% |
| C++ GNU g++ | 20.27 | 5.54 | 177,148 | 2673 | 99% 88% 90% 93% |
| chameneos-redux | |||||
ATS : dependent types & linear types plus theorem proving
0.1.6
Home Page: ATS -- unleashing the potential of types!
