English version
Accueil     Ŕ propos     Téléchargement     Ressources     Contactez-nous    

Ce site est rarement mis ŕ jour. Pour les informations les plus récentes, rendez-vous sur le nouveau site OCaml ŕ l'adresse ocaml.org.

Browse thread
Tools for execution timing
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2007-02-28 (01:27)
From: Christian Stork <caml-list@c...>
Subject: Re: [Caml-list] Tools for execution timing
On Tue, Feb 27, 2007 at 01:24:50PM -0500, Denis Bueno wrote:
> Dear list,
> Just a general request (Caml Hump & Google didn't find anything,
> really): what do people use to time executions? I want to time the
> execution of various phases of a compiler I'm writing, in order to get
> an idea of how relatively efficient they are.
> Would you recommend I just roll my own? Or is there something written
> & debugged I could use?

As part of CIL there's the Stats module which allows very accurate
timings especially on Intel x86 from Pention on upward:


Chris Stork   <>  Support eff.org!  <>   http://www.ics.uci.edu/~cstork/
OpenPGP fingerprint:  B08B 602C C806 C492 D069  021E 41F3 8C8D 50F9 CA2F