From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Spam-Checker-Version: SpamAssassin 3.1.3 (2006-06-01) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.0 required=5.0 tests=none autolearn=disabled version=3.1.3 X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from discorde.inria.fr (discorde.inria.fr [192.93.2.38]) by yquem.inria.fr (Postfix) with ESMTP id B3817BB83 for ; Mon, 18 Sep 2006 10:22:54 +0200 (CEST) Received: from smeltpunt.science.ru.nl (smeltpunt.science.ru.nl [131.174.16.145]) by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id k8I8MrRk023953 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=FAIL) for ; Mon, 18 Sep 2006 10:22:54 +0200 Received: from tandem.cs.ru.nl [131.174.142.18] (helo=tandem.cs.ru.nl) by smeltpunt.science.ru.nl (8.13.7/5.9) with ESMTP id k8I8Mr1f018988 for ; Mon, 18 Sep 2006 10:22:53 +0200 (MEST) Received: from tews by tandem.cs.ru.nl with local (Exim 4.63) (envelope-from ) id 1GPEQj-0001Nv-4d for caml-list@yquem.inria.fr; Mon, 18 Sep 2006 10:24:41 +0200 From: Hendrik Tews To: caml-list Subject: Re: [Caml-list] The Future Possibility of Concurrent Garbage Collection? References: <891bd3390609150729k27b7acf8rc9b12f1e08eae93@mail.gmail.com> Date: Mon, 18 Sep 2006 10:24:41 +0200 In-Reply-To: <891bd3390609150729k27b7acf8rc9b12f1e08eae93@mail.gmail.com> (Yaron Minsky's message of "Fri, 15 Sep 2006 10:29:03 -0400") Message-ID: User-Agent: Gnus/5.110006 (No Gnus v0.6) Emacs/21.4 (gnu/linux) MIME-Version: 1.0 Content-Type: text/plain; charset=us-ascii X-Scanned-By: MIMEDefang 2.56 on 131.174.16.145 X-Miltered: at discorde with ID 450E575E.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; hendrik:01 tews:01 tews:01 yaron:01 minsky:01 yminsky:01 ocaml:01 ocaml:01 hendrik:01 garbage:01 garbage:01 compile:01 caml-list:01 writes:01 cornell:01 "Yaron Minsky" writes: That said, I do understand that a concurrent GC is a big technical challenge, and I can understand why the ocaml team isn't eager to take it on right now. The ocaml team could document the GC interface and modularize everything, such that the user can choose between different garbage collectors (at compile time, or even better at application start). Some parallel enthusiast might then come up with a parallel GC, that is good enough for experiments until the right solutions are available. Bye, Hendrik