Step 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.
Step 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 |
| mandelbrot | ± | ± | 3× | |
| n-body | ± | 1/2 | ± | |
| reverse-complement | ± | 1/2 | ± | |
| binary-trees | ± | ± | ± | |
| pidigits | ± | ± | ± | |
| fannkuch | ± | 1/2 | ± | |
| fasta | ± | 1/2 | 2× | |
| spectral-norm | 2× | ± | 2× | |
| regex-dna | 2× | 2× | ± | |
± 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.
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 |
|---|---|---|---|---|---|
| mandelbrot | |||||
| ATS | 22.07 | 22.07 | 30,588 | 2780 | 11% 1% 0% 100% |
| C++ GNU g++ | 24.55 | 24.55 | 30,564 | 858 | 0% 0% 0% 100% |
| n-body | |||||
| ATS | 24.85 | 24.85 | 456 | 2088 | 0% 1% 0% 100% |
| C++ GNU g++ | 23.81 | 23.81 | 788 | 1428 | 0% 1% 0% 100% |
| reverse-complement | |||||
| ATS | 1.18 | 1.19 | 122,628 | 2077 | 1% 0% 1% 99% |
| C++ GNU g++ | 1.12 | 1.12 | 245,432 | 2275 | 1% 0% 1% 100% |
| binary-trees | |||||
| ATS | 16.87 | 16.87 | 132,040 | 1060 | 0% 0% 0% 100% |
| C++ GNU g++ | 13.47 | 13.47 | 148,652 | 892 | 0% 0% 0% 100% |
| pidigits | |||||
| ATS | 3.48 | 3.47 | 1,076 | 1008 | 0% 0% 0% 100% |
| C++ GNU g++ | 2.71 | 2.71 | 1,596 | 682 | 0% 0% 1% 100% |
| fannkuch | |||||
| ATS | 66.58 | 66.58 | 508 | 1191 | 0% 0% 0% 100% |
| C++ GNU g++ | 50.01 | 50.01 | 1,124 | 1186 | 0% 0% 0% 100% |
| fasta | |||||
| ATS | 5.38 | 5.38 | 432 | 2257 | 0% 0% 0% 100% |
| C++ GNU g++ | 3.76 | 3.77 | 816 | 1470 | 0% 0% 0% 100% |
| spectral-norm | |||||
| ATS | 20.66 | 20.66 | 1,280 | 2339 | 0% 1% 0% 100% |
| C++ GNU g++ | 11.94 | 11.94 | 1,004 | 1114 | 0% 0% 1% 100% |
| regex-dna | |||||
| ATS | 32.78 | 32.78 | 176,000 | 2551 | 0% 0% 0% 100% |
| C++ GNU g++ | 14.19 | 14.19 | 100,332 | 1759 | 0% 0% 0% 100% |
| k-nucleotide | |||||
| ATS | |||||
| chameneos-redux | |||||
Measurements for all the accepted programs
ATS : dependent types & linear types plus theorem proving
0.1.6
Home Page: ATS -- unleashing the potential of types!