Tim Harris, Keir Fraser: Revocable locks for non-blocking programming. PPoPP 2005: 72-82