Christophe Raffalli <christophe.raffa...@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 _______________________________________________ Caml-list mailing list. Subscription management: http://yquem.inria.fr/cgi-bin/mailman/listinfo/caml-list Archives: http://caml.inria.fr Beginner's list: http://groups.yahoo.com/group/ocaml_beginners Bug reports: http://caml.inria.fr/bin/caml-bugs