From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: ** X-Spam-Status: No, score=2.2 required=5.0 tests=AWL,DNS_FROM_RFC_POST, SPF_NEUTRAL autolearn=disabled version=3.1.3 Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by yquem.inria.fr (Postfix) with ESMTP id CCD28BBAF for ; Thu, 4 Jun 2009 19:29:28 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AmkEAAmhJ0rRVdzZgWdsb2JhbACXXz8BARYipyGQTQEDAgSECAWHDg X-IronPort-AV: E=Sophos;i="4.41,306,1241388000"; d="scan'208";a="41095226" Received: from mail-fx0-f217.google.com ([209.85.220.217]) by mail4-smtp-sop.national.inria.fr with ESMTP; 04 Jun 2009 19:29:28 +0200 Received: by fxm17 with SMTP id 17so984139fxm.27 for ; Thu, 04 Jun 2009 10:29:28 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=domainkey-signature:mime-version:sender:received:in-reply-to :references:date:x-google-sender-auth:message-id:subject:from:to:cc :content-type:content-transfer-encoding; bh=85k1eF7+sHgcWhfvPoRoTLEMhCEIExsjn/pJA5QS180=; b=pL5+1ipzPyuSbA7aapKS1A+Hnl2Jhb/o9B5OHX+HoJxnugnbd3wXszwUJIvsqWTvJt Q6ADJrWXka+mIGZtnz9naq5uxRMijaSmajXzZQ8zfd13bVDZz0zI2toTxgv/jzAo8d6L ImEO/f+eyMvlSbR9oGf5IsDfQaBLHbbRrcn5A= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=mime-version:sender:in-reply-to:references:date :x-google-sender-auth:message-id:subject:from:to:cc:content-type :content-transfer-encoding; b=rYwGt3lFedG8k5Hbu9xWNdhvw0hI488RjMBGnAEBTZyyPqYAyWhIuk4OLo93oiWCGS LlJRowRmmEHyj+jHbKTcRoKZGA7c+nJzBXuW93DxDAu+xdvb7z0EWdCA2kEO4GK1Z12h 3RORqrUa74mlb+r35R3YuCD5Qd+nvIXvxRIZ0= MIME-Version: 1.0 Sender: david.mentre@gmail.com Received: by 10.103.52.13 with SMTP id e13mr1595103muk.52.1244136568083; Thu, 04 Jun 2009 10:29:28 -0700 (PDT) In-Reply-To: References: Date: Thu, 4 Jun 2009 19:29:28 +0200 X-Google-Sender-Auth: 8c3ef9443717f412 Message-ID: <3d13dcfc0906041029s2d37837ei8f6735b4cc29aecb@mail.gmail.com> Subject: Re: [Caml-list] Garbage collection and profiling From: David MENTRE To: Jean Krivine Cc: caml-list@yquem.inria.fr Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 7bit X-Spam: no; 0.00; krivine:01 krivine:01 ocaml:01 2009:98 garbage:01 wrote:01 graph:01 caml-list:01 output:02 native:03 gprof:03 profiling:04 profiling:04 thu:05 jun:09 Hello, On Thu, Jun 4, 2009 at 19:03, Jean Krivine wrote: > Does anyone knows a simple way to evaluate the time spent by an ocaml > program in GCing? Activate profiling in native code version and sum the time spent in the GC entry points in gprof call graph output? Sincerely yours, david