1.Java内存模型(JMM)概述
1.目的
- JMM旨在解决多线程程序的正确性和可移植性问题,确保Java程序在不同硬件平台和编译器上的行为一致。
2.背景
- Java是最早引入内存模型的语言之一,早期C、C++等语言没有内存模型,行为依赖于处理器的内存一致性模型,导致程序在不同处理器上的表现不一致。
2.Happen-before
1.定义
Happen-before
关系是JMM
中保证多线程操作可见性的机制。- 它不仅保证了操作的执行顺序,还保证了内存读写操作的顺序。
2.核心作用
- 禁止指令重排序:编译器/处理器优化必须遵守happens-before规则,不能破坏程序的逻辑顺序。
- 保证内存可见性:若操作A happens-before操作B,则A对共享变量的修改对B可见。
3.具体表现形式
1.线程内操作的顺序保证
定义:线程内执行的每个操作都保证happen-before
后续的操作。
示例:在单线程中,代码的书写顺序(程序顺序)决定了操作的执行顺序。
int x = 1; // 操作A
int y = 2; // 操作B
2.volatile
变量的读写操作顺序保证
定义:对volatile变量的写操作happen-before
后续对该变量的读操作。
示例:
volatile boolean flag = false;
// 线程A
flag = true; // 写操作
// 线程B