On Tue, Sep 14, 2010 at 12:25 AM, Jon Harrop
<jonathandeanharrop@googlemail.com> wrote:
Hi Eray,
Retrofitting a new multicore-friendly GC onto OCaml is difficult for two
main reasons:
1. You want plug-and-play GCs but the OCaml compiler is tightly coupled to
the old GC (although OC4MC has decoupled them!).
I'm not really interested in changing anything else at the moment. I am just looking to see if I can commission the implementation of a state-of-the-art GC and plug it into ocaml. Naturally, like anyone, I have my own ideas about how to correctly optimize dynamic memory allocation but I can take ocaml's idea, that of using two heaps and go with it. So, oc4mc was successful in decoupling after all? I need to go back and take a look at the source again. It's getting complicated quickly :)
Cheers,