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 nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by yquem.inria.fr (Postfix) with ESMTP id 67A72BB81 for ; Tue, 21 Mar 2006 15:45:57 +0100 (CET) Received: from xproxy.gmail.com (xproxy.gmail.com [66.249.82.202]) by nez-perce.inria.fr (8.13.0/8.13.0) with ESMTP id k2LEjub6021050 for ; Tue, 21 Mar 2006 15:45:56 +0100 Received: by xproxy.gmail.com with SMTP id s16so443438wxc for ; Tue, 21 Mar 2006 06:45:56 -0800 (PST) DomainKey-Signature: a=rsa-sha1; q=dns; c=nofws; s=beta; d=gmail.com; h=received:message-id:date:from:to:subject:cc:in-reply-to:mime-version:content-type:references; b=hUS/GZTSFjBvIHoQ3PhZyERu85ELGHljPgPbdmInPeZIjD01tdbI4OLYyMHJVMuU+QozgUAlc0n8PcCacL+/vfvdepDgst3ITn4hRJ94dq6O/4IE55ncO86jT5CjLRT0NFFFPN4wyXxEZcb2R6IeeWNSG9RuGYt3MldgStNZEic= Received: by 10.70.38.5 with SMTP id l5mr3722862wxl; Tue, 21 Mar 2006 06:45:55 -0800 (PST) Received: by 10.70.57.14 with HTTP; Tue, 21 Mar 2006 06:45:55 -0800 (PST) Message-ID: Date: Tue, 21 Mar 2006 09:45:55 -0500 From: "Markus Mottl" To: "Andries Hekstra" Subject: Re: Another great advantage for OCaml language due to Markus Mottl Cc: caml-list@yquem.inria.fr In-Reply-To: MIME-Version: 1.0 Content-Type: multipart/alternative; boundary="----=_Part_6444_8632455.1142952355845" References: X-Miltered: at nez-perce with ID 442011A4.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; markus:01 mottl:01 markus:01 mottl:01 ocaml:01 hecker:01 ocaml:01 backtrace:01 ocamlopt:01 compiler:01 byte:01 debugging:01 byte:01 unhandled:01 checker:01 X-Spam-Checker-Version: SpamAssassin 3.0.3 (2005-04-27) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.6 required=5.0 tests=HTML_30_40,HTML_MESSAGE, INFO_TLD,RCVD_BY_IP autolearn=disabled version=3.0.3 ------=_Part_6444_8632455.1142952355845 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable Content-Disposition: inline Thanks for the public praise, I do need those, especially in the morning. But you can send me private mails of appreciation, too. Just not too often= , I might get used to it ;-) Anyway, to be fair, it should be noted that Chris Hecker came up with the idea for this patch and implemented a first proof of concept... Regards, Markus On 3/21/06, Andries Hekstra wrote: > Dear Member of the OCaml mailing list, > > The problem about which I reported on this reflector around two weeks ago > (array index violation after around 4 days) has in the mean time been sol= ved > thanks to the great native function call backtrace for the ocamlopt compi= ler > due to Markus Mottl. Given that my program crashed after 3.7 days, and my > program ran around 30x slower in byte code, debugging using byte code was > not an option (this slowdown had been similar if I had used _DEBUG mode o= f a > C++ program instead of _RELEASE version). Also, as reported earlier, putt= ing > "try ... with " around all attempts to index an array is not feasbile in > standard OCaml for array elements in the left hand sides of assignments. = A > static unhandled exception checker provided on a web page, ran into dead > HTML links. > > Hence, the native function call, which comes at minimal runtime overhead > cost, mainly the cost of -inline 0, is a great new feature that would giv= e > OCaml another advantage over C++ when added to the OCaml language in a ne= xt > release. Below I give a toy example : > > -- Markus Mottl http://www.ocaml.info markus.mottl@gmail.com ------=_Part_6444_8632455.1142952355845 Content-Type: text/html; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable Content-Disposition: inline Thanks for the public praise, I do need those, especially in the morning.  But you can send me private mails of appreciation, too.  Just not too often, I might get used to it ;-)

Anyway, to be fair, it should be noted that Chris Hecker came up with the idea for this patch and implemented a first proof of concept...

Regards,
Markus

On 3/21/06, = Andries Hekstra <andr= ies.hekstra@philips.com> wrote:
Dear Member of the OCaml mailin= g list,

The problem about which I reported= on this reflector around two weeks ago (array index violation after around 4 days) has in the mean time been solved thanks to the great native functio= n call backtrace for the ocamlopt compiler due to Markus Mottl. Given that my program crashed after 3.7 days, and my program ran around 30x slower in byte code, debugging using byte code was not an option (this slowdown had been similar if I had used _DEBUG mode of a C++ program instead of _RELEASE version). Also, as reported earlier, putting "try ... with " around all attempts to index an array is not feasbile in standard OCaml for array elements in the left hand sides of assignments. A static unhandled exception checker provided on a web page, ran into dead HTML links.

Hence, the native function call, w= hich comes at minimal runtime overhead cost, mainly the cost of -inline 0, is a great new feature that would give OCaml another advantage over C++ when added to the OCaml language in a next release. Below I give a toy example :
 

--
Markus Mottl        http://www.ocaml.info      &n= bsp; markus.mottl@gmail.com<= /a>
------=_Part_6444_8632455.1142952355845--