53、原子一致性（线性化）深入解析

原子一致性（线性化）深入解析

1. 基本概念

• 原子一致性关系 ：在并发计算中，操作之间存在特定的关系。例如，在某个计算中，操作关系 op−→ 描述了操作的先后顺序。如一个进程的最后写操作与其他操作的并发情况，以及最后读操作仅与最后写操作并发。
• 顺序计算与等价计算
  • 顺序计算 ：若操作关系 op−→ 是全序关系，则该计算为顺序计算。
  • 等价计算 ：对于两个计算 OP1 和 OP2 ，若对于任意进程 pi ， OP1|pi 与 OP2|pi 相同，则称这两个计算等价。这意味着进程无法区分这两个计算。
• 合法性 ：顺序历史若满足所有对象的顺序规范，则为合法的。例如，对于寄存器对象，读操作不能返回已被覆盖的值；对于栈对象， pop() 操作应返回栈中最后添加的值。

2. 原子性的形式定义

• 原子计算 ：一个计算 OP 是原子的（或线性化的），需满足存在一个顺序计算 S ，使得：