Re: Static Garbage Collection

"Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>
Tue, 26 May 2009 09:28:33 +0200

          From comp.compilers
Related articles
Static Garbage Collection ott@mirix.org (Matthias-Christian Ott) (2009-05-25)
Re: Static Garbage Collection dot@dotat.at (Tony Finch) (2009-05-26)
Re: Static Garbage Collection gneuner2@comcast.net (George Neuner) (2009-05-25)
Re: Static Garbage Collection torbenm@pc-003.diku.dk (2009-05-26)
Re: Static Garbage Collection mailbox@dmitry-kazakov.de (Dmitry A. Kazakov) (2009-05-26)
Re: Static Garbage Collection stock@esa.informatik.tu-darmstadt.de (Florian Stock) (2009-05-26)
Re: Static Garbage Collection ott@mirix.org (Matthias-Christian Ott) (2009-05-26)
Re: Static Garbage Collection vincent@famillebelliard.fr (Vincent Belliard) (2009-05-26)
Re: Static Garbage Collection DrDiettrich1@aol.com (Hans-Peter Diettrich) (2009-05-29)
Re: Static Garbage Collection armelasselin@hotmail.com (Armel) (2009-05-29)
Re: Static Garbage Collection marcov@stack.nl (Marco van de Voort) (2009-05-30)
[2 later articles]
| List of all articles for this month |
From: "Dmitry A. Kazakov" <mailbox@dmitry-kazakov.de>
Newsgroups: comp.compilers
Date: Tue, 26 May 2009 09:28:33 +0200
Organization: cbb software GmbH
References: 09-05-120
Keywords: GC
Posted-Date: 28 May 2009 17:37:37 EDT

On Mon, 25 May 2009 21:28:01 +0200, Matthias-Christian Ott wrote:


> Suppose we have a goto-free, pointer-less, static strongly typed
> programming language without any binary libraries (so all source code
> is available at compile time).


[...]


> [This feels like it's equivalent to the halting problem which is known to
> be insoluble in the general case, albeit often soluble in specific
> instances. -John]


I don't think so. Assuming that there is no pointers (or other referential
objects, closures included), then the only way to allocate an object is
such that all object are statically scoped. Then even without knowing all
sources, the objects can be "statically collected" when they or their
parents leave the scope. Since the scopes are static, the leaving points
are as well.


The problem of garbage arises only when scopes are dynamic (and then it is
the halting problem). It is impossible to make scopes dynamic without
referential objects.


--
Regards,
Dmitry A. Kazakov
http://www.dmitry-kazakov.de


Post a followup to this message

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