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
|