We teach a powerful approach that greatly simplifies the design of non-blocking mechanisms and data structures, in part by, largely separate the issues of correctness and progress. At a high level, our methodology includes designing an “obstruction-free” implementation of the desired mechanism or...http://www.google.ca/patents/US20060173885?utm_source=gb-gplus-sharePatent US20060173885 - Obstruction-free data structures and mechanisms with separable and/or substitutable contention management mechanisms
