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=1.0 required=5.0 tests=AWL,SPF_NEUTRAL autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from discorde.inria.fr (discorde.inria.fr [192.93.2.38]) by yquem.inria.fr (Postfix) with ESMTP id 7E0F8BC69 for ; Wed, 4 Jul 2007 16:12:39 +0200 (CEST) Received: from ug-out-1314.google.com (ug-out-1314.google.com [66.249.92.171]) by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id l64ECdvC027192 for ; Wed, 4 Jul 2007 16:12:39 +0200 Received: by ug-out-1314.google.com with SMTP id o2so279788uge for ; Wed, 04 Jul 2007 07:12:38 -0700 (PDT) DKIM-Signature: a=rsa-sha1; c=relaxed/relaxed; d=gmail.com; s=beta; h=domainkey-signature:received:received:message-id:date:from:sender:to:subject:cc:in-reply-to:mime-version:content-type:content-transfer-encoding:content-disposition:references:x-google-sender-auth; b=RlaXSuI66ey6p+vjNG7hcpZEu3HE9kLONBwQ/t+TmCSlh1r4E2R0nfCQaAzOZBk0pJ2/QS7znfzSBTRE4tOEu4xGb2HR8eeHNRE2S6esjJ6F1LIPwsM2E14hAaTs94kXkDOMjinLKV5hLYUchlT5RqOopOdumdNx6TaHW8Em03A= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=beta; h=received:message-id:date:from:sender:to:subject:cc:in-reply-to:mime-version:content-type:content-transfer-encoding:content-disposition:references:x-google-sender-auth; b=ePRbaUtRNegzOJ4KlpmUiRfr9UgztTDpEVuk97Aa4bb+Cbx8KyCItZjUqNhVl+skLV27FWmYxKnEwGlZwGjI6vt+0KttZPkNkaIoMt3D8gMX542vOIIWv6Igojcz9Nn0KDA44xtoUzPoAMVukSuAUn20sFFdeD3NHlNTa9fYzik= Received: by 10.78.131.8 with SMTP id e8mr4147410hud.1183558358342; Wed, 04 Jul 2007 07:12:38 -0700 (PDT) Received: by 10.78.158.5 with HTTP; Wed, 4 Jul 2007 07:12:38 -0700 (PDT) Message-ID: <4a051d930707040712y5ef0a861x2e0c5297e1e20c99@mail.gmail.com> Date: Wed, 4 Jul 2007 10:12:38 -0400 From: "Christopher L Conway" Sender: christopherleeconway@gmail.com To: "Joel Reymont" Subject: Re: [Caml-list] Which function is consing? Cc: caml-list In-Reply-To: <90BAEAF7-0710-44A3-BB2C-5075A2619371@gmail.com> MIME-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit Content-Disposition: inline References: <90BAEAF7-0710-44A3-BB2C-5075A2619371@gmail.com> X-Google-Sender-Auth: d5f271df150689ba X-Miltered: at discorde with ID 468BAAD7.000 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; ocamlcp:01 compiler:01 beginner's:01 ocaml:01 bug:01 blog:98 beginners:01 wrote:01 caml-list:01 caml-list:01 profiler:01 bin:01 caml:02 caml:02 archives:02 Joel, I'm not sure I understand you correctly, but it's highly doubtful that consing is the hotspot in your program. If you're problem is interpreting the mangled function names that show up in gprof, it's sometimes possible to correlate execution count with source locations using ocamlcp. See here: http://procrastiblog.blogspot.com/2007/04/profiling-ocaml-revealed.html This won't let you figure out "which function is consing" unless you rename ::, e.g., let mycons x xs = x :: xs Chris On 7/4/07, Joel Reymont wrote: > Folks, > > There's apparently no way to determine what function is consing using > the profiler. > > How do you get around this limitation in your production code? > > Thanks, Joel > > -- > http://topdog.cc - EasyLanguage to C# compiler > http://wagerlabs.com - Blog > > > > > > _______________________________________________ > 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 > >