[Caml-list] mac profiling

Mailing list for all users of the OCaml language and system.
 help / color / mirror / Atom feed

* [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