Tools for execution timing

Tools for execution timing

[Denis Bueno]

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?

Thanks in advance.

-Denis

Re: [Caml-list] Tools for execution timing

[Martin Jambon]

On Tue, 27 Feb 2007, 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?


You could use that:

let time msg f x =
  let t1 = Unix.gettimeofday () in
  let result = f x in
  let t2 = Unix.gettimeofday () in
  Printf.printf "%s: %.3f s\n%!" msg (t2 -. t1);
  result


--
Martin Jambon
http://martin.jambon.free.fr

Re: [Caml-list] Tools for execution timing

[Daniel Bünzli]

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

Re: [Caml-list] Tools for execution timing

[Denis Bueno]

On 2/27/07, Daniel Bünzli <daniel.buenzli@epfl.ch> wrote:
>
> 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

Ah! Didn't think about using Shark. I tried that just now and it works
like a charm. Thanks for the advice!

-Denis

Re: Tools for execution timing

[Sam Steingold]

Denis Bueno wrote:
> Would you recommend I just roll my own? Or is there something written
> & debugged I could use?

http://sds.podval.org/data/space.ml
comments welcome

Re: [Caml-list] Tools for execution timing

[Christian Stork]

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:

http://hal.cs.berkeley.edu/cil/api/Stats.html

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