A direct approach to control-flow sensitive region-based memory management

Henglein, Fritz; Makholm, Henning; Niss, Henning

doi:10.1145/773184.773203

Cited by 43 publications

(41 citation statements)

References 14 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Work on linear types [30], alias types [27,32], linear regions [33,17], and uniqueness types [1] provide important foundations for safe manual memory management on which we have built. Much of this foundational work has been done in the context of core functional languages and does not address the range of issues we have.…”

Section: Related Workmentioning

confidence: 99%

Experience with safe manual memory-management in cyclone

Hicks

Morrisett

Grossman

et al. 2004

Proceedings of the 4th International Symposium on Memory Management

View full text Add to dashboard Cite

The goal of the Cyclone project is to investigate type safety for low-level languages such as C. Our hardest challenge has been providing programmers control over memory management while retaining type safety. This paper reports on our experience trying to integrate and effectively use two previously proposed, type-safe memory management mechanisms: statically-scoped regions and unique pointers. We found that these typing mechanisms can be combined to build alternative memory-management abstractions, such as reference counted objects and arenas with dynamic lifetimes, and thus provide a flexible basis. Our experience-porting C code and building new applications for resource-constrained systems-confirms that experts can use these features to improve memory footprint and sometimes to improve throughput when used instead of, or in combination with, a conservative garbage collector.

show abstract

Section: Related Workmentioning

confidence: 99%

Experience with safe manual memory-management in cyclone

Hicks

Morrisett

Grossman

et al. 2004

Proceedings of the 4th International Symposium on Memory Management

View full text Add to dashboard Cite

show abstract

“…Other region-based frameworks for reasoning about memory reuse have been proposed, including a system for programs in continuation-passing style [61], one based on linear types [62], and one based on an imperative region sublanguage [32,44]. Another line of related work investigates techniques for improving region-based memory management [2].…”

Section: Related Workmentioning

confidence: 99%

“…The storage mode analysis is probably not the best way of handling tail recursion; it is complicated and vulnerable to program changes. Attempts to address the same problem as the storage mode analysis include [2,15,32].…”

Section: Current Status and Beliefsmentioning

confidence: 99%

A Retrospective on Region-Based Memory Management

Tofte

Birkedal

Elsman

et al. 2004

Higher-Order and Symbolic Computation

View full text Add to dashboard Cite

show abstract

“…An example simulating the Game of Life for n iterations is used in [10] to illustrate varying expressiveness of different region systems. In Figure 7, we show a use counting implementation which closely matches the original code found in their paper.…”

Section: Example 3: Game Of Lifementioning

confidence: 99%

“…Henglein et al [10] takes a different approach toward region-based memory management by employing a Floyd-Hoare style proof system. Their primary goal is to create an automatic system for a conventional nonregion language ala [15,1].…”

Section: Related Workmentioning

confidence: 99%

Memory Management with Use-Counted Regions

Terauchi¹,

Aiken²

2004

View full text Add to dashboard Cite

We introduce a new region-based memory management technique that allows flexible memory usage patterns and is provably safe. Our technique is explicit and manual like C's malloc and free, and it allows programmers to exert a similar degree of control over the program behavior. Our method is quite simple in spite of this expressiveness and safety.We apply the technique to a small functional language to formally describe the core concepts, prove its safety, and argue its usability and efficiency analytically. In particular, we show that the system can efficiently encode more rigid, traditional regions whose lifetime is bounded by that of a stack frame. We also show that the technique works nicely with multi-threaded and imperative programs.

show abstract

A direct approach to control-flow sensitive region-based memory management

Cited by 43 publications

References 14 publications

Experience with safe manual memory-management in cyclone

Experience with safe manual memory-management in cyclone

A Retrospective on Region-Based Memory Management

Memory Management with Use-Counted Regions

Contact Info

Product

Resources

About