基于《多处理器编程艺术》的Java volatile变量线性化与顺序一致性疑问

首先明确两个核心概念的差异：

• 线性化（Linearizability）：要求每个操作的"生效点"（线性化点）必须符合操作的实时时间顺序，且所有操作看起来像是原子地发生在调用和响应之间的某个时刻。
• 顺序一致性（Sequential Consistency）：只要求所有进程看到的全局操作序列是一个合法的顺序执行（即每个进程自身的操作顺序符合程序逻辑），但不要求这个序列与实际的实时时间顺序匹配。

你的误区所在 #

《多处理器编程艺术》附录A.3.2说的是单个volatile字段的单次访问操作（读/写）是线性化的——比如对同一个volatile变量的所有读写，都能找到符合实时顺序的线性化点，看起来像是原子执行的。但讲义里说的是整个系统的所有操作组合：当系统中有多个volatile变量时，即使每个变量的单个操作都是线性化的，多个操作的组合也未必满足全局线性化，只能保证顺序一致性。

反例：顺序一致但不线性化的场景 #

假设有两个volatile变量 x、y，初始值均为0：

线程1的代码：

x = 1;          // Wx1
int r1 = y;     // Ry

线程2的代码：

y = 1;          // Wy1
int r2 = x;     // Rx

可能出现的结果：r1=0 且 r2=0 #

这个结果是符合顺序一致性的：我们可以构造一个全局操作序列 Wy1 → Rx → Wx1 → Ry，该序列中：

• 线程1的操作顺序（Wx1在Ry前）符合程序逻辑
• 线程2的操作顺序（Wy1在Rx前）符合程序逻辑
  所有进程看到的序列都是合法的顺序执行，满足顺序一致性。

但这个结果不满足线性化：
假设从实时时间顺序看，线程1先执行了Wx1（x已经变成1），之后线程2才执行Wy1。线性化要求Wx1的生效点早于Wy1，那么线程2的Rx操作应该读取到x=1，但实际r2=0，这就违反了线性化对实时顺序的要求。反之，如果Wy1先执行，线程1的Ry应该读到y=1，实际却读到0，同样违反线性化。

为什么Java允许这种情况？ #

Java的volatile语义只保证：

1. 单个volatile变量的读写操作是原子的、线性化的
2. 线程内的程序顺序（happens-before）被尊重
3. 对volatile变量的写操作happens-before后续对该变量的读操作

但不同volatile变量的操作之间没有强制的happens-before关系，也没有要求它们的线性化点必须符合全局实时顺序。因此多个volatile变量的操作组合可能出现顺序一致但不线性化的结果。

内容的提问来源于stack exchange，提问作者J. Kek