The Research archive provides access to all Research articles published in past issues of Communications of the ACM.
In quite a tour de force, the authors of the following paper have built a provably correct real-time garbage collector for reconfigurable hardware (field programmable gate arrays).
We present a garbage collector synthesized directly to hardware, capable of collecting a heap of uniform objects completely concurrently. These heaps are composed entirely of objects of a fixed shape. Thus, the size of the data…