Archives of the Caml mailing list > Message from Xavier Leroy

Browse thread

Re: [Caml-list] How does OCaml update references when values are moved by the GC?

Damien Doligez
- Xavier Leroy
- Elias Gabriel Amaral da Silva
- Jon Harrop
  - Michael Ekstrand
    - Jon Harrop
      - Richard Jones
- Jon Harrop

Date:	2010-11-02 (10:25)
From:	Xavier Leroy <Xavier.Leroy@i...>
Subject:	Re: [Caml-list] How does OCaml update references when values are moved by the GC?

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&copy algorithm and everything will be clear:

http://en.wikipedia.org/wiki/Cheney's_algorithm

- Xavier Leroy