Version française
Home     About     Download     Resources     Contact us    
Browse thread
How to re-implement the GC?
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Eray Ozkural <examachine@g...>
Subject: Re: [Caml-list] Re: How to re-implement the GC?
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