Xavier Leroy a écrit :
>> My question is twofold.  When using the Event module in the same way
>> MLton does, the running time is ~30 times larger.  
I did this rewrite, mimicing MLton's version, and asked for improvements
on this list some times ago:
http://caml.inria.fr/pub/ml-archives/caml-list/2006/01/4eabc18ec6462a33b81c1b9969a6b18a.en.html

The attached code seems not retrievable from Caml-list official
archives. It's here:
http://shootout.alioth.debian.org/debian/benchmark.php?test=chameneos&lang=ocaml&id=0

>> I'd like an
>> explanation about why there is such a huge difference and possible
>> ways to reduce it...  Using an implementation close to C (Mutex,
>> Condition) divides the time by 2 but still is about 6 times slower
>> than C.  Is it to say a better implementation is possible for OCaml ???
>>     
>
> Could you please tell us where to find the OCaml code you're
> discussing?  I haven't seen it anywhere on the Web page you posted.
>
>