"Guardans in a Generation-Based Garbage Collector" by Dybvig, Bruggeman, and Eby in PLDI 93 describe about the best scheme I've heard of for handling finalization issues. g