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=1.4 required=5.0 tests=SPF_NEUTRAL autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by yquem.inria.fr (Postfix) with ESMTP id 55A2FBC0A for ; Tue, 27 Feb 2007 20:05:24 +0100 (CET) Received: from an-out-0708.google.com (an-out-0708.google.com [209.85.132.243]) by concorde.inria.fr (8.13.6/8.13.6) with ESMTP id l1RJ5M2q017748 for ; Tue, 27 Feb 2007 20:05:23 +0100 Received: by an-out-0708.google.com with SMTP id d26so1235959and for ; Tue, 27 Feb 2007 11:05:21 -0800 (PST) DKIM-Signature: a=rsa-sha1; c=relaxed/relaxed; d=gmail.com; s=beta; h=domainkey-signature:received:received:message-id:date:from:to:subject:cc:in-reply-to:mime-version:content-type:content-transfer-encoding:content-disposition:references; b=rThCYMlO1A6AtpGkLHRj7Ag6PgugwGqsw/DGkpKe0o38JEcRQxuvkhjSf6AyA4VD//G4ED6UEJHiT72BeqGgmg42jtF/LQzKxouLPgH73mOixCgSUqrD4Ark3/B32HJIiea0GKinH2UzeaZlVJeJUbxOWFR0QuZ7uL7NUpWaYns= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=beta; h=received:message-id:date:from:to:subject:cc:in-reply-to:mime-version:content-type:content-transfer-encoding:content-disposition:references; b=SRqXuJe5au5ymIgDd3DfAD7xkp/QAUnZO35v14HiKuWlCP9nK3KMTDiRcQmOlATbH9O1MdXk9eTQwyGRQ+k3UO9S9BFPBosy87yxLGW5EfRCLgwlNJ3MoTW/DMP0jaWSU3pCbgTdOlzB+2lERd/YU+LOFC716tpkslqQwrQGnWM= Received: by 10.115.106.7 with SMTP id i7mr381502wam.1172603119747; Tue, 27 Feb 2007 11:05:19 -0800 (PST) Received: by 10.114.194.3 with HTTP; Tue, 27 Feb 2007 11:05:19 -0800 (PST) Message-ID: <6dbd4d000702271105p151ee0b7id6a44957889006fd@mail.gmail.com> Date: Tue, 27 Feb 2007 14:05:19 -0500 From: "Denis Bueno" To: "=?ISO-8859-1?Q?Daniel_B=FCnzli?=" Subject: Re: [Caml-list] Tools for execution timing Cc: "OCaml Mailing List" In-Reply-To: <3FDA206F-C220-47D2-B772-57DCF196DD4A@epfl.ch> MIME-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: quoted-printable Content-Disposition: inline References: <6dbd4d000702271024w1cabaec6u95aee737b411393e@mail.gmail.com> <3FDA206F-C220-47D2-B772-57DCF196DD4A@epfl.ch> X-j-chkmail-Score: MSGID : 45E480F2.000 on concorde : j-chkmail score : X : 0/20 1 0.000 -> 1 X-Miltered: at concorde with ID 45E480F2.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; bunzli:01 buenzli:01 macos:01 wrote:01 compile:01 caml-list:01 epfl:02 gprof:03 daniel:04 daniel:04 ecrit:06 linux:06 execution:10 think:12 tools:12 On 2/27/07, Daniel B=FCnzli wrote: > > Le 27 f=E9vr. 07 =E0 19:24, Denis Bueno a =E9crit : > > > 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