Version française
Home     About     Download     Resources     Contact us    

This site is updated infrequently. For up-to-date information, please visit the new OCaml website at

Browse thread
Re: caml (special) light and numerics
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 1995-10-16 (18:21)
From: Xavier Leroy <Xavier.Leroy@i...>
Subject: Re: caml (special) light and numerics
> A suggestion for caml special light v1.07:
>    -  on Linux (and other i386) systems, the runtime should be linked
>       with `-lieee' to enable IEEE arithmetic (`-mieee-fp' does the
>       same thing).

Yes, the next release will run in IEEE mode under Linux and FreeBSD.

> Does anybody have numbers on how csl (in particular the new native
> compiler) compares in performance to C++ or FORTRAN in numerical
> applications (quadrature, ODEs, linear algebra, ...)?

I have two numerical benchmarks that are available both in CSL and in C:
a simple FFT implementation and the Pseudoknot benchmark used by
Feeley, Hartel et al (a nucleotide placement problem). The figures on
a DecStation 3000/300X are as follows:

                        C       CSL
        Pseudoknot      0.73s   1.27s
        FFT             3.07s   3.74s

Your mileage may vary greatly, in particular depending on how
carefully the CSL programs are written. Also, the I386 port of CSL is
not as good as the other ports on floating-point operations, because
CSL assumes a standard, direct-access set of floating-point registers,
while the I387 imposes a stack organization on its floating-point

- Xavier Leroy