Linearizability和静态一致性之间有什么区别?

时间:2019-02-25 11:41:43

标签: concurrency consistency

我正在读一本书“ Maruice Herilihy和Nir Shavit编写的《多处理器编程的艺术,并试图理解有关并发对象的第3章》。

  

线性化能力:“线性化能力背后的基本思想是,每个并发历史在以下意义上等同于   一些连续的历史。基本规则是,如果一个方法调用   在另一个之前,那么先前的调用必须已经生效   后来的电话。相反,如果两个方法调用重叠,则它们的   订单含糊不清,我们可以随时方便地订购它们   方式。”

现在,我正在阅读有关静态一致性的信息,

  

方法调用似乎应该一次,连续地发生   订单。

     

以静态时间间隔分隔的方法调用应该看起来像   按其实时顺序生效。

我觉得两者相同。我读了What are the differences between sequential consistency and quiescent consistency?

从上方链接

  

静态一致性:“要求非重叠操作以其实时顺序生效,但重叠   操作可能会重新排序”

有人可以解释两者有何不同吗?

谢谢。

0 个答案:

没有答案