volatile关键字的作用是什么?

　　防重排序

　　我们从一个最经典的例子来分析重排序问题。大家应该都很熟悉单例模式的实现，而在并发环境下的单例实现方式，我们通常可以采用双重检查加锁(DCL)的方式来实现。

　　其源码如下：

volatile关键字的作用是什么1

　　现在我们分析一下为什么要在变量singleton之间加上volatile关键字。要理解这个问题，先要了解对象的构造过程，实例化一个对象其实可以分为三个步骤：

　　分配内存空间。初始化对象。将内存空间的地址赋值给对应的引用。

　　但是由于操作系统可以对指令进行重排序，所以上面的过程也可能会变成如下过程：

　　分配内存空间。将内存空间的地址赋值给对应的引用。初始化对象

　　如果是这个流程，多线程环境下就可能将一个未初始化的对象引用暴露出来，从而导致不可预料的结果。因此，为了防止这个过程的重排序，我们需要将变量设置为volatile类型的变量。

　　实现可见性

　　可见性问题主要指一个线程修改了共享变量值，而另一个线程却看不到。引起可见性问题的主要原因是每个线程拥有自己的一个高速缓存区——线程工作内存。

　　volatile关键字能有效的解决这个问题，我们看下下面的例子，就可以知道其作用：

volatile关键字的作用是什么2

　　直观上说，这段代码的结果只可能有两种：b=3;a=3 或 b=2;a=1。不过运行上面的代码(可能时间上要长一点)，你会发现除了上两种结果之外，还出现了另外两种结果：

volatile关键字的作用是什么3

　　为什么会出现b=2;a=3和b=3;a=1这种结果呢? 正常情况下，如果先执行change方法，再执行print方法，输出结果应该为b=3;a=3。相反，如果先执行的print方法，再执行change方法，结果应该是 b=2;a=1。那b=3;a=1的结果是怎么出来的? 原因就是个线程将值a=3修改后，但是对第二个线程是不可见的，所以才出现这一结果。如果将a和b都改成volatile类型的变量再执行，则再也不会出现b=2;a=3和b=3;a=1的结果了。

　　保证原子性:单次读/写

　　volatile不能保证完全的原子性，只能保证单次的读/写操作具有原子性。