7、并发对象的一致性：顺序一致性、线性一致性解析

并发对象的一致性：顺序一致性、线性一致性解析

在并发编程中，确保对象操作的一致性是至关重要的。本文将深入探讨顺序一致性（Sequential Consistency）和线性一致性（Linearizability）这两个关键概念，帮助你理解它们的原理、特点以及在实际应用中的差异。

1. 静态一致性计数器与静态一致性的特性

静态一致性计数器是一种索引分配机制，其待处理的方法调用必须返回一个索引，使得所有索引共同满足顺序计数器的规范，即没有重复或遗漏的数字。在不关心索引发布顺序的程序中，它可用作“循环计数器”。

静态一致性对并发的限制极小。在并发执行中，对于任何总方法（total method，即对每个对象状态都有定义的方法）的待处理调用，都存在一个静态一致的响应。这意味着静态一致性是一种非阻塞的正确性条件。

此外，静态一致性具有组合性（compositionality）。当系统中的每个对象都满足静态一致性时，整个系统也满足静态一致性。这使得静态一致的对象可以组合构建更复杂的静态一致对象，在大型系统的模块化设计中非常有用。

2. 顺序一致性

顺序一致性是并发编程中广泛使用的一个正确性属性，它要求方法调用看起来像是按照与程序顺序一致的顺序依次执行。

2.1 程序顺序与顺序一致性原则

单线程发出方法调用的顺序称为程序顺序。不同线程的方法调用在程序顺序上没有关联。顺序一致性的核心原则是：方法调用应看起来按程序顺序生效。这一原则确保了纯顺序计算的行为符合我们的预期。

例如，在一个线程先向共享寄存器 r 写入 7