Volatile重排序规则的一些理解

volatile的内存语义

volatile的特性

• 可见性 ： 对一个volatile变量的读，总是能看到（任意线程）对这个volatile变量最后的写入
• 原子性
• 禁止重排序

本文主要想讨论一下volatile的重排序规则

volatile的重排序规则表

在《JAVA并发编程的艺术》中有这样一张表：

是否能重排序	第二个操作
第一个操作	普通读/写	volatile 读	volatile 写
普通读/写			NO
volatile 读	NO	NO	NO
volatile 写		NO	NO

其实一个一个格子分开看是很难读懂其中的前因后果的。
可以总结为三条：

1. 当第二个操作是volatile 写时，不管第一个操作是什么，都不能重排序。这个规则确保volatile 写之前的操作不会被编译器重排序到volatile 写之后。
2. 当第一个操作是volatile 读时，不管第二个操作是什么，都不能重排序。这个规则确保volatile 读之后的操作不会被编译器重排序到volatile 读之前。
3. 当第一个操作是volatile 写，第二个操作是volatile 读时，不能重排序。

其中第三条是显而易见的，那么想要理解第一、第二条需要了解volatile 的一些原理和内存模型。

内存模型

为了提高处理速度，处理器不会直接和主存进行通信，而是先将系统内存的数据读取到内部缓存中后再进行操作，但操作完不知道何时会写到内存。
从抽象的角度来看，JMM定义了线程和主内存之间的关系：线程之间的共享变量存储在主存中，每个线程都有一个私有的本地内存，本地内存中存储了共享内存的副本。如图所示：

Lock指令

这里还需要知道一个概念：

• 缓存行 ： CPU高速缓存中可以分配的最小的存储单位。处理器填写缓存行时会加载整个缓存行。

volatile 变量在进行写操作的时候，会插入一条Lock前缀的指令。
这个指令在多核处理器下会发生两个事情：

1. 将当前处理器缓存行的数据写回主存。
2. 使其他CPU里的缓存无效，下次访问相同内存地址时，将强制执行缓存行填充。

总结

再让我们返回去看总结的第一条规律。

• 当第二个操作是volatile 写时，不管第一个操作是什么，都不能重排序。

如果进行重排序，那么volatile 写会使其他CPU的缓存行无效，就不能保证volatile 写之前的共享变量数据的一致，如此就违背了内存语义。

同理，在volatile 变量进行读操作的时候，会直接从主存中读取，再存储到缓存行。

第二条规律：

• 当第一个操作是volatile 读时，不管第二个操作是什么，都不能重排序。

如果进行重排序，当前缓存行的数据就会被置为无效，那么缓存行中的普通共享变量也会再从主存中重新读取，如此就违背了内存语义。