From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.0 required=5.0 tests=none autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from discorde.inria.fr (discorde.inria.fr [192.93.2.38]) by yquem.inria.fr (Postfix) with ESMTP id A53B9BC0A for ; Wed, 28 Feb 2007 02:27:01 +0100 (CET) Received: from stirner.roentgeninstitut.de (stirner.roentgeninstitut.de [212.110.109.210]) by discorde.inria.fr (8.13.6/8.13.6) with SMTP id l1S1R0fB006276 for ; Wed, 28 Feb 2007 02:27:01 +0100 Received: (qmail 14949 invoked by uid 1000); 28 Feb 2007 02:27:00 +0100 Date: Wed, 28 Feb 2007 02:27:00 +0100 From: Christian Stork To: OCaml Mailing List Subject: Re: [Caml-list] Tools for execution timing Message-ID: <20070228012659.GA13470@stirner.roentgeninstitut.de> Mail-Followup-To: OCaml Mailing List References: <6dbd4d000702271024w1cabaec6u95aee737b411393e@mail.gmail.com> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <6dbd4d000702271024w1cabaec6u95aee737b411393e@mail.gmail.com> X-Archive: encrypt User-Agent: Mutt/1.5.13 (2006-08-11) X-Miltered: at discorde with ID 45E4DA64.001 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; compiler:01 timings:01 806:98 021:98 wrote:01 caml-list:01 caml-list:01 api:01 caml:02 hump:02 module:03 berkeley:04 fingerprint:04 chris:06 tue:06 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