From mboxrd@z Thu Jan  1 00:00:00 1970
Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82])
	by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id p4HHYP8F012405
	for <caml-list@sympa-roc.inria.fr>; Tue, 17 May 2011 19:34:25 +0200
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AhICALew0k3RVaE2kGdsb2JhbACmFAgUAQEBAQkJDQcUBCGIcKIYjBqCNYUWN4hiAQEDBoYTBJARhUCFRTuDNw
X-IronPort-AV: E=Sophos;i="4.65,226,1304287200"; 
   d="scan'208";a="108839506"
Received: from mail-fx0-f54.google.com ([209.85.161.54])
  by mail1-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 17 May 2011 19:34:20 +0200
Received: by fxm11 with SMTP id 11so1125531fxm.27
        for <caml-list@inria.fr>; Tue, 17 May 2011 10:34:20 -0700 (PDT)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=gmail.com; s=gamma;
        h=domainkey-signature:cc:message-id:from:to:in-reply-to:content-type
         :content-transfer-encoding:mime-version:subject:date:references
         :x-mailer;
        bh=5VzJjKDLNn8LDc/7fKa9uv+YEIwQ+ZI/z5ywHfAf39g=;
        b=FcVvHCeHcC2hpLQjm3iznKFGRhpPThisNV8Cwmh1eedUkt8KfU5D2DpOGtVxLwO9Ox
         F6eCz7YSRJ8GgWYvnPpnplXVGEqdOu+5WfozKvaVeUnQWLDLraB+3wdPiExQvQ0vlWPJ
         jDFnNCWuqC7/VQiTyR4ApCKfTHglU/N/dHE8g=
DomainKey-Signature: a=rsa-sha1; c=nofws;
        d=gmail.com; s=gamma;
        h=cc:message-id:from:to:in-reply-to:content-type
         :content-transfer-encoding:mime-version:subject:date:references
         :x-mailer;
        b=NLIS3JYY64sDAHLEYq6X7bFButeJc/M8fikxp6ykDolDZW11+TEz2NoXGcMAPCsoC1
         xY2PDK0mELBax3+NVDbnVgeZeoso64XWInMDkBLTDYPFVry9S82ad0lbMcMp/pt+y6pz
         UtEoYDhThRS6kdt5AMNDGxSup4Yaacz3gINyc=
Received: by 10.223.127.210 with SMTP id h18mr1087817fas.77.1305653659559;
        Tue, 17 May 2011 10:34:19 -0700 (PDT)
Received: from chello212017072134.16.14.univie.teleweb.at (chello212017072134.16.14.univie.teleweb.at [212.17.72.134])
        by mx.google.com with ESMTPS id r13sm309588fax.8.2011.05.17.10.34.17
        (version=TLSv1/SSLv3 cipher=OTHER);
        Tue, 17 May 2011 10:34:18 -0700 (PDT)
Cc: caml-list <caml-list@inria.fr>
Message-Id: <952CD335-BB99-4046-9CEC-746388F0C45F@gmail.com>
From: Vincent Aravantinos <vincent.aravantinos@gmail.com>
To: Joel Reymont <joelr1@gmail.com>
In-Reply-To: <D4F7FFB4-5FF7-4E53-BE22-F1ED27880079@gmail.com>
Content-Type: text/plain; charset=ISO-8859-1; format=flowed; delsp=yes
Mime-Version: 1.0 (Apple Message framework v936)
Date: Tue, 17 May 2011 19:34:16 +0200
References: <D4F7FFB4-5FF7-4E53-BE22-F1ED27880079@gmail.com>
X-Mailer: Apple Mail (2.936)
Content-Transfer-Encoding: 8bit
X-MIME-Autoconverted: from quoted-printable to 8bit by walapai.inria.fr id p4HHYP8F012405
Subject: Re: [Caml-list] mac profiling


Le 17 mai 11 à 18:37, Joel Reymont a écrit :

> Has anyone given thought to how OCaml programs can be profiled on  
> the Mac?
>
> gprof on the Mac gives only call counts and no timing information.
>
> Using Instruments on native OCaml programs clearly shows only C  
> functions in the OCaml runtime.

I never really managed to profile my ocaml programs properly under OSX.
Actually, gprof just never worked for me (didn't generate any gmon.out  
file).
I ended up using Shark which is better than nothing.

V.