kirancodes.me
To Proof Maintenance & Beyond!

Algorithms for On-the-fly Garbage Collection

Mordechai Ben-Ari

Abstract

A new algorithm is described for on-the-fly garbage collection.The new algorithm uses only two colors and has a simple correctness proof.Two variations on the algorithm are then derived: One attempts to minimize the amount of marking that must be done, and the other is an incremental garbage collector.

Related papers