volatile 底层原理

1.volatile保证被volatile修饰的共享变量对所有线程总是可见的，也就是当一个线程修改了一个被volatile修饰共享变量的值，新值总是可以被其他线程立即得知。
  

 如图所示，在 java 内存模型中，每个线程有⾃⼰的⼯作内存，同时还有⼀个共享的主
内存。

在多个线程中，当每个线程中都需要使用num这个变量时，那么每个线程都会从主内存中加载num变量到自己的工作内存当中。当代码运行时对num的就直接从工作内存里加载，不需要再从内存里加载。

为什么每个线程都有自己的工作内存呢？工作内存相当于⼀个⾼速的本地缓存。

所以在多线程环境下，线程1修改了num = 1，这时候还没刷新到主内存，其它的内存读取到还是num = 0。在这是就需要使用到volatile了。

 

如上图，在使用volatile修饰的变量，在num的值被修改时，会强制刷新主内存。其它线程的num值会过期 强制从主内存中加载数据。

2.禁止指令重排序优化

 

如上代码，write方法里的1和2做了重排序，线程1先对flag赋值为true，随后执行到线程2，ret直接计算出结果，
再到线程1，这时候a才赋值为2,很明显迟了一步。
但是用volatile修饰之后就变得不一样了
第一：使用volatile关键字会强制将修改的值立即写入主存；
第二：使用volatile关键字的话，当线程2进行修改时，会导致线程1的工作内存中缓存变量stop的缓存行无效（反映到硬件层的话，就是CPU的L1或者L2缓存中对应的缓存行无效）；
第三：由于线程1的工作内存中缓存变量stop的缓存行无效，所以线程1再次读取变量stop的值时会去主
存读取。
inc++; 其实是两个步骤，先加加，然后再赋值。不是原子性操作，所以volatile不能保证线程安全。