MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Implementation and Performance Evaluation of a Safe Runtime System in Cyclone (2004) [5 citations — 2 self]

by Matthew Fluet ,  Daniel Wang
In Informal Proceedings of the SPACE 2004 Workshop
Add To MetaCart

Abstract:

Scheme interpreter and a copying garbage collector that manages the memory allocated by the interpreter. The entire system including the garbage collector is implemented in Cyclone [11], a safe dialect of C, which supports safe and explicit memory management. We describe the high-level design of the system, report preliminary benchmarks, and compare our approach to other Scheme systems. Our preliminary benchmarks demonstrate that one can build a system with reasonable performance when compared to other approaches that guarantee safety. More importantly we can significantly reduce the amount of unsafe code needed to implement the system. Our benchmarks also identify some key algorithmic bottlenecks related to our approach that we hope to address in the future.

Citations

415 A syntactic approach to type soundness – Wright, Felleisen - 1994
254 A first step towards automated detection of buffer overrun vulnerabilities – Wagner, Foster, et al. - 2000
243 Garbage collection in an uncooperative environment – Boehm, Weiser - 1988
234 Region-based memory management – Tofte, Talpin - 1997
221 Cyclone: A safe dialect of C – Jim, Morrisett, et al. - 2002
157 Revised 5 report on the algorithmic language Scheme – KELSEY, CLINGER - 1998
139 Region-based memory management in Cyclone – Grossman, Morrisett, et al. - 2002
125 Dynamic software updating – Hicks, Moore, et al. - 2001
60 The influence of browsers on evaluators or, continuations to program Web servers – Queinnec - 2000
44 Type preserving garbage collectors – Wang, Appel - 2001
30 Principled scavenging – Monnier, Saha, et al. - 2001
28 A memory allocator. http://gee.cs.oswego.edu/dl/html/malloc.html – Lea - 1997
12 Simple garbage-collector safety – Boehm - 1996
12 Safe and flexible memory management in Cyclone – Hicks, Morrisett, et al. - 2003
8 SISC: A complete Scheme interpreter in Java. sisc.sourceforge.net/sisc.pdf – Miller - 2003
6 JVM TCB: Measurements of the trusted computing base of Java virtual machines – Appel, Wang - 2002
1 Low-level linear memory management. http://www.cs.dartmouth.edu/~hawblitz/publish/ linearmem-draft4.ps – Hawblitzel, Huang, et al. - 2002