Re: Recognising pointers during garbage collection?

Fergus Henderson <fjh@cs.mu.oz.au>
4 Aug 2003 00:14:27 -0400

          From comp.compilers

Related articles
[6 earlier articles]
Re: Recognising pointers during garbage collection? joachim.durchholz@web.de (Joachim Durchholz) (2003-07-25)
Re: Recognising pointers during garbage collection? qrczak@knm.org.pl (Marcin 'Qrczak' Kowalczyk) (2003-07-25)
Re: Recognising pointers during garbage collection? cymric73@hotmail.com (Maarten D. de Jong) (2003-07-25)
Re: Recognising pointers during garbage collection? basile@starynkevitch.net (Basile STARYNKEVITCH) (2003-07-31)
Re: Recognising pointers during garbage collection? basile@starynkevitch.net (Basile STARYNKEVITCH) (2003-07-31)
Re: Recognising pointers during garbage collection? gneuner2@comcast.net (George Neuner) (2003-07-31)
Re: Recognising pointers during garbage collection? fjh@cs.mu.oz.au (Fergus Henderson) (2003-08-04)
Re: Recognising pointers during garbage collection? basile@starynkevitch.net (Basile STARYNKEVITCH) (2003-09-04)
Re: Recognising pointers during garbage collection? nmm1@cus.cam.ac.uk (2003-09-04)
| List of all articles for this month |

From: Fergus Henderson <fjh@cs.mu.oz.au>
Newsgroups: comp.compilers
Date: 4 Aug 2003 00:14:27 -0400
Organization: The University of Melbourne
References: 03-07-149 03-07-175 03-07-203
Keywords: GC
Posted-Date: 04 Aug 2003 00:14:27 EDT
X-Original-Trace: 3 Aug 2003 21:14:04 +1000, ceres.cs.mu.oz.au

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.


Post a followup to this message

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