Version française
Home     About     Download     Resources     Contact us    

This site is updated infrequently. For up-to-date information, please visit the new OCaml website at

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 <> 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 :)


Eray Ozkural, PhD candidate.  Comp. Sci. Dept., Bilkent University, Ankara