From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from majordomo@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id UAA24612; Sun, 28 Sep 2003 20:36:07 +0200 (MET DST) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f Received: from concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id UAA27362 for ; Sun, 28 Sep 2003 20:36:06 +0200 (MET DST) Received: from relay.pair.com (relay.pair.com [209.68.1.20]) by concorde.inria.fr (8.11.1/8.11.1) with SMTP id h8SIa4H04108 for ; Sun, 28 Sep 2003 20:36:04 +0200 (MET DST) Received: (qmail 68464 invoked from network); 28 Sep 2003 18:36:01 -0000 Received: from arda.pair.com (HELO checkerdell.d6.com) (209.68.1.133) by relay.pair.com with SMTP; 28 Sep 2003 18:36:01 -0000 X-pair-Authenticated: 209.68.1.133 Message-Id: <4.3.2.7.2.20030928092301.028387b8@localhost> X-Sender: checker@localhost X-Mailer: QUALCOMM Windows Eudora Version 4.3.2 Date: Sun, 28 Sep 2003 09:39:32 -0700 To: "Yaron Minsky" From: Chris Hecker Subject: Re: [Caml-list] native mode backtrace patch for 3.06 Cc: In-Reply-To: <64571.209.54.74.251.1064749973.squirrel@minsky-primus.home ip.net> References: <4.3.2.7.2.20030927035246.03ed7a18@localhost> <4.3.2.7.2.20030927035246.03ed7a18@localhost> Mime-Version: 1.0 Content-Type: text/plain; charset="us-ascii" X-Loop: caml-list@inria.fr X-Spam: no; 0.00; hecker:01 checker:01 caml-list:01 backtrace:01 3.06:01 0400,:01 yaron:01 minsky:01 inlining:01 analogous:01 backtrace:01 recovered:99 debugging:01 stderr:01 0400,:01 Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk At 07:52 9/28/2003 -0400, Yaron Minsky wrote: >Does the patch have any performance implications? The instrumentation code it adds (to every function, even small ones, although that could be changed relatively easily by adding some kind of function-length metric, maybe what the inliner uses) will take some time, but in the brief test I did it didn't make much difference in my game, which was a pleasant surprise (even when it was added to tiny things like a 2D vector addition that's used everywhere). Maybe inlining happens before cmmgen or something, I don't know. >Another thought: it >might be nice to get it to dump the failure into something analogous to a >core dump file, so that it wouldn't confuse an ordinary user, but it would >save the backtrace which could be recovered for debugging purposes. That would be easy, since the printout is in C and just fprintfs to stderr. I should also add a caml interface to it in Sys or something, that just returns the data, so you can put a try ... with _ -> Sys.get_debug_native_backtrace () around your whole program (or in an atexit) and do whatever you want with it. >Anyway, please do send me the patch. Though I hope eventually this patch >or one like it ends up in the standard distribution. A couple others have asked for it, so I'll clean it up and post it on my website. I'll send mail to the list when I do that. At 03:04 9/28/2003 +0400, malc wrote: >http://groups.google.com/groups?q=fourth+shared+patch&hl=en&lr=&ie=UTF-8&selm=fa.gbof7hv.fmmo03%40ifi.uio.no&rnum=1 >Cross platform support for this was done, nearly one year ago.. >(Link is dead, but im not) Ah, I probably should have searched, but it sounds like yours is not available anymore, and it's also part of something bigger? Did you instrument in cmmgen.ml as well, or do it differently? Chris ------------------- To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/ Beginner's list: http://groups.yahoo.com/group/ocaml_beginners