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=0.3 required=5.0 tests=AWL 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 18F9EBC0C for ; Wed, 24 Jan 2007 22:53:30 +0100 (CET) Received: from mail-in-07.arcor-online.net (mail-in-07.arcor-online.net [151.189.21.47]) by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id l0OLrTWM003720 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=FAIL) for ; Wed, 24 Jan 2007 22:53:29 +0100 Received: from mail-in-01-z2.arcor-online.net (mail-in-06-z2.arcor-online.net [151.189.8.18]) by mail-in-07.arcor-online.net (Postfix) with ESMTP id 5418024B5DD; Wed, 24 Jan 2007 22:53:29 +0100 (CET) Received: from mail-in-03.arcor-online.net (mail-in-03.arcor-online.net [151.189.21.43]) by mail-in-01-z2.arcor-online.net (Postfix) with ESMTP id 490945BD62; Wed, 24 Jan 2007 22:53:29 +0100 (CET) Received: from moses.efil.de (www.efil.de [213.23.145.142]) by mail-in-03.arcor-online.net (Postfix) with ESMTP id 0736927549E; Wed, 24 Jan 2007 22:53:29 +0100 (CET) Received: by moses.efil.de (Postfix, from userid 1000) id 71C57CD620; Wed, 24 Jan 2007 22:53:28 +0100 (CET) Date: Wed, 24 Jan 2007 22:53:29 +0100 From: Ingo Bormuth To: caml-list@yquem.inria.fr Subject: Re: [Caml-list] Exception backtraces Message-ID: <20070124215329.GA31041@efil.de> References: <6dbd4d000701221854v1fa172a9k59c0023e382fb2a7@mail.gmail.com> MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii Content-Disposition: inline In-Reply-To: <6dbd4d000701221854v1fa172a9k59c0023e382fb2a7@mail.gmail.com> X-Url: http://ibormuth.efil.de/contact User-Agent: Mutt/1.5.13 (2006-08-11) X-Miltered: at discorde with ID 45B7D559.002 by Joe's j-chkmail (http://j-chkmail . ensmp . fr)! X-Spam: no; 0.00; threads:01 camlp:01 native-code:01 stack:01 popl:01 native-code:01 backtrace:01 ocamlopt:01 backtrace:01 implements:01 bytecode:01 markus:01 mottl's:01 powerpc:01 ingo:98 On 2007-01-22 21:54, Denis Bueno wrote: > I found some > 6 year old threads on this list > (http://caml.inria.fr/pub/ml-archives/caml-list/2000/07/5a1aa1b9873679a2bf87fce5c55f342f.en.html) > having to do with the fact that you couldn't get backtraces on caught > exceptions without using camlp4. > Is this still the case? Taken from the latest Caml Weekly News, for the week of January 16 to 23, 2007 : >> ======================================================================== >> 8) native-code stack backtraces >> Archive: > cdd54b032895c17f/9af1209426f60400#9af1209426f60400> >> ------------------------------------------------------------------------ >> ** Xavier Leroy said: >> >> Among the 150 messages that accumulated while I was at the POPL >> conference, I notice that the topic of native-code exception >> backtraces is making its come-back: >> > Well, seeing that the very useful native exception backtrace patch >> has >> > been >> > sitting idle (acknowledged) for more than a year, I think that's not >> > working it out too well :\ >> >> Like elephants, I'm slow, but never forget :-) You'll be pleased to >> learn that I've been working recently on exception backtraces for >> ocamlopt. The code (nearly finished) currently sits in the >> "opt_backtrace" branch of the repository and should be part of >> release 3.10. >> It implements an exception backtrace mechanism similar to that already >> available in bytecode, but different from Markus Mottl's call backtrace. >> The two kinds of backtraces are incomparable in general, but while >> Markus's solution is quite low overhead already, mine has even lower >> overhead, especially in terms of code size. >> >> Native-code backtraces will be available initially for the following >> back-ends: i386, amd64 and powerpc, both for Unix-like OS and for >> Windows. Ports to other back-ends will be considered if there is >> sufficient demand. -- Ingo Bormuth, voicebox & fax: +49-(0)-12125-10226517 public key 86326EC9, http://ibormuth.efil.de/contact