Region-Based Memory Management in Cyclone (2002)
Cached
Download Links
| Venue: | IN PROGRAMMING LANGUAGE DESIGN AND IMPLEMENTATION (PLDI'02) |
| Citations: | 164 - 13 self |
BibTeX
@INPROCEEDINGS{Grossman02region-basedmemory,
author = {Dan Grossman and Greg Morrisett and Trevor Jim and Michael Hicks and Yanling Wang and James Cheney},
title = {Region-Based Memory Management in Cyclone},
booktitle = {IN PROGRAMMING LANGUAGE DESIGN AND IMPLEMENTATION (PLDI'02)},
year = {2002},
pages = {282--293},
publisher = {ACM Press}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
Cyclone is a type-safe programming language derived from C. The primary design goal of Cyclone is to let programmers control data representation and memory management without sacrificing type-safety. In this paper, we focus on the region-based memory management of Cyclone and its static typing discipline. The design incorporates several advancements, including support for region subtyping and a coherent integration with stack allocation and a garbage collector. To support separate compilation, Cyclone requires programmers to write some explicit region annotations, but a combination of default annotations, local type inference, and a novel treatment of region e#ects reduces this burden. As a result, we integrate C idioms in a region-based framework. In our experience, porting legacy C to Cyclone has required altering about 8% of the code; of the changes, only 6% (of the 8%) were region annotations.
