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.
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 | |
| mandelbrot | ± | ± | 3× | |
| n-body | ± | 1/2 | ± | |
| reverse-complement | ± | 1/2 | ± | |
| fasta | ± | 1/2 | ± | |
| spectral-norm | 2× | ± | 2× | |
| binary-trees | 3× | ± | ± | |
| fannkuch | 5× | 1/2 | ± | |
| regex-dna | 7× | 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 ~ 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 |
|---|---|---|---|---|---|
| mandelbrot | |||||
| ATS | 22.06 | 5.55 | 28,160 | 2617 | 100% 100% 99% 99% |
| C++ GNU g++ | 24.69 | 6.18 | 28,844 | 858 | 99% 100% 100% 100% |
| n-body | |||||
| ATS | 24.91 | 24.90 | 452 | 1920 | 0% 100% 0% 0% |
| C++ GNU g++ | 23.82 | 23.82 | 784 | 1428 | 0% 100% 0% 0% |
| reverse-complement | |||||
| ATS | 1.18 | 1.18 | 122,636 | 1882 | 0% 4% 99% 0% |
| C++ GNU g++ | 1.26 | 0.88 | 245,440 | 2275 | 10% 17% 32% 86% |
| fasta | |||||
| ATS | 5.39 | 5.39 | 436 | 2102 | 99% 1% 0% 0% |
| C++ GNU g++ | 3.77 | 3.77 | 820 | 1470 | 0% 100% 0% 0% |
| spectral-norm | |||||
| ATS | 20.56 | 6.28 | 1,268 | 2204 | 83% 83% 86% 83% |
| C++ GNU g++ | 11.39 | 2.86 | 1,032 | 1278 | 100% 100% 100% 100% |
| binary-trees | |||||
| ATS | 16.87 | 16.87 | 132,040 | 926 | 0% 100% 0% 0% |
| C++ GNU g++ | 17.55 | 6.26 | 175,720 | 892 | 69% 68% 72% 63% |
| fannkuch | |||||
| ATS | 65.42 | 65.41 | 512 | 1157 | 37% 63% 0% 0% |
| C++ GNU g++ | 50.18 | 13.63 | 1,168 | 1186 | 68% 100% 100% 100% |
| regex-dna | |||||
| ATS | 32.63 | 32.63 | 168,220 | 2495 | 0% 100% 0% 0% |
| C++ GNU g++ | 14.57 | 4.82 | 91,828 | 1759 | 68% 86% 61% 88% |
| chameneos-redux | |||||
| C++ GNU g++ | 0.01 | 0.02 | ? | 1994 | 67% 50% 0% 67% |
| k-nucleotide | |||||
| ATS | |||||
| C++ GNU g++ | 0.20 | 0.14 | ? | 3416 | 45% 38% 75% 31% |
| pidigits | |||||
| ATS | |||||
| C++ GNU g++ | 0.09 | 0.09 | ? | 682 | 90% 0% 0% 0% |
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
0.1.7
Home Page: ATS -- unleashing the potential of types!