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 6C9ADBC58 for ; Mon, 13 Sep 2010 14:02:35 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AlcCACmvjUzRVda2kGdsb2JhbACTRYV4AYgACBUBAQEBCQkMBxEDH6R3iTKCE4VrLYglAQEDBYU7BIREhWOFXGg X-IronPort-AV: E=Sophos;i="4.56,358,1280700000"; d="scan'208";a="59177853" Received: from mail-iw0-f182.google.com ([209.85.214.182]) by mail2-smtp-roc.national.inria.fr with ESMTP; 13 Sep 2010 14:02:34 +0200 Received: by iwn34 with SMTP id 34so6982038iwn.27 for ; Mon, 13 Sep 2010 05:02:34 -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=TKgc1lyaODlKIarpC5atnp2ErOERqTRgN2cDdv/SUZ8=; b=bRpqNZwPVnV3br+rWCmmLE7VtIbVLon5vC5kSALY8TCPJ6fAAN7jEg7LJC7d2P8dmi vykhIZthkYhBbITNcqlwoyEHkf8gDLJlHx3cmNsKV4EjmTQMF99KaS/x0Ytu/La356DO TjHwuU2rbzVCmkCF8+RT/kE0R5ghk5iEvcg3o= 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=sYpONbdpl0C8BBiHNio/rToD1GqPUHE680Fx9bxcGvrkQw56mBp/lKGYLlwG+WAHP7 qcJpzhmoIVYeO9d70PZ4wA6nrQAXae1VHD8M/aPVIScs1LXsnaM7cCrgVG1NUK0QdNyG mN/PfLKE4acWXd0N/tbI9ie/wlr+apsSEG0d8= MIME-Version: 1.0 Received: by 10.231.15.138 with SMTP id k10mr5894431iba.17.1284379353129; Mon, 13 Sep 2010 05:02:33 -0700 (PDT) Received: by 10.231.159.131 with HTTP; Mon, 13 Sep 2010 05:02:33 -0700 (PDT) In-Reply-To: References: Date: Mon, 13 Sep 2010 15:02:33 +0300 Message-ID: Subject: Re: [Caml-list] Re: How to re-implement the GC? From: Eray Ozkural To: Sylvain Le Gall Cc: caml-list@inria.fr Content-Type: multipart/alternative; boundary=00221532cb5019a2a3049022df7c X-Spam: no; 0.00; re-implement:01 eray:01 ozkural:01 le-gall:01 eray:01 ozkural:01 pitfalls:01 compiler:01 compiler:01 ocaml:01 bilkent:01 le-gall:01 pitfalls:01 ocaml:01 bilkent:01 --00221532cb5019a2a3049022df7c Content-Type: text/plain; charset=ISO-8859-1 On Mon, Sep 13, 2010 at 10:57 AM, Sylvain Le Gall wrote: > Hi, > > On 13-09-2010, Eray Ozkural wrote: > > Hi there, > > > > What exactly are the requirements for substituting the current GC with > > another, preferably non-locking, GC? Any pitfalls I wouldn't see just > > reading the code? > > > > The GC is deeply interacting with the the rest of the compiler. I think > you will spend a lot of time on this task. > > Deeply interacting with the compiler, how? Not through the public interface of GC? Do you mean it is not used in a clean way? > I would recommend you trying OC4MC, which is probably what you are > looking for: > http://www.algo-prog.info/ocmc/web/ > > Yes, I've seen it but it's a work in progress, and it's being rewritten from scratch. > They show quite interesting results using Thread at the last OCaml > Meeting, though they are still some bugs (almost linear speed-up with > multicore). > What exactly is the GC being used there? Is it a custom algorithm or a known one? Could we plug our own algorithm to the oc4mc if it has already provided the basic changes to substitute the GC? Best, -- 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 --00221532cb5019a2a3049022df7c Content-Type: text/html; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable On Mon, Sep 13, 2010 at 10:57 AM, Sylvain Le Gall <sylvain@le-gall.net> wrot= e:
Hi,

On 13-09-2010, Eray Ozkural <exa= machine@gmail.com> wrote:
> Hi there,
>
> What exactly are the requirements for substituting the current GC with=
> another, preferably non-locking, GC? Any pitfalls I wouldn't see j= ust
> reading the code?
>

The GC is deeply interacting with the the rest of the compiler. I thi= nk
you will spend a lot of time on this task.


Deeply interacting with the compiler, = how? Not through the public interface of GC? Do you mean it is not used in = a clean way?
=A0
I would recommend you trying OC4MC, which is probably what you are
looking for:
http://ww= w.algo-prog.info/ocmc/web/


Yes, I've seen it but it's a w= ork in progress, and it's being rewritten from scratch.
=A0
They show quite interesting results using Thread at the last OCaml
Meeting, though they are still some bugs (almost linear speed-up with
multicore).
=A0
=A0
What exactly is the GC be= ing used there? Is it a custom algorithm or a known one? Could we plug our = own algorithm to the oc4mc if it has already provided the basic changes to = substitute the GC?

Best,
=A0
--
Eray Ozkural, PhD= candidate.=A0 Comp. Sci. Dept., Bilkent University, Ankara
http://groups.yahoo.com/group/a= i-philosophy
http://myspace.com/arizanesil= http://myspace.com/malfunct
--00221532cb5019a2a3049022df7c--