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=1.9 required=5.0 tests=DNS_FROM_RFC_ABUSE, SPF_NEUTRAL 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 93366BBBB for ; Thu, 14 Sep 2006 17:40:15 +0200 (CEST) Received: from wx-out-0506.google.com (wx-out-0506.google.com [66.249.82.232]) by discorde.inria.fr (8.13.6/8.13.6) with ESMTP id k8EFeEVJ019264 for ; Thu, 14 Sep 2006 17:40:15 +0200 Received: by wx-out-0506.google.com with SMTP id s6so3060954wxc for ; Thu, 14 Sep 2006 08:40:14 -0700 (PDT) DomainKey-Signature: a=rsa-sha1; q=dns; c=nofws; s=beta; d=gmail.com; h=received:message-id:date:from:to:subject:mime-version:content-type:content-transfer-encoding:content-disposition; b=k0TgPampWsPUUVNyukseV2+abbtor+FbdwVT4rMYy1z7NB/+Z9yzMSVdoNBrC5eqQnyPgXKflkH12y22h14iXxkg35PkXDznlyeTT4K8kKl7gc2LcRFNp10eEk+4Q9V+1xFXbBpcmdyZ5Xjm1tCqrNDgJtZY5R3s5yXwwckYdCo= Received: by 10.70.67.10 with SMTP id p10mr12770556wxa; Thu, 14 Sep 2006 08:40:13 -0700 (PDT) Received: by 10.70.43.15 with HTTP; Thu, 14 Sep 2006 08:40:13 -0700 (PDT) Message-ID: Date: Thu, 14 Sep 2006 10:40:13 -0500 From: "Jim Battin" To: caml-list@yquem.inria.fr Subject: The Future Possibility of Concurrent Garbage Collection? MIME-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit Content-Disposition: inline X-j-chkmail-Score: MSGID : 450977DE.000 on discorde : j-chkmail score : X : 0/20 1 X-Miltered: at discorde with ID 450977DE.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; ocaml:01 advent:98 doligez:01 garbage:01 garbage:01 caml:02 seems:03 concurrent:03 concurrent:03 processors:04 xavier:06 ilp:07 leroy:07 leroy:07 possibility:10 Hello, It seems Moore's law is taking us in the direction of more cores per microprocessor with less effort placed on exploring ILP. With the advent of multi-core processors, and their inevitable ubiquity, are there any plans, considerations, or ideas for a concurrent garbage collector in Ocaml? To my knowledge, Caml Light had a concurrent garbage collector under development by Xavier Leroy but was abandoned due to significant technical challenges. Prior to that, there appears to have been some academic research regarding concurrent GC (Doligez, Leroy). Thanks, Jim