Java并发编程，3分分钟深刻分析volatile的实现原理

volatile原理
volatile简介
Java内存模型告诉咱们，各个线程会将共享变量从主内存中拷贝到工做内存，而后执行引擎会基于工做内存中的数据进行操做处理。 线程在工做内存进行操做后什么时候会写到主内存中？ 这个时机对普通变量是没有规定的，而针对volatile修饰的变量给Java 虚拟机特殊的约定，线程对 volatile变量的修改会马上被其余线程所感知，即不会出现数据脏读的现象，从而保证数据的“可见性”。

一言以蔽之，被volatile修饰的变量可以保证每一个线程可以获取该变量的最新值，从而避免出现数据脏读的现象。

volatile实现原理
volatile是怎样实现了？好比一个很简单的Java代码：

instance = new Instancce() //instance是volatile变量
在生成汇编代码时会在volatile修饰的共享变量进行写操做的时候会多出Lock前缀的指令。 咱们想这个Lock指令确定有神奇的地方，那么Lock前缀的指令在多核处理器下会发现什么事情了？主要有这两个方面的影响：

将当前处理器缓存行的数据写回系统内存
这个写回内存的操做会使得其余CPU里缓存了该内存地址的数据无效
为了提升处理速度，处理器不直接和内存进行通讯，而是先将系统内存的数据读到内部缓存（L1，L2或其余）后再进行操做，但操做完不知道什么时候会写到内存。 若是对声明了volatile的变量进行写操做，JVM就会向处理器发送一条Lock前缀的指令，将这个变量所在缓存行的数据写回到系统内存。可是，就算写回到内存，若是其余处理器缓存的值仍是旧的，再执行计算操做就会有问题。

在多处理器下，为了保证各个处理器的缓存是一致的，就会实现缓存一致性协议，每一个处理器经过嗅探在总线上传播的数据来检查本身缓存的值是否是过时了，当处理器发现本身缓存行对应的内存地址被修改，就会将当前处理器的缓存行设置成无效状态，当处理器对这个数据进行修改操做的时候，会从新从系统内存中把数据读处处理器缓存里。 所以，通过分析咱们能够得出以下结论：

Lock前缀的指令会引发处理器缓存写回内存
一个处理器的缓存回写到内存会致使其余工做内存中的缓存失效
当处理器发现本地缓存失效后，就会从主内存中重读该变量数据，便可以获取当前最新值
这样volatile变量经过这样的机制就使得每一个线程都能得到该变量的最新值。

volatile的happens-before关系
happens-before中的volatile 变量规则（Volatile Variable Rule）：对一个 volatile 变量的写操做先行发生于后面对这个变量的读操做。

public class VolatileExample {

private int a = 0;
private volatile boolean flag = false;
public void writer(){
    a = 1;          //1
    flag = true;   //2
}
public void reader(){
    if(flag){      //3
        int i = a; //4
    }
}

}
对应的happens-before关系以下:

加锁线程A先执行writer方法，而后线程B执行reader方法。 图中每个箭头两个节点就代码一个happens-before关系：

黑色的表明根据程序顺序规则推导出来
红色的是根据volatile变量的写happens-before 于任意后续对volatile变量的读
蓝色的就是根据传递性规则推导出来的 这里的2 happen-before 3，一样根据happens-before规则定义： 若是A happens-before B,则A的执行结果对B可见，而且A的执行顺序先于B的执行顺序， 咱们能够知道操做2执行结果对操做3来讲是可见的，也就是说当线程A将volatile变量 flag更改成true后线程B就可以迅速感知。
volatile的内存语义
public class VolatileExample {

private int a = 0;
private volatile boolean flag = false;
public void writer(){
    a = 1;          //1
    flag = true;   //2
}
public void reader(){
    if(flag){      //3
        int i = a; //4
    }
}

}
假设线程A先执行writer方法，线程B随后执行reader方法，初始时线程的本地内存中flag和a都是初始状态，下图是线程A执行volatile写后的状态图：

当volatile变量写后，线程B中本地内存中共享变量就会置为失效的状态，所以线程B须要从主内存中去读取该变量的最新值。下图就展现了线程B读取同一个volatile变量的内存变化示意图：

从横向来看，线程A和线程B之间进行了一次通讯，线程A在写volatile变量时，实际上就像是给B发送了一个消息告诉线程B你如今的值都是旧的了，而后线程B读这个volatile变量时就像是接收了线程A刚刚发送的消息。既然是旧的了，那线程B该怎么办了？天然而然就只能去主内存去取啦。

volatile的内存语义实现
为了性能优化，JMM在不改变正确语义的前提下，会容许编译器和处理器对指令序列进行重排序，那若是想阻止重排序要怎么办了？ 答案是能够添加内存屏障。

四类JMM内存屏障：

Java编译器会在生成指令系列时在适当的位置会插入内存屏障指令来禁止特定类型的处理器重排序。 为了实现volatile的内存语义，JMM会限制特定类型的编译器和处理器重排序，JMM会针对编译器制定volatile重排序规则表：

"NO"表示禁止重排序。 为了实现volatile内存语义时，编译器在生成字节码时，会在指令序列中插入内存屏障来禁止特定类型的处理器重排序。 对于编译器来讲，发现一个最优布置来最小化插入屏障的总数几乎是不可能的，为此，JMM采起了保守策略：

在每一个volatile写操做的前面插入一个StoreStore屏障
在每一个volatile写操做的后面插入一个StoreLoad屏障

在每一个volatile读操做的后面插入一个LoadLoad屏障
在每一个volatile读操做的后面插入一个LoadStore屏障

须要注意的是：volatile写操做是在前面和后面分别插入内存屏障，而volatile读操做是在后面插入两个内存屏障。

volatile和synchronized的区别
volatile本质是告诉JVM当前变量在寄存器（工做内存）中是无效的，须要去主内存从新读取；synchronized是锁定当前变量，只有持有锁的线程才能够访问该变量，其余线程都被阻塞直到该线程的变量操做完成；
volatile仅仅能使用在变量级别；synchronized则可使用在变量、方法和类级别；
volatile仅仅能实现变量修改的可见性，不能保证原子性；而synchronized则能够保证变量修改的可见性和原子性；
volatile不会形成线程的阻塞；synchronized可能会形成线程的阻塞；
volatile修饰的变量不会被编译器优化；synchronized修饰的变量能够被编译器优化。
免费Java高级资料须要本身领取，涵盖了Java、Redis、MongoDB、MySQL、Zookeeper、Spring Cloud、Dubbo高并发分布式等教程，一共30G。

传送门：https://mp.weixin.qq.com/s/Jz...