[plt-scheme] Writing a kill-safe data structure

From: Danny Yoo (dyoo at cs.wpi.edu)
Date: Mon May 5 21:00:09 EDT 2008

Hi everyone,

I was wondering if someone could give a look at some code I've written to 
maintain a "topological queue".  I've tried to write it to be kill-safe 
according to the techniques in the "Kill Safe Synchronization 
Abstractions" paper by Flatt and Findler.  The code is here:


Is it kill-safe?

I'll eventually put it on PLaneT, as soon as my project I'm using it for 
is finished.  Any code comments would be greatly appreciated.  Thanks!

Posted on the users mailing list.