On Sat, Oct 30, 2010 at 09:40:32PM +0100, Jon Harrop wrote:
Thanks for the info. I stumbled upon Richard's excellent web page describing
the internals of OCaml and the write barrier but it does not describe how
the pointers actually get rewritten.
I found out the details by reading the C code
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 stopcopy algorithm and everything will be clear:
2010/10/29 Damien Doligez damien.doli...@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?
Message-
From: caml-list-boun...@yquem.inria.fr [mailto:caml-list-
boun...@yquem.inria.fr] On Behalf Of Damien Doligez
Sent: 29 October 2010 08:48
To: caml users
Subject: Re: [Caml-list] How does OCaml update references when values
are moved by the GC?
On 2010-10-28, at 23:48, Jon Harrop
On 10/30/2010 12:15 PM, Jon Harrop wrote:
I was hoping for a little more detail, of course. :-)
How is the mapping from old to new pointers stored? Does the GC rewrite all
of the thread-local stacks in series before allowing any of them to
continue?
I imagine so.
Does the write barrier
of the whole application.
-Original Message-
From: Jon Harrop [mailto:j...@ffconsultancy.com]
Sent: 30 October 2010 18:16
To: 'Damien Doligez'; 'caml-l...@inria.fr'
Subject: RE: [Caml-list] How does OCaml update references when values
are moved by the GC?
I was hoping for a little more detail
-list-
boun...@yquem.inria.fr] On Behalf Of Michael Ekstrand
Sent: 30 October 2010 18:38
To: caml-list@yquem.inria.fr
Subject: Re: [Caml-list] How does OCaml update references when values
are moved by the GC?
On 10/30/2010 12:15 PM, Jon Harrop wrote:
I was hoping for a little more detail
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.
-- Damien
___
Caml-list mailing list. Subscription management:
How does OCaml update references in the stacks and heap when values are
moved by the GC?
--
Dr Jon Harrop, Flying Frog Consultancy Ltd.
http://www.ffconsultancy.com
___
Caml-list mailing list. Subscription management:
