From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by yquem.inria.fr (Postfix) with ESMTP id A969ABC57 for ; Sat, 18 Dec 2010 16:53:36 +0100 (CET) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AqEFAF5oDE1QRFuw/2dsb2JhbACWHo4Xc7xFhUoE X-IronPort-AV: E=Sophos;i="4.60,194,1291590000"; d="scan'208";a="92831262" Received: from furbychan.cocan.org ([80.68.91.176]) by mail1-smtp-roc.national.inria.fr with ESMTP/TLS/AES256-SHA; 18 Dec 2010 16:53:32 +0100 Received: from rich by furbychan.cocan.org with local (Exim 4.69) (envelope-from ) id 1PTz6B-0006JN-Gc for caml-list@inria.fr; Sat, 18 Dec 2010 15:53:31 +0000 Date: Sat, 18 Dec 2010 15:53:31 +0000 From: "Richard W.M. Jones" To: caml-list@inria.fr Subject: Re: [Caml-list] question about gc Message-ID: <20101218155331.GD3647@annexia.org> References: <20101215234335.GA3647@annexia.org> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: User-Agent: Mutt/1.5.18 (2008-05-17) X-Spam: no; 0.00; 0200,:01 eray:01 ozkural:01 type-safe:01 inference:01 inference:01 wrote:01 wrote:01 compiles:01 compiles:01 caml-list:01 kernel:02 kernel:02 gprof:03 module:03 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 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