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 mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82]) by yquem.inria.fr (Postfix) with ESMTP id 9E424BC57 for ; Tue, 2 Nov 2010 11:25:08 +0100 (CET) X-IronPort-AV: E=Sophos;i="4.58,281,1286143200"; d="scan'208";a="85895886" Received: from estephe.inria.fr ([128.93.11.95]) by mail1-relais-roc.national.inria.fr with ESMTP; 02 Nov 2010 11:25:08 +0100 Message-ID: <4CCFE704.7080400@inria.fr> Date: Tue, 02 Nov 2010 11:25:08 +0100 From: Xavier Leroy User-Agent: Thunderbird 2.0.0.17 (X11/20080929) MIME-Version: 1.0 To: Jon Harrop Cc: 'Damien Doligez' , caml-list@inria.fr Subject: Re: [Caml-list] How does OCaml update references when values are moved by the GC? References: <418632253.26199.1288302511712.JavaMail.root@zmbs1.inria.fr> <8277D889-83E2-4037-91B3-3EB5E9EB2EA9@inria.fr> <1033013046.78315.1288458970997.JavaMail.root@zmbs4.inria.fr> In-Reply-To: <1033013046.78315.1288458970997.JavaMail.root@zmbs4.inria.fr> Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit X-Spam: no; 0.00; ocaml:01 pointers:01 pointers:01 wikipedia:01 wiki:01 wrote:01 caml-list:01 algorithm:01 algorithm:01 xavier:06 xavier:06 inria:06 standard:07 leroy:07 leroy:07 Jon Harrop wrote: > I was hoping for a little more detail, of course. :-) > > How is the mapping from old to new pointers stored? With forwaring pointers. Just take 10 minutes to familiarize yourself with the standard stop© algorithm and everything will be clear: http://en.wikipedia.org/wiki/Cheney's_algorithm - Xavier Leroy