Re: Compile Time Garbage Collection impossible?

"A.L." <alewando@fala2005.com>
28 Sep 2006 22:48:56 -0400

          From comp.compilers

Related articles
[5 earlier articles]
Re: Compile Time Garbage Collection impossible? firefly@diku.dk (Peter \Firefly\Lund) (2006-09-25)
Re: Compile Time Garbage Collection impossible? gneuner2@comcast.net (George Neuner) (2006-09-25)
Re: Compile Time Garbage Collection impossible? liekweg@ipd.info.uni-karlsruhe.de (Florian Liekweg) (2006-09-25)
Re: Compile Time Garbage Collection impossible? gah@ugcs.caltech.edu (glen herrmannsfeldt) (2006-09-25)
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)
[2 later articles]
| List of all articles for this month |

From: "A.L." <alewando@fala2005.com>
Newsgroups: comp.compilers
Date: 28 Sep 2006 22:48:56 -0400
Organization: Posted via Supernews, http://www.supernews.com
References: 06-09-119
Keywords: GC

On 22 Sep 2006 22:29:03 -0400, the.real.doctor.zoidberg@gmail.com
wrote:


>Why isn't Compile-Time-Garbage-Collection feasible? Consider a Java
>compiler which produces assembly code for a specific target instead of
>Java's bytecode cenario. The objective is to use Java without the need
>for a GC or VM.
>
>I'm asking why it isn't possible because otherwise there would be at
>least one compiler to use that technique, instead of having to run a
>GC in the VM.
>
>When a program is compiled, the compiler has to transverse all its
>code to ensure type safety (for safe languages), so what would be the
>problem in "freeing" objects after their scope, or even better, after
>the last reference in their scope?


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.


Post a followup to this message

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