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.1 required=5.0 tests=AWL,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 discorde.inria.fr (discorde.inria.fr [192.93.2.38]) by yquem.inria.fr (Postfix) with ESMTP id 44195BC0A for ; Tue, 27 Feb 2007 19:24:57 +0100 (CET) Received: from ug-out-1314.google.com (ug-out-1314.google.com [66.249.92.175]) by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id l1RIOueO022200 for ; Tue, 27 Feb 2007 19:24:57 +0100 Received: by ug-out-1314.google.com with SMTP id k3so1109980ugf for ; Tue, 27 Feb 2007 10:24:56 -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:mime-version:content-type:content-transfer-encoding:content-disposition; b=a6d2DwcYEzZzQq/ExPrmbPNZ3BaRRmXT6svMkWEHjt+iiYz5fE78SJmfB1oxImAIv13MzrFdvuC/ssHdciLGvjGyl1tr3BFYbbQXTI382ov5jEydV4FlwhVJHgXvXPInX0cqbLEfaEISGXvdYohQlFS1TWlwy0vXounz1ruHzjA= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=beta; h=received:message-id:date:from:to:subject:mime-version:content-type:content-transfer-encoding:content-disposition; b=SLP0tDSnIdfVYRapBFe+OK4Jqqw1OEkbc/AfjxDMv7RBj9bHA7tpGvIHuz3CaHev2hd4Fmb/0t/cVzqyOldwY2SySJjtoTMAy1p0uyzKMKzeFsZU95plymeHnsNVaWvPfpfUzFSrcgIX7d0MSWh7dpzK6Z9YHvTSt8E54jv7+34= Received: by 10.115.92.2 with SMTP id u2mr1217539wal.1172600690808; Tue, 27 Feb 2007 10:24:50 -0800 (PST) Received: by 10.114.194.3 with HTTP; Tue, 27 Feb 2007 10:24:50 -0800 (PST) Message-ID: <6dbd4d000702271024w1cabaec6u95aee737b411393e@mail.gmail.com> Date: Tue, 27 Feb 2007 13:24:50 -0500 From: "Denis Bueno" To: "OCaml Mailing List" Subject: Tools for execution timing MIME-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit Content-Disposition: inline X-j-chkmail-Score: MSGID : 45E47778.000 on discorde : j-chkmail score : X : 0/20 1 0.000 -> 1 X-Miltered: at discorde with ID 45E47778.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; compiler:01 caml:02 hump:02 efficient:07 written:07 i'm:09 execution:10 execution:10 idea:12 tools:12 writing:12 something:14 advance:15 timing:16 use:16 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