Lock-free Sequence Locks (pvk.ca)

The cooperative technique is useful for achieving lock freedom. This technique can be leveraged to build Software transactional memory: http://link.springer.com/article/10.1007/s004460050028