Re: Another great advantage for OCaml language due to Markus Mottl

["Markus Mottl" <markus.mottl@gmail.com>]

[-- Attachment #1: Type: text/plain, Size: 1616 bytes --]

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 <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

[-- Attachment #2: Type: text/html, Size: 2251 bytes --]