这份工作确定了一个关系，它可以统一看似无关的 progress conditions : 从基于锁的系统的 deadlock-free 和 starvation-free 性质，到 obstruction-freedom （无障碍），lock-freedom（无锁），wait-freedom（无等待） 这样的非阻塞条件。

所有的性质可以按照两个维度来分类。

我大概懂意思。但是不想写这篇。

我到底是为什么这几天都没干活来着？？？