Safe and Flexible Memory Management in Cyclone

dc.contributor.authorHicks, Michaelen_US
dc.contributor.authorMorrisett, Gregen_US
dc.contributor.authorGrossman, Danen_US
dc.contributor.authorJim, Trevoren_US
dc.description.abstractCyclone 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. (UMIACS-TR-2003-82)en_US
dc.format.extent326372 bytes
dc.relation.isAvailableAtDigital Repository at the University of Marylanden_US
dc.relation.isAvailableAtUniversity of Maryland (College Park, Md.)en_US
dc.relation.isAvailableAtTech Reports in Computer Science and Engineeringen_US
dc.relation.isAvailableAtUMIACS Technical Reportsen_US
dc.relation.ispartofseriesUM Computer Science Department; CS-TR-4514en_US
dc.relation.ispartofseriesUMIACS; UMIACS-TR-2003-82en_US
dc.titleSafe and Flexible Memory Management in Cycloneen_US
dc.typeTechnical Reporten_US


Original bundle
Now showing 1 - 1 of 1
Thumbnail Image
318.72 KB
Adobe Portable Document Format