Re: [Caml-list] Debugging C and OCaml

2010-03-02 Thread rixed
-[ Mon, Mar 01, 2010 at 07:27:03PM +, Mark Shinwell ] What's where ? A gdb command. Sorry for the noise I failed to get info for this command. Knew it under name bt BTW. ___ Caml-list mailing list. Subscription management:

Re: [Caml-list] How to pass C pointers to Caml

2010-03-02 Thread Goswin von Brederlow
Florent Monnier monnier.flor...@gmail.com writes: Le lundi 1 mars 2010 14:24:45, Goswin von Brederlow a écrit : Florent Monnier monnier.flor...@gmail.com writes: Le lundi 1 mars 2010 04:55:00, Jianzhou Zhao a écrit : I have been calling OCaml code from C in my project. The C code has some

Re: [Caml-list] Recursive subtyping issue

2010-03-02 Thread Goswin von Brederlow
David Allsopp dra-n...@metastack.com writes: Goswin von Brederlow wrote: David Allsopp dra-n...@metastack.com writes: external foo_of_bar : bar - foo = %identity in *both* the .ml and .mli file for the module in question. I'm virtually certain that ocamlopt eliminates calls to the

[Caml-list] MetaOCaml lives!

2010-03-02 Thread oleg
This is to announce BER MetaOCaml, a streamlined version of MetaOCaml. BER MetaOCaml is a conservative extension of OCaml with the primitive type of code values, and three basic multi-stage expression forms: Brackets, Escape, and Run. BER MetaOCaml implements the type system based on environment

Re: [Caml-list] How to pass C pointers to Caml

2010-03-02 Thread Florent Monnier
Le mardi 2 mars 2010 11:19:58, vous avez écrit : Florent Monnier monnier.flor...@gmail.com writes: Le lundi 1 mars 2010 14:24:45, Goswin von Brederlow a écrit : Florent Monnier monnier.flor...@gmail.com writes: Le lundi 1 mars 2010 04:55:00, Jianzhou Zhao a écrit : I have been calling

Re: [Caml-list] [newbie] miscellaneous on installation and web site

2010-03-02 Thread Ashish Agarwal
Why? How to install GODI? GODI is a very nice package management system for OCaml, making it trivial to install both OCaml and most OCaml libraries that are in common use. It automatically downloads and installs libraries, and checks for dependencies. I would recommend using it, unless perhaps

Re: [Caml-list] gc overhead

2010-03-02 Thread Warren Harris
On Mar 1, 2010, at 12:54 AM, Richard Jones wrote: On Sun, Feb 28, 2010 at 04:16:03PM -0800, Warren Harris wrote: I would like to determine what percentage of my application's cpu time is spent in the garbage collector (for tuning purposes, but also just to monitor the overhead). Is there

Re: [Caml-list] gc overhead

2010-03-02 Thread Peter Hawkins
Hi... On Tue, Mar 2, 2010 at 12:11 PM, Warren Harris warrensomeb...@gmail.com wrote: On Mar 1, 2010, at 12:54 AM, Richard Jones wrote: On Sun, Feb 28, 2010 at 04:16:03PM -0800, Warren Harris wrote: I would like to determine what percentage of my application's cpu time is spent in the

[Caml-list] Re: gc overhead

2010-03-02 Thread Sylvain Le Gall
On 01-03-2010, Warren Harris warrensomeb...@gmail.com wrote: I would like to determine what percentage of my application's cpu time is spent in the garbage collector (for tuning purposes, but also just to monitor the overhead). Is there any way to obtain this information short of using

Re: [Caml-list] gc overhead

2010-03-02 Thread Warren Harris
On Mar 2, 2010, at 1:01 PM, Peter Hawkins wrote: I would have recommended using oprofile on linux, which I greatly prefer to GCC's built-in profiling support for profiling C programs. It has a low and tunable overhead, and because it's a sampling profiler it doesn't perturb the results

Re: [Caml-list] Re: gc overhead

2010-03-02 Thread Warren Harris
On Mar 2, 2010, at 2:03 PM, Sylvain Le Gall wrote: You can have a look at: http://ocamlviz.forge.ocamlcore.org This allow to instrument your code and watch GC activity. I think that with a little a little help on program side, you can be quite precise about GC without using gprof at all. This

Re: [Caml-list] gc overhead

2010-03-02 Thread Peter Hawkins
Hi... On Tue, Mar 2, 2010 at 3:08 PM, Warren Harris warrensomeb...@gmail.com wrote: Peter - gprof with ocaml works quite well: http://caml.inria.fr/pub/docs/manual-ocaml/manual031.html I'm fully aware of gprof and ocaml's support of profiling. OCaml's profiling support works by adding calls

Re: [Caml-list] Re: gc overhead

2010-03-02 Thread Edgar Friendly
On 03/02/2010 06:09 PM, Warren Harris wrote: On Mar 2, 2010, at 2:03 PM, Sylvain Le Gall wrote: You can have a look at: http://ocamlviz.forge.ocamlcore.org This allow to instrument your code and watch GC activity. I think that with a little a little help on program side, you can be quite

Re: [Caml-list] gc overhead

2010-03-02 Thread Warren Harris
Peter, Thanks, this is excellent info. I've been using both gprof and shark and understand the tradeoffs. I really was looking for a way to just provide a simple live gc overhead number that we could graph along with a bunch of other server health stats for our zenoss monitors. Looks