Comment by gpderetta

> As far as I know, wait-free is a superset of lock-free and lock-free is a superset of obstruction-free. How can LP be wait-free but not obstruction free?

ough! I meant it the other way of course: wait-free is a subset of lock-free which is a subset of obstruction-free.