MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Combining Region Inference and Garbage Collection (2002) [37 citations — 2 self]

by Niels Hallenberg ,  Martin Elsman ,  Mads Tofte
Add To MetaCart

Abstract:

This paper describes a memory discipline that combines region-based memory management and copying garbage collection by extending Cheney's copying garbage collection algorithm to work with regions. The paper presents empirical evidence that region inference very significantly reduces the number of garbage collections; and evidence that the fastest execution is obtained by using regions alone, without garbage collection.

Citations

574 Compiling with Continuations – Appel - 1992
505 D.: The Definition of Standard ML (Revised – Milner, Tofte, et al. - 1997
390 Uniprocessor garbage collection techniques – WILSON - 1992
234 Region-based memory management – Tofte, Talpin - 1997
217 A real-time garbage collector based on the lifetimes of objects – Lieberman, Hewitt - 1983
200 A nonrecursive list compacting algorithm – Cheney - 1970
139 Region-based memory management in Cyclone – Grossman, Morrisett, et al. - 2002
105 Memory management with explicit regions – Gay, Aiken - 1998
83 Better static memory management: Improving region-based analysis of higher-order languages – Aiken, Fahndrich, et al. - 1995
80 From Region Inference to von Neumann Machines via Region Representation Inference – Birkedal, Tofte, et al. - 1996
76 Language support for regions – Gay, Aiken - 2001
63 A region inference algorithm – Tofte, Birkedal - 1998
57 Escape Analysis: Correctness proof, implementation and experimental results – Blanchet
44 Garbage Collection – JONES, LINS - 1996
43 Garbage collection – Appel - 1991
26 Implementing the call-by-value lambda-calculus using a stack of regions – Tofte, Talpin - 1994
21 A theory of Stack Allocation in Polymorphically Typed Languages – Tofte, Talpin - 1993
13 Programming with regions in the ML Kit (for version 4 – Tofte, Birkedal, et al. - 2001
9 An optimizing backend for the ML Kit using a stack of regions – Elsman, Hallenberg - 1995
7 Static interpretation of modules – Elsman - 1999
6 Combining garbage collection and region inference in the ML Kit – Hallenberg - 1999
4 Polymorphic equality---no tags required – Elsman - 1998
4 A region profiler for a Standard ML compiler based on region inference. Student Project 96-5-7 – Hallenberg - 1996
View or Download | Add to My Collection | Correct Errors