（Obstruction-freedom）</h5>
<p><em>无阻碍</em> 是这里讨论的最弱的无阻塞保证。对一个方法，当在某一个它独自执行的时间点（其他线程不在执行，例如都挂起了），之后它在有限步后能够结束，我们称之为 <em>无阻碍</em>。所有无锁的对象都是无阻碍的，但反之一般不成立。</p>
<p><em>乐观并发模型OCC（Optimistic concurrency control ）</em> 的方法通常是无阻碍的。OCC的做法是，每一位参与者都试图�