Fortran’s performances on Computer Language Benchmark Game are surprisingly bad. Today’s result puts Fortran 14th and 11th on the two quad-core tests, 7th and 10th on the single cores.
Now, I know benchmarks are never perfect, but still, Fortran was (is?) often considered THE language for high performance computing and it seems like the type of problems used in this benchmark should be to Fortran’s advantage. In an recent article on computational physics, Landau (2008) wrote:
However, [Java] is not as efficient or
as well supported for HPC and parallel
processing as are FORTRAN and C, the
latter two having highly developed
compilers and many more scientific
subroutine libraries available.
FORTRAN, in turn, is still the
dominant language for HPC, with
FORTRAN 90/95 being a surprisingly
nice, modern, and effective language;
but alas, it is hardly taught by any
CS departments, and compilers can be
expensive.
Is it only because of the compiler used by the language shootout (Intel’s free compiler for Linux) ?
No, this isn’t just because of the compiler.
What benchmarks like this — where the program differs from benchmark to benchmark — is largely the amount of effort (and quality of effort) that the programmer put into writing any given program. I suspect that Fortran is at a significant disadvantage in that particular metric — unlike C and C++, the pool of programmers who’d want to try their hand at making the benchmark program better is pretty small, and unlike most anything else, they likely don’t feel like they have something to prove either. So, there’s no motivation for someone to spend a few days poring over generated assembly code and profiling the program to make it go faster.
This is fairly clear from the results that were obtained. In general, with sufficient programming effort and a decent compiler, neither C, C++, nor Fortran will be significantly slower than assembly code — certainly not more than 5-10%, at worst, except for pathological cases. The fact that the actual results obtained here are more variant than that indicates to me that “sufficient programming effort” has not been expended.
There are exceptions when you allow the assembly to use vector instructions, but don’t allow the C/C++/Fortran to use corresponding compiler intrinsics — automatic vectorization is not even a close approximation of perfect and probably never will be. I don’t know how much those are likely to apply here.
Similarly, an exception is in things like string handling, where you depend heavily on the runtime library (which may be of varying quality; Fortran is rarely a case where a fast string library will make money for the compiler vendor!), and on the basic definition of a “string” and how that’s represented in memory.