我正在读一本书“ Maruice Herilihy和Nir Shavit编写的《多处理器编程的艺术,并试图理解有关并发对象的第3章》。
线性化能力:“线性化能力背后的基本思想是,每个并发历史在以下意义上等同于 一些连续的历史。基本规则是,如果一个方法调用 在另一个之前,那么先前的调用必须已经生效 后来的电话。相反,如果两个方法调用重叠,则它们的 订单含糊不清,我们可以随时方便地订购它们 方式。”
现在,我正在阅读有关静态一致性的信息,
方法调用似乎应该一次,连续地发生 订单。
以静态时间间隔分隔的方法调用应该看起来像 按其实时顺序生效。
我觉得两者相同。我读了What are the differences between sequential consistency and quiescent consistency?。
从上方链接
静态一致性:“要求非重叠操作以其实时顺序生效,但重叠 操作可能会重新排序”
有人可以解释两者有何不同吗?
谢谢。