volatile的学习

volatile作用

可见性：当一个线程修改了声明为volatile变量的值，新值对于要读该变量的线程来说是立即可见的

有序性：代码的执行禁止指令重排序

可见性和原子性的区别

原子性：一个或多个操作在CPU执行过程中不中断称为原子性。对于volatile变量的读/写操作具有原子性，但是复合操作没有，比如i++。所以volatile并不保证原子性。

volatile在JMM中的可见性原理

在Java内存模型（JMM，Java Memory Model）中，所有的变量都存储在祝内存，每条线程都有自己的工作内存，工作内存保存了该线程从主内存中保存的副本，线程对于变量的读写都必须在工作内存中进行。

对于共享变量，线程A修改后，还没有同步到主内存，如果这是线程B使用工作内存中的变量，就出现了共享变量的值不一致的问题，就是线程的可见性问题。

volatile的作用：当volatile变量执行写操作后，会把工作内存中的最新变量刷新回主内存，并让其它线程中的缓存失效。

有序性的实现原理

JMM会加内存屏障，在volatile的写操作和读操作的前后加内存屏障，如StoreLoad屏障

缓存一致性协议

CPU和物理内存之间有L1，L2和L3缓存，同样的原因导致缓存不一致的问题。

两种解决思路：

1.总线加锁，一次只能有一个核心对数据进行修改，这样会导致CPU处理性能严重下降。

2.使用缓存一致性协议如MESI，这是一种高效的内存数据管理方案，只会对单个缓存行的数据进行加锁，不影响内存中其它数据的读写。MESI分别代表缓存行数据所处的四种状态，通过对这四种状态的切换，达到对缓存数据进行管理的能力。

3.为什么有了MESI还要volatile？
因为MESI是弱一致性协议。

 

CPU和L1缓存之间还有个store buffer,CPU会先存到store buffer,等buffer满了才会真正执行store操作。

volatile会强制刷新store buffer。

什么时候需要用到volatile？

使用双检锁的单例模式

//注意volatile！！ 
private volatile static Singleton instace;   
  
public static Singleton getInstance() {   
    //第一次null检查     
    if(instance == null) {            
        synchronized(Singleton.class) {    //1     
            //第二次null检查       
            if(instance == null) {            //2  
                instance = new Singleton();//3  
            }  
        }           
    }  
    return instance;
}