English version
Accueil     À propos     Téléchargement     Ressources     Contactez-nous    

Ce site est rarement mis à jour. Pour les informations les plus récentes, rendez-vous sur le nouveau site OCaml à l'adresse ocaml.org.

Browse thread
Another great advantage for OCaml language due to Markus Mottl
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: 2006-03-21 (14:45)
From: Markus Mottl <markus.mottl@g...>
Subject: Re: Another great advantage for OCaml language due to Markus Mottl
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...


On 3/21/06, Andries Hekstra <andries.hekstra@philips.com> 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 solved
> thanks to the great native function 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, which 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        markus.mottl@gmail.com