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,

--
Eray Ozkural, PhD candidate.  Comp. Sci. Dept., Bilkent University, Ankara
http://groups.yahoo.com/group/ai-philosophy
http://myspace.com/arizanesil http://myspace.com/malfunct