Simple Garbage-Collector-Safety

Simple Garbage-Collector-Safety (1996)

by Hans-J. Boehm

Venue:	In 1996 SIGPLAN Conference on Programming Language Design and Implementation
Citations:	13 - 2 self

User correction supplied by SystemCorrections

Datum	Value	Source
TITLE	Simple Garbage-Collector-Safety	user correction - Legacy Corrections
AUTHOR NAME	Hans-J. Boehm	user correction - Legacy Corrections
AUTHOR AFFIL	Xerox PARC	user correction - Legacy Corrections
ABSTRACT	A conservative garbage collector can typically be used with conventionally compiled programs written in C or C++. But two safety issues must be considered. First, the source code must not hide pointers from the garbage collector. This primarily requires stricter adherence to existing restrictions in the language definition. Second, we must ensure that the compiler will not perform transformations that invalidate this requirement. We argue that the same technique can be used to address both issues. We present an algorithm for annotating source or intermediate code to either check the validity of pointer arithmetic in the source, or to guarantee that under minimal, clearly defined assumptions about the compiler, the optimizer cannot "disguise" pointers. We discuss an implementation based on a preprocessor for the GNU C compiler (gcc), and give some measurements of program slowdown.	user correction - Legacy Corrections
YEAR	1996	INFERENCE
VENUE	In 1996 SIGPLAN Conference on Programming Language Design and Implementation	INFERENCE
VENUE TYPE	CONFERENCE	INFERENCE
PAGES	89--98	INFERENCE
CITATIONS	24 found	ParsCit 1.0