可见性:
可见性的两种解决方案:
volatile
sychronized:创建monitor,重!
补充1:while里面加一句print.即使没有volatile修饰变量也可以正常停止。
补充2:设计模式-两阶段终止(volitile版本)
volatile其实就是保证一个线程对变量的修改,在另一个线程中可见。
volitale修饰stop变量,主线程调用stop(),修改stop的值,保证t1线程可见。
补充3:设计模式-犹豫模式
犹豫模式:用在一个线程发现另一个线程或者本线程已经做了某一件相同的事,那么本线程无需再做了,直接结束返回。
原子性
只能保证getstatic获取到内存中变量的最新值
t1 第一句,第六句
t2 第二三四五句
结果:-1
sychronized既可以保证代码块的原子性,同时保证代码块内变量的可见性。缺点是sychronized属于重量级操作,性能相对更低。
指令重排
num=2
ready=true
被指令重排为ready =true num=2就导致最终结果为0
volitile 修饰ready保证ready=true之前的语句不会被重排到ready=true之后。
volitile修饰的变量操作的后面加入一个写屏障,写屏障解决2个问题:写屏障之前的语句不会重排到写屏障之后。写屏障之前的所有修改操作,写屏障之后的语句可见。
volatile原理:内存屏障
volatile变量的写指令后会加入写屏障
volatile变量的读指令前会加入读屏障
单例模式
sychronized的范围太大,因此把if判断放在sychronized的外部,只有instance==null时,才会进入同步代码块。
sychronized内部指令重排,需要用volatile
sychronized内部的if判断,防止之前被阻塞的线程,可以运行以后,直接new instance()。因为已经有线程创建了instance.
参考:
【黑马程序员全面深入学习java并发编程,java基础进阶必学教程-哔哩哔哩】https://b23.tv/Ykgg0z
类加载时,静态变量的赋值由jvm完成。jvm保证其线程安全。