Tim Harris Keir Fraser Revocable locks for non-blocking programming. 72-82 2005 conf/ppopp/2005 PPOPP http://doi.acm.org/10.1145/1065944.1065954 db/conf/ppopp/ppopp2005.html#HarrisF05