Re: Static Garbage Collection

Tony Finch <dot@dotat.at>
26 May 2009 01:17:14 +0100 (BST)

          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)
[5 later articles]
| List of all articles for this month |
From: Tony Finch <dot@dotat.at>
Newsgroups: comp.compilers
Date: 26 May 2009 01:17:14 +0100 (BST)
Organization: dotat labs
References: 09-05-120
Keywords: GC
Posted-Date: 28 May 2009 17:35:39 EDT

Matthias-Christian Ott <ott@mirix.org> 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).
>
>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?


Yes. The technique is called "region inference".


Tony.
--
f.anthony.n.finch <dot@dotat.at> http://dotat.at/
PORTLAND PLYMOUTH BISCAY: WESTERLY OR NORTHWESTERLY 5 TO 7, VEERING
NORTHEASTERLY 4 OR 5 LATER IN SOUTH BISCAY. MODERATE OR ROUGH. RAIN BECOMING
MAINLY FAIR. MODERATE OR GOOD.


Post a followup to this message

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