volatile

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获取共享变量的最新值，可以解决原子性问题