Re: Recognising pointers during garbage collection?

Basile STARYNKEVITCH <basile@starynkevitch.net> writes:


>I think that a better distinction is conservative vs precise
>GC. Conservative GC for C are well known, see Boehm's (et al.) GC. But
>you can have a precise GC for C, if you accept some strict (and
>constraining) coding style.


This is true. See for example the source code to GCC and Emacs,
both of which use such techniques. Or see my paper
"Accurate garbage collection in an uncooperative environment".


>For example, Qish is a precise,
>generational copying, garbage collector for (and in) C.


That is not a particularly good example, IMHO, since Qish is not written
in standard C; it relies on undefined behaviour.


--
Fergus Henderson <fjh@cs.mu.oz.au> | "I have always known that the pursuit
The University of Melbourne | of excellence is a lethal habit"
WWW: <http://www.cs.mu.oz.au/~fjh> | -- the last words of T. S. Garp.

Return to the comp.compilers page.
Search the comp.compilers archives again.