From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by yquem.inria.fr (Postfix) with ESMTP id 43344BC58 for ; Mon, 13 Sep 2010 23:47:24 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AggCADs4jkzRVda2kGdsb2JhbACTWYV1AYgACBUBAQEBCQkMBxEDH6sdiTKCE4ZYLYgkAQEDBYU7BIREhWM X-IronPort-AV: E=Sophos;i="4.56,361,1280700000"; d="scan'208";a="59211517" Received: from mail-iw0-f182.google.com ([209.85.214.182]) by mail2-smtp-roc.national.inria.fr with ESMTP; 13 Sep 2010 23:47:23 +0200 Received: by iwn34 with SMTP id 34so7439499iwn.27 for ; Mon, 13 Sep 2010 14:47:23 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=domainkey-signature:mime-version:received:received:in-reply-to :references:date:message-id:subject:from:to:cc:content-type; bh=5y0wV4OTKpP5vlsG3GmivLtCbGuFTHdUGAk+7BzmJds=; b=f9An+3fedW/PiDq2iTnNxihPEKbbtu1vuRcN1QVHHDGtTAEiWLBlorLaqvsZRMmXza kPGBgpgk/IV2hwoTriIoK9B7dPR+ctNwIgVP9uZnKAAspAoM6FGi/bBovBvpIlnO/Tiq Q3DcmOOnem94tguh+JJhv+KzyzKc3ZraX6BK0= DomainKey-Signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=mime-version:in-reply-to:references:date:message-id:subject:from:to :cc:content-type; b=PzQIjqkgfCvEsDaW5N6HrvsJMQ7xvNoAiEd4g+OXrvsQ/iukwkzYhBhCVP0dbZLj8G 9/3FBpkUveMQ8I3nfhjI0gesHEEWHBZo5KHjFNa5itZ15oye6avqb34uTXGntNCgCs0E oafFEnjPIsjOSs8oxpU5cCgdJaX1imxzhdKAs= MIME-Version: 1.0 Received: by 10.231.12.139 with SMTP id x11mr6231990ibx.67.1284414443074; Mon, 13 Sep 2010 14:47:23 -0700 (PDT) Received: by 10.231.159.131 with HTTP; Mon, 13 Sep 2010 14:47:23 -0700 (PDT) In-Reply-To: <009601cb538a$3be05160$b3a0f420$@com> References: <009601cb538a$3be05160$b3a0f420$@com> Date: Tue, 14 Sep 2010 00:47:23 +0300 Message-ID: Subject: Re: [Caml-list] Re: How to re-implement the GC? From: Eray Ozkural To: Jon Harrop Cc: Sylvain Le Gall , caml-list@inria.fr Content-Type: multipart/alternative; boundary=0003255761d29fb5d604902b0ad3 X-Spam: no; 0.00; re-implement:01 eray:01 ozkural:01 eray:01 ocaml:01 ocaml:01 compiler:01 ocaml's:01 cheers:01 ozkural:01 bilkent:01 compiler:01 ocaml's:01 cheers:01 bilkent:01 --0003255761d29fb5d604902b0ad3 Content-Type: text/plain; charset=ISO-8859-1 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 --0003255761d29fb5d604902b0ad3 Content-Type: text/html; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable
On Tue, Sep 14, 2010 at 12:25 AM, Jon Harrop <jon= athandeanharrop@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<= br> the old GC (although OC4MC has decoupled them!).

<= br>
I'm not really interested in changing anything else at th= e moment. I am just looking to see if I can commission the implementation o= f a state-of-the-art GC and plug it into ocaml. Naturally, like anyone, I h= ave 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 candida= te.=A0 Comp. Sci. Dept., Bilkent University, Ankara
http://groups.yahoo.com/group/ai-philos= ophy
http://myspace.com/arizanesil= http://myspace.com/malfunct
--0003255761d29fb5d604902b0ad3--