1.JMM
JMM 即 Java Memory Model ,它定义了主存、工作内存抽象概念,底层对应着 CPU 寄存器、缓存、硬件内存、 CPU 指令优化等。JMM 体现在以下几个方面原子性 - 保证指令不会受到线程上下文切换的影响可见性 - 保证指令不会受 cpu 缓存的影响有序性 - 保证指令不会受 cpu 指令并行优化的影响
2.可见性的问题:
如下代码含义:
t1线程获取成员变量run的值,如果为真,则一直执行,直到run为false,停止。
通过主线程将run的值改为false,发现t1线程并没有停止执行。
static boolean run=true;
public static void main(String[] args) throws InterruptedException {
Thread t1=new Thread(()->{
while(run){
}
});
t1.start();
Thread.sleep(1);
run=false;
}
原因:
因为run变量会被t1线程多次使用,每次从主内存中获取会影响效率,JIT即时编译器会将run放入t1线程的工作内存的高速缓存中,不会再访问主内存获取run的值
3.有序性的问题/指令重排:
如下图代码:t1线程执行actor1方法,t2线程执行actor2方法。
r.r1可能出现为0的结果。
原因:
计算机会对没有顺序要求的代码进行指令重排,即actor2的两行代码可能在执行时被调换了顺序,刚吧ready设置为true,t1线程获取了时间片开始执行
但是num仍然为0,所以r.r1=0+0=0
4.volatile:
volatile可以解决可见性和有序性问题
在共享变量上加上volatile,每次都需要从主内存读值,并且禁止指令重排序
5.volatile解决可见性和有序性的原理:
volatile的底层实现是内存屏障,Memory Barrier
对volatile变量的写指令后面会加上写屏障,
对volatile变量的读指令前面会加上读屏障
6.volatile解决可见性问题:
写屏障( sfence )保证在该屏障之前的,对共享变量的改动,都同步到主存当中读屏障( lfence )保证在该屏障之后,对共享变量的读取,加载的是主存中最新数据
7.volatile解决有序性/指令重排问题:
写屏障会确保指令重排序时,不会将写屏障之前的代码排在写屏障之后读屏障会确保指令重排序时,不会将读屏障之后的代码排在读屏障之前
8.cas和volatile配合解决原子性/指令交错问题:
cas:compareAndSet 比较并交换,需要配合volatile获取共享变量的最新值,可以解决原子性问题