Version française
Home     About     Download     Resources     Contact us    
Browse thread
Re: Physical counterpart to Pervasives.compare?
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Pascal Cuoq <Pascal.Cuoq@c...>
Subject: Re: Physical counterpart to Pervasives.compare?
Christophe Raffalli <christophe.raffalli@univ-savoie.fr> wrote:
> Or, if all major GCs are compacting and the minor heap is at
> a higher adress than the major heap, then OCaml's could also
> preserve the adress order between GC ...

I do not think that the current minor GC algorithm does
any effort to copy the live blocks from the minor heap in order
(i.e. to copy first the blocks with the lower addresses).
It copies them as it finds them, recursively. Two blocks from
the minor heap may still see the order in which they are
in memory change when they are both copied
to the major heap.
For this reason, I do not think that the above trick would work.

Pascal