On Fri, Dec 17, 2010 at 03:22:41AM +0200, Eray Ozkural wrote: > On Thu, Dec 16, 2010 at 1:43 AM, Richard W.M. Jones <r...@annexia.org>wrote: > > > On Wed, Dec 15, 2010 at 04:15:34PM -0500, Nicolas Ojeda Bar wrote: > > > Is there a way to tell how much time has been spent in > > > the gc at a particular point in time from inside your > > > compiled code? > > > > Yes, use standard profiling tools. gprof will give you some idea, but > > oprofile is much more accurate. > > > > > I wasn't aware of oprofile, it looks wicked!!!
oprofile is quite nice. However, systemtap is really interesting. [From a language perspective ...] it's a type-safe language with type inference that compiles down to C, compiles the C into a kernel module which is injected into the Linux kernel and lets you do all sorts of amazing stuff. The fact that it's a mainstream tool that uses proper type inference is significant alone, the fact that it's seriously useful is icing on the cake. http://sourceware.org/systemtap/examples/keyword-index.html Rich. -- Richard Jones Red Hat _______________________________________________ Caml-list mailing list. Subscription management: http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list Archives: http://caml.inria.fr Beginner's list: http://groups.yahoo.com/group/ocaml_beginners Bug reports: http://caml.inria.fr/bin/caml-bugs