Java关键字volatile

一、定义

    Volatile是java虚拟机提供的一种最轻量级的同步机制，用来确保将变量的更新操作到其他线程。当把变量声明成volatile类型后，编译器与运行时都会注意到这个变量是共享的，因此不会将该变量上的操作与其他的内存操作一起重排序。Volatile变量不会被缓存在寄存器或者其他处理器不可见的地方，因此在读取volatile类型的变量时候总会返回最新的写入值。

二、属性

（一） Volatile的属性

    1．可见性，保证此变量对所有线程的可见性，这里的“可见性”是指当一条线程修改了这个变量的值，新值对于其他线程来说是可以立刻得知的，分为如下三步：

      1）使用volatile关键字会强制将修改的值立即写入主存。

      2）使用volatile关键字的话，当线程2进行修改时，会导致线程1的工作内存中缓存变量缓存行无效（反映到硬件层的话，就是CPU的L1或者L2缓存中对应的缓存行无效）。

      3）由于线程1的工作内存中缓存变量缓存行无效，所以线程1再次读取变量的值时会去主存读取。

        例如：线程A修改了一个普通变量的值，然后向主内存进行了回写，另外一条线程B在线程A回写完后再从主内存进行读取操作，新变量的值才会对线程B可见。

    2．禁止指令重排序优化

      1）为什么会出现指令重排

      为了使得处理器内部的运算单元能够尽量被充分利用，处理器可能会对输入的代码进行乱序执行优化，处理器会在计算之后将乱序执行的结果重组，保证该结果与顺序执行的结果是一致的，但是并不保证程序中各个语句的计算顺序与输入代码中的顺序一致，因此存在一个计算任务依赖另外一个计算任务的中间结果，那么其顺序性并不能靠代码的先后顺序来保证。

      2） 禁止指令重排的意义

       在Java内存模型中，允许编译器和处理器对指令进行重排序，但是重排序过程不会影响到单线程程序的执行，却会影响到多线程并发执行的正确性。

      

 //线程1

boolean stop =false;

while(!stop){

           doSomething();

}

 

//线程2

stop = true;

      那么当线程2更改了stop变量的值之后，但是还没来得及写入主存当中，线程2转去做其他事情了，那么线程1由于不知道线程2对stop变量的更改，因此还会一直循环下去。

（二） Volatile与原子性

    1．什么是原子性

      1）即一个操作或者多个操作要么全部执行并且执行的过程不会被任何因素打断，要么就都不执行。

    2．原子性对volatile的影响

      1）java里面的运算并非原子操作，导致volatile变量的运算在并发下一样是不安全的。

    3．多线程环境下，从自增运算a++分析对volatile修饰变量的a的影响：

      1） 字节码指令分析这里的自增可视为四步，第一步：使用getstatic指令把a的值取到操作栈顶；第二步：iconst_1指令将常量1压入栈中；第三步：iadd指令自增；第四步：putstatic指令将自增的值回写主内存。

      2）由于a++不是原子操作，即使用volatile修饰那也可能存在这种场景会导致程序运行的结果并非我们想象：volatile关键词保证了getstatic这一步是能取到值是正确的，但是在执行iconst_1和iadd这些指令时候可能其他线程加大了a的值，而在操作栈顶的值就变成了过期的数据，所以putstatic指令执行后就可能把较小的值回写入内存中。

      3）这里有个疑惑就是上文中说了，当线程2修改了volatile关键词修饰的值时候会使线程1工作内存缓存的值失效。既然失效，由于第二步iconst_1是单纯将常量1压入栈中不涉及到变量a，那么在第三步iadd时候应该会去读取主内存中新的值然后运算出正确的结果，而不应该还使用失效的a值来运算？猜测：一条字节码指令执行时不意味着就是一个原子操作，比如如果是编译执行，那么在第三步iadd可能转化成若干条本地机器码指令，这就有可能即使a已经过期了但是已经不需要a了（即使其他线程修改了变量a，但是时间片让出来继续走第三步剩下的指令时候用不到a变量）。

三、总结

（一）使用中注意点

    1．仅当volatile变量能简化代码的实现以及对不同策略的验证时候，才应该使用它们。

    2．确保它们自身状态的可见性，确保它们所引用对象的状态的可见性，以及标识一些重要的程序生命周期事件的发生（例如，初始化或者关闭）。

    3．加锁机制既可以确保可见性又可以确保原子性，而volatile变量只能确保可见性。

（二）使用条件

    1．当且仅当满足一下所有条件时候才能使用：

      1）对变量的写入操作部依赖变量的当前值，或者你能确保只有单个线程更新变量的值。

      2）该变量不会与其他状态变量一起纳入不变性条件中。

      3）在访问变量时不需要加锁。