本文目录#
为什么需要 JMM#
Java 内存模型（Java Memory Model, JMM）定义了多线程环境下的可见性、有序性与原子性语义。它是保证线程安全的理论基础，指导我们使用 volatile、锁与原子类。
happens-before 八大规则#
- 程序次序规则：单线程内按照代码顺序执行。
- 管程锁定规则：解锁操作先行发生于其后对同一锁的加锁。
- volatile 变量规则：对
volatile变量的写先发生于后续读。 - 线程启动规则：
Thread.start()先行发生于子线程开始。 - 线程终止规则：线程终止（
Thread.join成功返回）先行发生于主线程之后的操作。 - 线程中断规则：对线程的中断调用先行发生于被检查到中断事件。
- 对象终结规则：对象构造完成先行发生于
finalize的开始。 - 传递性：如果 A happens-before B，B happens-before C，则 A happens-before C。
volatile 与锁#
volatile保证可见性与禁止指令重排序，不保证复合操作原子性；synchronized/ReentrantLock同时提供互斥与可见性；- 双重检查锁定必须让单例实例变量
volatile才安全。
安全发布模式#
- 在静态初始化器中创建对象；
- 将对象引用存储至
volatile变量或原子引用； - 使用锁保护对象写入；
- 将引用放入线程安全容器。
常见案例#
- 指令重排序：无
volatile的双重检查单例可能读取到未初始化的对象。 - 发布-订阅模型：生产者写入
volatile标记，消费者读取后刷新数据。 - 不可变对象：
final字段在构造完成后对其他线程可见。
调试与验证#
- 使用
jcstress运行 JMM 竞态测试； - Java Flight Recorder 事件
Java Monitor Blocked、Thread Dump分析锁争用； hsdis反汇编确认指令序列。
自检清单#
- 是否清楚代码依赖哪些 happens-before 规则？
- 是否使用了安全发布手段让对象对其他线程可见？
- 是否评估锁竞争与
volatile对性能的影响？
参考资料#
- Java Language Specification - Chapter 17 Threads and Locks：https://docs.oracle.com/javase/specs/jls/se8/html/jls-17.html
- Java Concurrency in Practice（JCiP）JMM 章节：https://jcip.net/
- OpenJDK jcstress 工具介绍：https://openjdk.org/projects/code-tools/jcstress/
本作品系原创，采用知识共享署名-非商业性使用-禁止演绎 4.0 国际许可协议进行许可，转载请注明出处。