Safe and Flexible Memory Management in Cyclone Export

@techreport{citeulike:257841, abstract = {Cyclone is a type-safe programming language intended for applications requiring control over memory management. Our previous work on Cyclone included support for stack allocation, lexical region allocation, and a garbage-collected heap. We achieved safety (i.e., prevented dangling pointers) through a region-based type-and-effects system. This paper describes some new memory-management mechanisms that we have integrated into Cyclone: dynamic regions, unique pointers, and reference-counted objects. Our experience shows that these new mechanisms are well suited for the timely recovery of objects in situations where it is awkward to use lexical regions. Crucially, programmers can write reusable functions without unnecessarily restricting callers' choices among the variety of memory-management options. To achieve this goal, Cyclone employs a combination of polymorphism and scoped constructs that temporarily let us treat objects as if they were allocated in a lexical region.}, author = {Hicks, Mike and Morrisett, Greg and Grossman, Dan and Jim, Trevor}, citeulike-article-id = {257841}, institution = {University of Maryland}, keywords = {cyclone, memory-management, reference-counting, regions}, month = {July}, number = {CS-TR-4514}, posted-at = {2005-07-16 18:35:29}, priority = {5}, title = {Safe and Flexible Memory Management in Cyclone}, year = {2003} }

TY - RPRT ID - citeulike:257841 L3 - citeulike-article-id:257841 N2 - Cyclone is a type-safe programming language intended for applications requiring control over memory management. Our previous work on Cyclone included support for stack allocation, lexical region allocation, and a garbage-collected heap. We achieved safety (i.e., prevented dangling pointers) through a region-based type-and-effects system. This paper describes some new memory-management mechanisms that we have integrated into Cyclone: dynamic regions, unique pointers, and reference-counted objects. Our experience shows that these new mechanisms are well suited for the timely recovery of objects in situations where it is awkward to use lexical regions. Crucially, programmers can write reusable functions without unnecessarily restricting callers’ choices among the variety of memory-management options. To achieve this goal, Cyclone employs a combination of polymorphism and scoped constructs that temporarily let us treat objects as if they were allocated in a lexical region. IS - CS-TR-4514 TI - Safe and Flexible Memory Management in Cyclone KW - cyclone KW - memory-management KW - reference-counting KW - regions AU - Hicks, Mike AU - Morrisett, Greg AU - Grossman, Dan AU - Jim, Trevor PY - 2003/07// ER -