This should also be added: http://en.wikipedia.org/wiki/Non-blocking_algorithm#Obstruction-freedom