Re: [Caml-list] "ok with parallel threads" GC (aka ocaml for multicore)

[Philippe Wang <philippe.wang@lip6.fr>]

On Apr 18, 2009, at 00:20 CEDT, Joel Reymont wrote:

>
> On Apr 17, 2009, at 11:15 PM, Philippe Wang wrote:
>
>> PS.  We tried to switch to 3.11, but it seems to need too much  
>> time, it's far from being a piece of cake.
>> We have tried to make it work on Leopard (actually, I failed the  
>> 1st time - half the way, I may try again if I have time).
>
>
> What was the problem with Leopard?

We have our own amd64.S which is based on but quite different from  
ocaml 3.10 amd64.S.
ocaml 3.11 has its amd64.S changed for Leopard.
*And* we have made some small changes to emit.ml.
Then, building the whole thing is not trivial.

Building ocaml 3.10 with our modified runtime is not trivial with  
Linux x86_64 : we use an intern script that does it. Without it, it  
would need hours to build it.
Adapting the script for Leopard is not trivial to do. But we think  
it's quite possible.

Besides, it was late at night and I was sleepy and tired when I tried.

Another answer is Leopard needs the changes made to amd64.S from 3.10  
to 3.11, which mainly fix an alignment problem.


--
Philippe Wang
   Philippe.Wang@lip6.fr
   http://www-apr.lip6.fr/~pwang/