无锁和无等待的定义和例子
在查阅google之后，我发现没有一处对并发算法或是数据结构规定的演进条件（progress condition，注：参考[1]，译者认为翻译为演进状态更为合适）做合理的解释。甚至在”The Art of Multiprocessor Programming“中也只有围绕书本的一小段定义，大部分定义是单行的句子，因而造成了我们普通人含义模糊的理解，所以在这里我把我对这些概念的理解整理在一起，并且在每一种概念后面给出相应的例子。
我们先将演进条件分为四个主要类别，阻塞（blocking），无干扰（obstruction-free），无锁（lock-free），和无等待（wait-free）。详细列表如下：
阅读全文
Loading...
