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-27 (18:50)
From: Daniel_Bünzli <daniel.buenzli@e...>
Subject: Re: [Caml-list] Tools for execution timing

Le 27 févr. 07 ŕ 19:24, Denis Bueno a écrit :

> what do people use to time executions?

Assuming you are not on windows. Compile with -p and use gprof  
(linux) or shark (macos). If you want to time within the program  
itself there is Unix.times and Gc.stat to respectively track time and  
memory usage.