Java中处理器重排序不能由程序员手动插入mfence等指令防御,而是JVM根据volatile、synchronized等语义自动映射为对应硬件屏障:volatile写插入StoreStore+StoreLoad,读插入LoadLoad+LoadStore;显式屏障仅通过Unsafe或Java 9+ VarHandle提供。

Java 中处理器重排序不能靠程序员手动插入屏障指令来防御,因为 Java 没有暴露 mfence、lfence 或 sfence 这类底层指令给开发者。所谓“用屏障防御重排序”,实际是 JVM 在生成机器码时,根据语义自动插入对应硬件屏障——你写的只是 volatile、synchronized 或 Unsafe 调用,屏障是背后隐含的保障机制。
volatile 写:触发 StoreStore + StoreLoad 屏障
当对一个 volatile 字段执行写操作(如 flag = true),JVM 会确保:
- 它前面所有普通写操作(比如
data = 42)不会被重排到该 volatile 写之后; - 它后面紧跟着的读操作(比如
int x = otherVar)不会被提前到该 volatile 写之前执行。
这正是 StoreStore(防止写-写乱序)和 StoreLoad(防止写-读乱序)共同作用的结果。x86 上虽只生成一条带 lock xchg 的指令(隐含全屏障),但语义上必须满足这两点;ARM 等弱一致性平台则会显式插入 dmb ishst 和 dmb ish 来分别实现。
volatile 读:自带 LoadLoad + LoadStore 屏障
读一个 volatile 字段(如 if (flag))不只是“读得新”,更关键的是约束后续操作顺序:
立即学习“Java免费学习笔记(深入)”;
使用 ImageMagick 的 convert 和 mogrify 命令进行批量图像处理,支持调整大小、裁剪、水印和格式转换。与 libvips 集成以实现高性能缩略图生成。
- 它后面的读操作(如
return data)不会被提到它前面——这是 LoadLoad 的作用; - 它后面的写操作(如
count++)也不会被提前——这是 LoadStore 的作用。
这种约束在双检锁单例中至关重要:先读 instance != null,再读 instance.field,能保证看到的是已完全构造好的对象,而非半初始化状态。
显式内存屏障:仅限 Unsafe 和 VarHandle(Java 9+)
如果你确实需要绕过 volatile 语义、精细控制屏障位置,可用以下方式:
-
Unsafe.loadFence():插入 LoadLoad + LoadStore,等效于 volatile 读的屏障效果; -
Unsafe.storeFence():插入 StoreStore + StoreLoad,接近 volatile 写; -
Unsafe.fullFence():插入完整屏障(LoadLoad + LoadStore + StoreStore + StoreLoad); - Java 9+ 推荐用
VarHandle.acquireRead()/releaseWrite(),语义更清晰,且跨平台行为一致。
注意:这些方法需通过反射获取 Unsafe 实例,且不建议日常业务代码使用——volatile 和 synchronized 已覆盖绝大多数正确性需求。
屏障不是万能的:别混淆可见性与顺序性
内存屏障只管“执行顺序”,不管“值是否最新”:
- LoadLoad 屏障不保证当前 CPU 能立刻看到其他 CPU 刚写入的值(那是缓存一致性协议的事);
- StoreStore 屏障不强制把 store buffer 中的数据刷到主存(x86 默认会,ARM 需配合 dmb);
- 单靠 volatile 读,在旧版 ARMv7 上仍可能读到过期值——这时需搭配 acquire 语义(如
VarHandle.acquireRead)。
所以,屏障解决的是“指令不该怎么排”,而“数据该从哪来”还要依赖 happens-before 和缓存一致性机制协同保障。

















