Re: Compile Time Garbage Collection impossible?

"Daniel C. Wang" <danwang74@gmail.com>
30 Sep 2006 17:41:50 -0400

          From comp.compilers
Related articles
[9 earlier articles]
Re: Compile Time Garbage Collection impossible? torbenm@app-0.diku.dk (2006-09-25)
Re: Compile Time Garbage Collection impossible? liekweg@ipd.info.uni-karlsruhe.de (Florian Liekweg) (2006-09-26)
Re: Compile Time Garbage Collection impossible? alewando@fala2005.com (A.L.) (2006-09-28)
Re: Compile Time Garbage Collection impossible? torbenm@app-3.diku.dk (2006-09-28)
Re: Compile Time Garbage Collection impossible? sleepingsquirrel@yahoo.com (Greg Buchholz) (2006-09-28)
Re: Compile Time Garbage Collection impossible? bobduff@shell01.TheWorld.com (Robert A Duff) (2006-09-30)
Re: Compile Time Garbage Collection impossible? danwang74@gmail.com (Daniel C. Wang) (2006-09-30)
Re: Compile Time Garbage Collection impossible? gah@ugcs.caltech.edu (glen herrmannsfeldt) (2006-09-30)
Re: Compile Time Garbage Collection impossible? int2k@gmx.net (Wolfram Fenske) (2006-09-30)
Re: Compile Time Garbage Collection impossible? scgupta@yahoo.com (Satish Chandra Gupta) (2006-10-03)
Re: Compile Time Garbage Collection impossible? oliver@first.in-berlin.de (Oliver Bandel) (2006-10-08)
| List of all articles for this month |
From: "Daniel C. Wang" <danwang74@gmail.com>
Newsgroups: comp.compilers
Date: 30 Sep 2006 17:41:50 -0400
Organization: Compilers Central
References: 06-09-119 06-09-146
Keywords: GC
Posted-Date: 30 Sep 2006 17:41:50 EDT

A.L. wrote:
{stuff deleted}
  > Determining what objects could be deallocated during compilation is
  > equivalent to "halting problem" that is undecidable. i.e. there is
  > no algorithm possible that could do this for all possible programs.
  >
  > A.L.




Determining what objects can be deallocated at runtime is also
undecidable. Reachability is a conservative approximation to liveness.
GCed programs can and do still leak, just not as frequently.


There's quite a bit of memory management you can validate dat compile
time. Enough reasoning to build a GC on statically checkable compile
time primitives.


http://www.diku.dk/topps/space2004/space_final/fluet-wang.pdf

Post a followup to this message

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