1 : Are the ATS programs faster? At a glance.
Each chart bar shows, for one unidentified benchmark, how much the fastest ATS program used compared to the fastest C gcc program.
These are not the only compilers and interpreters. These are not the only programs that could be written. These are not the only tasks that could be solved. These are just 10 tiny examples.
2 : Are the ATS programs faster? Approximately.
Each table row shows, for one named benchmark, how much the fastest ATS program used compared to the fastest C gcc program.
| ATS used what fraction? used how many times more? | ||||
|---|---|---|---|---|
| Benchmark | Time | Memory | Code | |
| k-nucleotide | ± | ± | ± | |
| fasta | ± | ± | 2× | |
| mandelbrot | ± | ± | 3× | |
| pidigits | ± | ± | 2× | |
| fasta-redux | ± | ± | 2× | |
| reverse-complement | ± | 1/2 | 3× | |
| spectral-norm | ± | ± | 4× | |
| binary-trees | ± | 2× | 3× | |
| n-body | 2× | ± | ± | |
| fannkuch-redux | 2× | ± | ± | |
| regex-dna | 5× | 1/2 | ± | |
| ATS used what fraction? used how many times more? | |||||||
|---|---|---|---|---|---|---|---|
| Time-used | |- | |--- | 25% | median | 75% | ---| | -| |
| (Elapsed secs) | ± | ± | ± | ± | 2× | 3× | 5× |
± read the measurements and then read the program source code.
3 : Are the ATS programs faster? Measurements.
These are not the only tasks that could be solved. These are just 10 tiny examples. These are not the only compilers and interpreters. These are not the only programs that could be written.
For each named benchmark, measurements of the fastest ATS program are shown for comparison against measurements of the fastest C gcc program.
| Program Source Code | CPU secs | Elapsed secs | Memory KB | Code B | ≈ CPU Load |
|---|---|---|---|---|---|
| k-nucleotide | |||||
| ATS | 32.15 | 32.17 | 124,132 | 3238 | 0% 0% 0% 100% |
| C gcc | 37.52 | 37.56 | 153,424 | 2280 | 0% 0% 0% 100% |
| fasta | |||||
| ATS | 5.20 | 5.20 | 288 | 2104 | 0% 1% 0% 100% |
| C gcc | 4.92 | 4.93 | 292 | 1221 | 0% 1% 1% 100% |
| mandelbrot | |||||
| ATS | 24.65 | 24.66 | 30,148 | 2148 | 0% 0% 0% 100% |
| C gcc | 23.22 | 23.23 | 30,432 | 799 | 0% 0% 0% 100% |
| pidigits | |||||
| ATS | 2.73 | 2.73 | 860 | 942 | 0% 1% 0% 100% |
| C gcc | 2.49 | 2.50 | 860 | 448 | 0% 0% 1% 100% |
| fasta-redux | |||||
| ATS | 1.96 | 1.96 | 288 | 2593 | 0% 1% 1% 100% |
| C gcc | 1.67 | 1.67 | 292 | 1321 | 0% 1% 1% 100% |
| reverse-complement | |||||
| ATS | 1.07 | 1.08 | 122,596 | 1895 | 0% 1% 0% 100% |
| C gcc | 0.82 | 0.83 | 248,636 | 741 | 0% 1% 2% 100% |
| spectral-norm | |||||
| ATS | 10.60 | 10.60 | 608 | 2507 | 1% 0% 0% 100% |
| C gcc | 7.86 | 7.86 | 644 | 569 | 0% 0% 0% 100% |
| binary-trees | |||||
| ATS | 17.73 | 17.75 | 197,256 | 2143 | 0% 0% 0% 100% |
| C gcc | 12.86 | 12.87 | 99,448 | 850 | 0% 0% 1% 100% |
| n-body | |||||
| ATS | 20.65 | 20.65 | 320 | 1920 | 0% 1% 0% 100% |
| C gcc | 9.08 | 9.09 | 336 | 1490 | 0% 0% 0% 100% |
| fannkuch-redux | |||||
| ATS | 57.80 | 57.82 | 288 | 1571 | 0% 0% 0% 100% |
| C gcc | 24.61 | 24.62 | 292 | 1183 | 1% 0% 0% 100% |
| regex-dna | |||||
| ATS | 27.61 | 27.62 | 165,256 | 2482 | 0% 0% 0% 100% |
| C gcc | 5.46 | 5.48 | 286,748 | 2579 | 0% 0% 1% 100% |
4 : Are there other ATS programs for these benchmarks?
Remember - those are just the fastest ATS and C gcc 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.
5 : Are there other faster programs for these benchmarks?
Remember - those are just the fastest ATS and C gcc 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.8
Home Page: ATS -- unleashing the potential of types!