* [Caml-list] mac profiling
@ 2011-05-17 16:37 Joel Reymont
2011-05-17 16:45 ` [Caml-list] " Joel Reymont
2011-05-17 17:34 ` [Caml-list] " Vincent Aravantinos
0 siblings, 2 replies; 5+ messages in thread
From: Joel Reymont @ 2011-05-17 16:37 UTC (permalink / raw)
To: caml-list
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.
--------------------------------------------------------------------------
- for hire: mac osx device driver ninja, kernel extensions and usb drivers
---------------------+------------+---------------------------------------
http://wagerlabs.com | @wagerlabs | http://www.linkedin.com/in/joelreymont
---------------------+------------+---------------------------------------
^ permalink raw reply [flat|nested] 5+ messages in thread
* [Caml-list] Re: mac profiling
2011-05-17 16:37 [Caml-list] mac profiling Joel Reymont
@ 2011-05-17 16:45 ` Joel Reymont
2011-05-17 17:34 ` [Caml-list] " Vincent Aravantinos
1 sibling, 0 replies; 5+ messages in thread
From: Joel Reymont @ 2011-05-17 16:45 UTC (permalink / raw)
To: caml-list
The issue is that the OCaml native code generator does not output DWARF information.
Any tips on how this should be done? I may have time to spare.
--------------------------------------------------------------------------
- for hire: mac osx device driver ninja, kernel extensions and usb drivers
---------------------+------------+---------------------------------------
http://wagerlabs.com | @wagerlabs | http://www.linkedin.com/in/joelreymont
---------------------+------------+---------------------------------------
^ permalink raw reply [flat|nested] 5+ messages in thread
* Re: [Caml-list] mac profiling
2011-05-17 16:37 [Caml-list] mac profiling Joel Reymont
2011-05-17 16:45 ` [Caml-list] " Joel Reymont
@ 2011-05-17 17:34 ` Vincent Aravantinos
2011-05-19 11:26 ` Jean Krivine
1 sibling, 1 reply; 5+ messages in thread
From: Vincent Aravantinos @ 2011-05-17 17:34 UTC (permalink / raw)
To: Joel Reymont; +Cc: caml-list
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.
^ permalink raw reply [flat|nested] 5+ messages in thread
* Re: [Caml-list] mac profiling
2011-05-17 17:34 ` [Caml-list] " Vincent Aravantinos
@ 2011-05-19 11:26 ` Jean Krivine
2011-05-19 11:47 ` Joel Reymont
0 siblings, 1 reply; 5+ messages in thread
From: Jean Krivine @ 2011-05-19 11:26 UTC (permalink / raw)
To: Vincent Aravantinos; +Cc: Joel Reymont, caml-list
[-- Attachment #1: Type: text/plain, Size: 1067 bytes --]
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 ą 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.
>
>
> --
> 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
>
>
[-- Attachment #2: Type: text/html, Size: 1856 bytes --]
^ permalink raw reply [flat|nested] 5+ messages in thread
* Re: [Caml-list] mac profiling
2011-05-19 11:26 ` Jean Krivine
@ 2011-05-19 11:47 ` Joel Reymont
0 siblings, 0 replies; 5+ messages in thread
From: Joel Reymont @ 2011-05-19 11:47 UTC (permalink / raw)
To: Jean Krivine; +Cc: Vincent Aravantinos, caml-list
Shark does not work with later versions of Xcode.
On May 19, 2011, at 1:26 PM, Jean Krivine wrote:
> 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.
--------------------------------------------------------------------------
- for hire: mac osx device driver ninja, kernel extensions and usb drivers
---------------------+------------+---------------------------------------
http://wagerlabs.com | @wagerlabs | http://www.linkedin.com/in/joelreymont
---------------------+------------+---------------------------------------
^ permalink raw reply [flat|nested] 5+ messages in thread
end of thread, other threads:[~2011-05-19 11:48 UTC | newest]
Thread overview: 5+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2011-05-17 16:37 [Caml-list] mac profiling Joel Reymont
2011-05-17 16:45 ` [Caml-list] " Joel Reymont
2011-05-17 17:34 ` [Caml-list] " Vincent Aravantinos
2011-05-19 11:26 ` Jean Krivine
2011-05-19 11:47 ` Joel Reymont
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).