÷

 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±±
 n-body±1/2±
 reverse-complement±1/2±
 fasta±1/2±
 spectral-norm±
 binary-trees±±
 fannkuch1/2±
 regex-dna±

± 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 
ATS22.065.5528,1602617  100% 100% 99% 99%
C++ GNU g++24.696.1828,844858  99% 100% 100% 100%
 n-body 
ATS24.9124.904521920  0% 100% 0% 0%
C++ GNU g++23.8223.827841428  0% 100% 0% 0%
 reverse-complement 
ATS1.181.18122,6361882  0% 4% 99% 0%
C++ GNU g++1.260.88245,4402275  10% 17% 32% 86%
 fasta 
ATS5.395.394362102  99% 1% 0% 0%
C++ GNU g++3.773.778201470  0% 100% 0% 0%
 spectral-norm 
ATS20.566.281,2682204  83% 83% 86% 83%
C++ GNU g++11.392.861,0321278  100% 100% 100% 100%
 binary-trees 
ATS16.8716.87132,040926  0% 100% 0% 0%
C++ GNU g++17.556.26175,720892  69% 68% 72% 63%
 fannkuch 
ATS65.4265.415121157  37% 63% 0% 0%
C++ GNU g++50.1813.631,1681186  68% 100% 100% 100%
 regex-dna 
ATS32.6332.63168,2202495  0% 100% 0% 0%
C++ GNU g++14.574.8291,8281759  68% 86% 61% 88%
 chameneos-redux 
No program
C++ GNU g++0.010.02?1994  67% 50% 0% 67%
 k-nucleotide 
ATSMake Error
C++ GNU g++0.200.14?3416  45% 38% 75% 31%
 pidigits 
ATSMake Error
C++ GNU g++0.090.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!

Revised BSD license

  Home   Flawed   Fastest   License   Help