Version française
Home     About     Download     Resources     Contact us    

This site is updated infrequently. For up-to-date information, please visit the new OCaml website at

Browse thread
[Caml-list] Alternative Bytecodes for OCaml
[ Home ] [ Index: by date | by threads ]
[ Search: ]

[ Message by date: previous | next ] [ Message in thread: previous | next ] [ Thread: previous | next ]
Date: -- (:)
From: Nicolas Cannasse <warplayer@f...>
Subject: Re: [Caml-list] Re: (GC issues) Alternative Bytecodes for OCaml
> No, Ocaml's major GC (the garbage collection of the old generation) is
> not conservative; it is precise (it knows exactly where the pointers
> are), but is an incremental mark&sweep - with occasionnal call to the
> compactor whichs compacts the whole heap (including old stuff) by
> moving values & updating pointers.
> So I don't think Ocaml's GC could be easily patched to have the old GC
> work conservatively - hence avoiding the requirement of telling the
> runtime what are the pointers (ie CAMLlocal* & CAMLparam* macros).
> (I'm not sure that Nicolas Cannasse uses the "conservative" word in
> the established sense of the GC experts - perhaps my previous
> explanations where not clear enough).

I'm sorry I was mistaken about the 'conservative' word correct usage.
Please replace "conservative" by "not moving pointers" in my previous email.


To unsubscribe, mail Archives:
Bug reports: FAQ:
Beginner's list: