Version française
Home     About     Download     Resources     Contact us    
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: -- (:)
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.

Best,

Daniel