volatile关键字的功能和底层实现原理

功能1：变量内存间的可见性

1. 概述

如果一个变量被volatile关键字修饰，那么所有线程都是可见的。所谓可见就是，当一条线程修改了这个变量值，新值对于其他线程来时是立即可见的; 而普通变量不能做到这一点。

• 对于普通的变量： 普通变量的值在线程间传递均需要通过主内存来完成，
• 对于volatile关键字修饰的变量：多线程下jvm会为每个线程分配一个独立的缓存来提高效率，当一个线程修改了该变量后，另外一个线程立即可以看到

2. 底层原理

当对非volatile变量进行读写的时候，每个线程先从主内存拷贝变量到CPU缓存中，如果计算机有多个CPU，每个线程可能在不同的CPU上被处理，这意味着每个线程可以拷贝到不同的CPU cache中。
  volatile变量不会被缓存在寄存器或者对其他处理器不可见的地方，保证了每次读写变量都从主内存中读，跳过CPU cache这一步。当一个线程修改了这个变量的值，新值对于其他线程是立即得知的。
  

功能2： 禁止指令重排序

1.概念

指令重排序是JVM为了优化指令、提高程序运行效率，在不影响单线程程序执行结果的前提下，尽可能地提高并行度。
指令重排序包括编译器重排序和运行时重排序。
在JDK1.5之后，可以使用volatile变量禁止指令重排序。针对volatile修饰的变量，在读写操作指令前后会插入内存屏障，指令重排序时不能把后面的指令重排序到内存屏障之前

内存屏障 是一组处理器指令，用于实现内存操作的顺序限制

例如：

int l = 1;//1
int r = 2;//2
int res = l + r;//3

虽然代码语句的定义顺序为1->2->3，但是计算顺序1->2->3与2->1->3对结果并无影响，所以编译时和运行时可以根据需要对1、2语句进行重排序。

2. 指令重排序可能会带来的问题

如果一个操作不是原子的，就会给JVM留下重排的机会。

线程A中
{
    context = loadContext();
    inited = true;
}

线程B中
{
    if (inited) 
        fun(context);
}

如果线程A中的指令发生了重排序，那么B中很可能就会拿到一个尚未初始化或尚未初始化完成的context,从而引发程序错误。

3. 禁止指令重排的原理

volatile关键字提供内存屏障的方式来防止指令被重排，编译器在生成字节码文件时，会在指令序列中插入内存屏障来禁止特定类型的处理器重排序。

JVM内存屏障插入策略：

• 每个volatile写操作的前面插入一个StoreStore屏障；
• 在每个volatile写操作的后面插入一个StoreLoad屏障；
• 在每个volatile读操作的后面插入一个LoadLoad屏障；
• 在每个volatile读操作的后面插入一个LoadStore屏障。

事例待续。。。