Sciweavers

Share
IWMM
2004
Springer

Experience with safe manual memory-management in cyclone

10 years 3 months ago
Experience with safe manual memory-management in cyclone
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 ions, 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.
Michael W. Hicks, J. Gregory Morrisett, Dan Grossm
Added 02 Jul 2010
Updated 02 Jul 2010
Type Conference
Year 2004
Where IWMM
Authors Michael W. Hicks, J. Gregory Morrisett, Dan Grossman, Trevor Jim
Comments (0)
books