Destructors, Finalizers, and Synchronization

A new paper from Boehm.