Re: Static Garbage Collection

Florian Stock <stock@esa.informatik.tu-darmstadt.de>
Tue, 26 May 2009 11:23:41 +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)
Re: Static Garbage Collection vincent@famillebelliard.fr (Vincent Belliard) (2009-05-31)
[1 later articles]
| List of all articles for this month |
From: Florian Stock <stock@esa.informatik.tu-darmstadt.de>
Newsgroups: comp.compilers
Date: Tue, 26 May 2009 11:23:41 +0200
Organization: TU Darmstadt, FG ESA
References: 09-05-120
Keywords: GC
Posted-Date: 28 May 2009 17:37:59 EDT

Matthias-Christian Ott <ott@mirix.org> writes:


> Hi,
> today I stumbled upon a very intresting problem on garbage collection:
>
> 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).
>
> Then we could construct the control flow graph for the entire programme.
>
> Couldn't we than statically (of course depending on conditions during
> runtime) determine the locations for the appropriate malloc() and free()
> calls, depending on if a referenced object is no longer used?


Just a stupid question: If you dont have pointers, why you need malloc
and free? In my eyes you dont need any dynamic memory ( under your
premises).


Florian


Post a followup to this message

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