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.8 required=5.0 tests=AWL,SPF_SOFTFAIL autolearn=disabled version=3.1.3 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 2E282BBAF for ; Thu, 25 Jun 2009 17:53:54 +0200 (CEST) X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AvABALM6Q0qEpqxrmWdsb2JhbACYdAEBAQEBCAsKBxO4b4QNBYE1 X-IronPort-AV: E=Sophos;i="4.42,290,1243807200"; d="scan'208";a="28740160" Received: from sainfoin-out.extra.cea.fr ([132.166.172.107]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 25 Jun 2009 17:53:53 +0200 Received: from pisaure.intra.cea.fr (pisaure.intra.cea.fr [132.166.88.21]) by sainfoin.extra.cea.fr (8.14.2/8.14.2/CEAnet-Internet-out-2.0) with ESMTP id n5PFrrB5022119 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=NOT) for ; Thu, 25 Jun 2009 17:53:53 +0200 Received: from muguet2.intra.cea.fr (muguet2.intra.cea.fr [132.166.192.7]) by pisaure.intra.cea.fr (8.14.2/8.14.2) with ESMTP id n5PFrrlc025362 for ; Thu, 25 Jun 2009 17:53:53 +0200 (envelope-from Julien.Signoles@cea.fr) Received: from [132.166.132.51] (is010215.intra.cea.fr [132.166.132.51]) by muguet2.intra.cea.fr (8.13.8/8.13.8/CEAnet-Intranet-out-1.1) with ESMTP id n5PFrraG009736 for ; Thu, 25 Jun 2009 17:53:53 +0200 Message-ID: <4A439D91.8060402@cea.fr> Date: Thu, 25 Jun 2009 17:53:53 +0200 From: Julien Signoles User-Agent: Thunderbird 2.0.0.21 (X11/20090409) MIME-Version: 1.0 To: caml-list@yquem.inria.fr Subject: Re: [Caml-list] Mastering the garbage collector References: <4A439067.8070104@irisa.fr> In-Reply-To: <4A439067.8070104@irisa.fr> Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit X-Spam: no; 0.00; signoles:01 signoles:01 cuoq:01 damien:01 pointers:01 ocaml:01 booktitle:01 91191:01 doligez:01 garbage:01 garbage:01 caml-list:01 cea:01 cea:01 cedex:02 Hello, More > generally, is there a specification of the notion of root used by the > garbage collector somewhere ? I recommend you the following article. You should find what you want inside. @inproceedings{DBLP:conf/ml/CuoqD08, author = {Pascal Cuoq and Damien Doligez}, title = {Hashconsing in an incrementally garbage-collected system: a story of weak pointers and hashconsing in ocaml 3.10.2}, booktitle = {ML}, year = {2008}, pages = {13-22}, ee = {http://doi.acm.org/10.1145/1411304.1411308}, crossref = {DBLP:conf/ml/2008}, bibsource = {DBLP, http://dblp.uni-trier.de} } Hope this helps, Julien Signoles -- Researcher-engineer CEA LIST, Software Reliability Lab 91191 Gif-Sur-Yvette Cedex tel:(+33)1.69.08.71.83 fax:(+33)1.69.08.83.95 Julien.Signoles@cea.fr