📝个人主页:五敷有你
🔥系列专栏:并发编程
⛺️稳重求进,晒太阳
这一章进一步深入学习共享变量在多线程间的【可见性】问题,与多条指令执行时的【有序性】问题
Java内存模型
JMM即Java Memory Model ,它定义了内存,工作内存的抽象概念,底层对应着CPU寄存器,缓存,硬件内存,CPU指令优化等。
JMM体现在如下几个方面
- 原子性:保证指令不会受到线程上下文切换的影响
- 可见性:保证指令不会收到CPU缓存的影响
- 有序性:保证指令不会受CPU指令并行优化的影响
可见性
退不出的循环
先来看一个现象,main线程对run变量的修改对于t线程不可见,导致t线程无法停止
stat
static boolean run=true;
public static void main(String[] args) throws InterruptedException {
Thread t1=new Thread(()->{
while (run){
//...一直运行
}
});
t1.start();
Thread.sleep(2000);
run=false;
log.debug("停止{}",run);
}
为什么呢?分析一下
初始状态,t线程刚开始从主存读取到run的值到工作内存
2 因为t线程要频繁主存中读取run的值,JIT编译器会将run的值缓存至自己的工作内存中的高速缓存中,。减少对主存中run的访问。提高效率
3、 1s后,mian线程修改了run的值,并同步至主存,而t是从自己工作内存中的高速缓存中读取这个变量的值,结果永远是旧的值
可见性解决方法
-
volatile(易变关键字)
它可以用来修饰成员变量和静态成员变量,不能修饰局部变量,他可以避免线程从自己的工作缓存中查找变量的值,必须到主存中获取它的值,线程操作 volatile 变量都是直接操作主存
-
synchorinzed
某一个线程进入synchronized代码块前后,线程会加锁,清空工作内存,从主内存拷贝共享变量最新的值到工作区称为副本
执行代码,将修改后的副本刷新回到主存中,线程释放锁
可见性VS原子性
前面例子体现的是可见性,它保证的是在多个线程之间,一个线程对volatile变量的修改对另一个线程可见,不能保证原子性,仅用一个写线程,多个读线程的清空。
上例的字节码文件理解是这样的:
比较一下,之前线程安全时举得例子:两个线程一个i++,一个i--,只能保证看到最新值,不能解决指令交错的问题。
在下面,线程2读取值0 然后切换 线程1读取i的值, 之后准备常熟1 ,然后写回JMM,之后线程2 修改后写回JMM, 结果是-1,与期待不符,这是原子性问题,而volatile是解决的可见性的问题
注意 synchronized 语句块既可以保证代码块的原子性,也同时保证代码块内变量的可见性。但缺点是synchronized 是属于重量级操作,性能相对更低
如果在前面示例的死循环中加入 System.out.println() 会发现即使不加 volatile 修饰符,线程 t 也能正确看到对 run 变量的修改了,想一想为什么?
如下,在println中有synchronized
有序性
JVM会在不影响正确性的前提下,可以调整语句的执行顺序,思考下面的一段代码
static int i; static int j; //在某个线程内执行如下赋值操作 i=...; j=...;
可以看到,至于是先执行i,还是先执行j, 对最终结果不会产生影响,所以,上面的代码真正执行时,既可以是
i=...; j=...;
也可以是
i=...; j=...;
这种特性称之为指令重排序,在多线程下,【指令重排序】会影响正确性,为什么要有指令重排序这项优化呢?从CPU执行指令的原理来理解