讲解 Java 并发编程中 CPU 缓存导致的可见性与有序性问题。介绍了 volatile 关键字如何通过内存屏障解决这些问题，包括保证可见性、禁止指令重排序，但无法保证原子性。同时阐述了内存屏障的四种类型及 JVM 插入规则，并总结了三者关联及常见问题解答。
本文深入探讨 CPU 缓存、内存屏障与 volatile 关键字在并发编程中的应用。
这三者都是为了解决 '多线程下，数据不一致、执行顺序乱' 的问题。
在聊 volatile 和内存屏障之前，我们先来说一说 CPU 缓存 —— 因为 volatile 和内存屏障的所有设计，都是为了解决 'CPU 缓存带来的问题'。
这两个问题，就是 volatile 和内存屏障要解决的：
举个简单例子（可见性问题）：
// 线程 1 修改 count，线程 2 读取 count
private static int count = 0;
public static void main(String[] args) {
// 线程 1：修改 count 为 1
new Thread(() -> {
count = 1;
System.out.println("线程 1 修改 count 为 1");
}).start();
// 线程 2：读取 count
new Thread(() -> {
while (count == 0) {
// 一直循环，直到 count != 0
}
System.out.println("线程 2 读取到 count = " + count);
}).start();
}
实际运行中，可能出现：线程 1 已经修改 count 为 1（修改的是自己 CPU 缓存里的 count），但没写回主内存；线程 2 一直从自己的 CPU 缓存里读 count=0，陷入死循环 —— 这就是 CPU 缓存导致的可见性问题。
volatile（中文：易变的），是 Java 里的一个关键字，修饰共享变量时，能解决上面说的可见性问题和有序性问题，但不能解决原子性问题。
类比一下：volatile，就是给 '冰箱里的菜' 贴了一张 '通知'——
还是上面的 count 例子，给 count 加 volatile 修饰：
private static volatile int count = 0;
此时，线程 1 修改 count=1 后，会立刻写回主内存，同时使线程 2 缓存里的 count 失效；线程 2 读取 count 时，会从主内存读到最新的 1，跳出循环 —— 可见性问题解决。
举个例子（单例模式双重检查锁，有序性问题）：
// 错误写法：instance 不加 volatile，可能出现空指针
public class Singleton {
private static Singleton instance; // 不加 volatile
public static Singleton getInstance() {
if (instance == null) { // 第一次检查
synchronized (Singleton.class) {
if (instance == null) {
instance = new Singleton(); // 这里可能重排序
}
}
}
return instance;
}
}
instance = new Singleton() 实际被 CPU 拆分为 3 步：
CPU 可能重排为：1→3→2—— 当线程 1 执行到 3（instance != null），但还没执行 2（未初始化），线程 2 进来，第一次检查 instance != null，直接返回 instance（未初始化），调用方法时出现空指针。
给 instance 加 volatile 修饰，会禁止这种重排序，保证 1→2→3 的顺序执行，避免空指针 —— 这就是 volatile 保证有序性的实际用途。
原子性，就是 '操作不可中断'—— 要么全部执行成功，要么全部不执行，中间不会被其他线程打断。
volatile不能保证原子性，比如 count++ 这种复合操作（拆分为：读 count、count+1、写 count），即使 count 被 volatile 修饰，多线程下依然会出现线程安全问题。
例子：10 个线程，每个线程执行 1000 次 count++，count 被 volatile 修饰：
private static volatile int count = 0;
public static void main(String[] args) throws InterruptedException {
for (int i = 0; i < 10; i++) {
new Thread(() -> {
for (int j = 0; j < 1000; j++) {
count++; // 复合操作，volatile 无法保证原子性
}
}).start();
}
Thread.sleep(2000);
System.out.println("count 最终值：" + count); // 结果大概率小于 10000
}
因为 count++ 是 3 步操作，线程 1 读 count=0，还没执行 + 1 和写回，线程 2 也读 count=0，两者都执行 + 1，写回主内存都是 1—— 相当于少加了 1 次。
解决办法：用 synchronized、Lock，或者原子类（AtomicInteger），保证原子性。
前面说过，volatile 的可见性和有序性，都是通过内存屏障实现的 —— 内存屏障是 '底层 CPU 指令'，相当于 '指令之间的隔离带'，管住指令的执行顺序和缓存的同步。
CPU 层面的内存屏障有 4 种，Java 里 JVM 会根据不同的 CPU 架构，自动插入对应的内存屏障
| 屏障类型 | 作用 | 对应 volatile 的操作 |
|---|---|---|
| 读屏障（LoadLoad） | 禁止读屏障后面的 '读指令'，重排到读屏障前面；强制从主内存读取数据 | volatile 变量读取前，插入读屏障 |
| 写屏障（StoreStore） | 禁止写屏障前面的 '写指令'，重排到写屏障后面；强制把缓存里的修改，写回主内存 | volatile 变量修改后，插入写屏障 |
| 读写屏障（LoadStore） | 禁止读屏障前面的 '读指令'，重排到写屏障后面 | 较少用，保证读完成后再写 |
| 写读屏障（StoreLoad） | 禁止写屏障后面的 '读指令'，重排到写屏障前面；强制写回主内存，同时使其他 CPU 缓存失效 | volatile 变量修改后，插入写读屏障（最核心，保证可见性） |
Java 中，volatile 变量的 '读写操作前后'，JVM 会自动插入 3 种内存屏障，保证可见性和有序性：
volatile 的底层是通过插入内存屏障实现的。JVM 会在 volatile 变量的写操作后，插入 StoreStore 和 StoreLoad 屏障，强制将修改后的数据写回主内存，并使其他线程的缓存副本失效；在 volatile 变量的读操作前，插入 LoadLoad 和 LoadStore 屏障，强制从主内存读取最新数据。同时，内存屏障会禁止屏障前后的指令重排序，从而保证 volatile 的可见性和有序性。
CPU 缓存导致了 '可见性和有序性问题'；volatile 关键字用来 '解决这两个问题'；而内存屏障是 'volatile 的底层实现手段'，通过禁止指令重排序、强制刷新缓存，帮 volatile 实现可见性和有序性。
volatile 的作用是保证共享变量的可见性和有序性，不能保证原子性。可见性：修改 volatile 变量后，会立刻写回主内存，同时使其他线程的缓存副本失效，其他线程必须从主内存读取最新数据；有序性：通过插入内存屏障，禁止指令重排序，保证变量读写顺序和代码一致；不保证原子性：因为 volatile 无法解决 '复合操作（比如 count++）的中断问题'，复合操作拆分为多步，中间可能被其他线程打断，导致数据错乱。
volatile 的底层是通过插入内存屏障实现的。JVM 会在 volatile 变量的写操作后，插入 StoreStore 和 StoreLoad 屏障，强制将修改后的数据写回主内存，使其他线程缓存失效；在 volatile 变量的读操作前，插入 LoadLoad 和 LoadStore 屏障，强制从主内存读取最新数据。内存屏障的核心作用是禁止指令重排序、强制刷新缓存，这正是 volatile 实现可见性和有序性的关键，相当于 'volatile 是上层关键字，内存屏障是底层实现手段'。
因为 CPU 运算速度远快于主内存，CPU 会优先操作缓存里的数据，不会实时将缓存数据同步到主内存；其他线程读取数据时，会从自己的 CPU 缓存读取，而不是主内存，导致多个线程看到的同一个变量不一致，引发可见性问题。解决办法：用 volatile 修饰共享变量，通过内存屏障强制缓存同步和禁止重排序；或者用 synchronized、Lock，保证同一时刻只有一个线程修改变量，同时释放锁时会刷新缓存。
微信公众号「极客日志」，在微信中扫描左侧二维码关注。展示文案：极客日志 zeeklog
查找任何按下的键的javascript键代码、代码、位置和修饰符。 在线工具，Keycode 信息在线工具，online
JavaScript 字符串转义/反转义；Java 风格 \uXXXX（Native2Ascii）编码与解码。 在线工具，Escape 与 Native 编解码在线工具，online
使用 Prettier 在浏览器内格式化 JavaScript 或 HTML 片段。 在线工具，JavaScript / HTML 格式化在线工具，online
Terser 压缩、变量名混淆，或 javascript-obfuscator 高强度混淆（体积会增大）。 在线工具，JavaScript 压缩与混淆在线工具，online
使用加密算法（如AES、TripleDES、Rabbit或RC4）加密和解密文本明文。 在线工具，加密/解密文本在线工具，online
将字符串编码和解码为其 Base64 格式表示形式即可。 在线工具，Base64 字符串编码/解码在线工具，online