From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <tolkiendili@gmail.com>
Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104])
	by yquem.inria.fr (Postfix) with ESMTP id E3F37BBAF
	for <caml-list@yquem.inria.fr>; Sat, 30 Oct 2010 13:14:39 +0200 (CEST)
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AhsBAFqby0xKfVI0imdsb2JhbAChPwgVAQEBCgkMBw8FH6BkiVqCF4VQLohXAQEDBYU/BIpUhXQ
X-IronPort-AV: E=Sophos;i="4.58,263,1286143200"; 
   d="scan'208";a="64599826"
Received: from mail-ww0-f52.google.com ([74.125.82.52])
  by mail3-smtp-sop.national.inria.fr with ESMTP; 30 Oct 2010 13:14:32 +0200
Received: by wwa36 with SMTP id 36so3839964wwa.9
        for <multiple recipients>; Sat, 30 Oct 2010 04:14:31 -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=8c5V1fZutXLD/pMRnUFuTulM6bClCZjv9a2Zyeqhkd4=;
        b=a392GOgLVUbhAN95S0ld0zZIlPcNQkbRnlfH32BrhCREGiJKK9MerpPRtAoGsqa3JF
         HA6Tp8g7kKmcxUba51K1l8IqPrk75VxgfXV5wTo5fkakNsuZezbLYycX18xxK33KvdCJ
         YmOg49mmtDL5UyQA5FCD/bCZSrC4J1WRuY6gc=
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=WqlUdlZbkT2CsRwHtoNk6Jm3L5ocCo6pXNDzfvDz+RK99hH8q8TQckANi2IkLK5D/5
         KJljlfqT6yCL1Td28i7Q+d3sYgBDeRdhU1rsf69iMC23Sfo11wkA1RePK+8dR/5slN44
         oOdUKyBlx2t6af5URUMBcNEZVDZGf2E7Nc3Ps=
MIME-Version: 1.0
Received: by 10.216.208.230 with SMTP id q80mr361912weo.103.1288437271534;
 Sat, 30 Oct 2010 04:14:31 -0700 (PDT)
Received: by 10.216.154.204 with HTTP; Sat, 30 Oct 2010 04:14:31 -0700 (PDT)
In-Reply-To: <8277D889-83E2-4037-91B3-3EB5E9EB2EA9@inria.fr>
References: <418632253.26199.1288302511712.JavaMail.root@zmbs1.inria.fr>
	<8277D889-83E2-4037-91B3-3EB5E9EB2EA9@inria.fr>
Date: Sat, 30 Oct 2010 08:14:31 -0300
Message-ID: <AANLkTinjx6YQ5j=VA4vTqG20iUh5+ZQoBYySj-6xkPX1@mail.gmail.com>
Subject: Re: [Caml-list] How does OCaml update references when values are
 moved by the GC?
From: Elias Gabriel Amaral da Silva <tolkiendili@gmail.com>
To: Damien Doligez <damien.doligez@inria.fr>
Cc: caml users <caml-list@inria.fr>
Content-Type: text/plain; charset=ISO-8859-1
X-Spam: no; 0.00; ocaml:01 damien:01 damien:01 ocaml:01 silva:98 28,:98 48,:98 silva:98 doligez:01 doligez:01 wrote:01 heap:01 caml-list:01 data:02 data:02 

2010/10/29 Damien Doligez <damien.doligez@inria.fr>:
>
> On 2010-10-28, at 23:48, Jon Harrop wrote:
>
>> How does OCaml update references in the stacks and heap when values are
>> moved by the GC?
>
>
> They are updated by the GC, of course.

can't the GC just put a new reference for it in a data structure? it
has to physically move it?

(i think you are referring to moving data to the older generation; it
could be a tree or a linked list, marking what exactly is old)

-- 
Elias Gabriel Amaral da Silva <tolkiendili@gmail.com>