From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id p4JBR9ND008005 for ; Thu, 19 May 2011 13:27:09 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AigEAHX91E3RVdg2imdsb2JhbACEWZMGMoYvAYdECBQBAQEKCQ0HEgYhiHCkBItePII1hH83iGIBAQMGhQyBBwSCMY1giEuCOjuDNw X-IronPort-AV: E=Sophos;i="4.65,237,1304287200"; d="scan'208";a="94997932" Received: from mail-qw0-f54.google.com ([209.85.216.54]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 19 May 2011 13:27:03 +0200 Received: by qwc9 with SMTP id 9so2260615qwc.27 for ; Thu, 19 May 2011 04:27:02 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=domainkey-signature:mime-version:in-reply-to:references:from:date :message-id:subject:to:cc:content-type; bh=0eqMfGW923gP4gtbBABD5hJKhV9UzgJmSq13UdmIUxk=; b=tbwCPje1N9Z9/tTh3ynpEyrFt15J5KCe5pXYoi1NxA3xONc/z12TzTMtO51jfOy3Qg 1/Uk3I9T2qmnANTmLS9cfQ4wf5F3A8PMav+cRG1xy5mVhHo9ntfgab0V/uLG7Rs9y/fy izQYXVrq7mwEbzF2OKFkkwRFCk0Qf2ZD96c5o= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=mime-version:in-reply-to:references:from:date:message-id:subject:to :cc:content-type; b=quk0GSNJvZLJzGYec1l4p3hxL9UFHr6c6l0E8RMpRr3BKtTQsON5xKwNoRJiB+r7PO MQvUqgfpHoEPqtwfi3kp0CaiEdAZ12LdWJUH9/ZRY+axHJxFKa2u/o3wb/bcH1W97bbZ JiKMnt43Ay9Xrua1OPTZoQ2UGxw96zzJUB4q8= Received: by 10.229.69.23 with SMTP id x23mr2263964qci.52.1305804422139; Thu, 19 May 2011 04:27:02 -0700 (PDT) MIME-Version: 1.0 Received: by 10.229.95.21 with HTTP; Thu, 19 May 2011 04:26:42 -0700 (PDT) In-Reply-To: <952CD335-BB99-4046-9CEC-746388F0C45F@gmail.com> References: <952CD335-BB99-4046-9CEC-746388F0C45F@gmail.com> From: Jean Krivine Date: Thu, 19 May 2011 13:26:42 +0200 Message-ID: To: Vincent Aravantinos Cc: Joel Reymont , caml-list Content-Type: multipart/alternative; boundary=00032557b26eba4f5704a39f4867 Subject: Re: [Caml-list] mac profiling --00032557b26eba4f5704a39f4867 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable Yes I too used shark under mac os x http://developer.apple.com/tools/sharkoptimize.html I don't think it is as accurate as gprof but it helps quite a lot. J. On Tue, May 17, 2011 at 7:34 PM, Vincent Aravantinos < vincent.aravantinos@gmail.com> wrote: > > Le 17 mai 11 =C4=85 18:37, Joel Reymont a =C3=A9crit : > > > Has anyone given thought to how OCaml programs can be profiled on the Ma= c? >> >> 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. > > > -- > Caml-list mailing list. Subscription management and archives: > https://sympa-roc.inria.fr/wws/info/caml-list > Beginner's list: http://groups.yahoo.com/group/ocaml_beginners > Bug reports: http://caml.inria.fr/bin/caml-bugs > > --00032557b26eba4f5704a39f4867 Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable Yes I too used shark under mac os x
http://developer.apple.com/tools/sharkoptimize.= html
I don't think it is as accurate as gprof but it helps quite= a lot.

J.


On Tue, May 17, 2011 at 7:34 P= M, Vincent Aravantinos <vincent.aravantinos@gmail.com> wrote:
<= blockquote class=3D"gmail_quote" style=3D"margin:0 0 0 .8ex;border-left:1px= #ccc solid;padding-left:1ex;">
Le 17 mai 11 =C4=85 18:37, Joel Reymont a =C3=A9crit :


Has anyone given thought to how OCaml programs can be profiled on the Mac?<= br>
gprof on the Mac gives only call counts and no timing information.

Using Instruments on native OCaml programs clearly shows only C functions i= n 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.


--
Caml-list mailing list. =C2=A0Subscription management and archives:
https://sympa-roc.inria.fr/wws/info/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs


--00032557b26eba4f5704a39f4867--