Re: Garbage collection and quality of implementation issues

mw@ipx2.rz.uni-mannheim.de (Marc Wachowitz)
Fri, 27 May 1994 07:50:04 GMT

          From comp.compilers
Related articles
Garbage collection and quality of implementation issues mps@dent.uchicago.edu (1994-05-25)
Re: Garbage collection and quality of implementation issues boehm@parc.xerox.com (1994-05-26)
Re: Garbage collection and quality of implementation issues jgmorris+@cs.cmu.edu (1994-05-26)
Re: Garbage collection and quality of implementation issues mps@dent.uchicago.edu (1994-05-27)
Re: Garbage collection and quality of implementation issues mw@ipx2.rz.uni-mannheim.de (1994-05-27)
Re: Garbage collection and quality of implementation issues jgmorris+@cs.cmu.edu (1994-05-28)
Re: Garbage collection and quality of implementation issues adobe!mhamburg@uunet.UU.NET (1994-05-29)
| List of all articles for this month |
Newsgroups: comp.compilers
From: mw@ipx2.rz.uni-mannheim.de (Marc Wachowitz)
Keywords: GC, question
Organization: Compilers Central
References: 94-05-105 94-05-117
Date: Fri, 27 May 1994 07:50:04 GMT

Greg Morrisett (jgmorris+@cs.cmu.edu) wrote:
[about - hopefully optional - programmed reference markers]
> Still, it's a good idea. So the question is, can a compiler verify that
> user-defined markRef routines are sound?


If there is type information (which might even be added by a separate tool)
the collector could set every non-marked pointer to NIL.
--
Marc Wachowitz <mw@ipx2.rz.uni-mannheim.de>
--

Post a followup to this message

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