Summary: Dynamic Region Inference
David Pereira John Aycock
Department of Computer Science
University of Calgary
2500 University Drive N.W.
Calgary, Alberta, Canada T2N 1N4
We present a garbage collection scheme based on reference counting
and region inference which, unlike the standard reference counting algo-
rithm, handles cycles correctly. In our algorithm, the fundamental op-
erations of region inference are performed dynamically. No assistance is
required from the programmer or the compiler, making our algorithm
particularly well-suited for use in dynamically-typed languages such as
scripting languages. We provide a detailed algorithm and demonstrate
how it can be implemented e∆ciently.
Reference counting is a garbage collection strategy which provides immediate
reclamation of unreachable objects and distributes garbage collection delays