Volatile关键字能保证原子性么？

说到这个 volatile 这个关键字，关键阿粉觉得看过阿粉文章的保证，肯定都对这个关键字那是原性非常的熟悉的，因为做Java开发的关键，在面试的保证时候，如果涉及到多线程，原性那么面试官有不少人会询问关于 volatile 这个关键字的关键使用，以及他的保证作用，今天阿粉就来说说这个 volatile 关键的原性的作用，以及他的关键一些特性。

volatile

volatile 是保证 Java 中的一个相对来说比较重要的关键字，主要就是原性用来修饰会被不同线程访问和修改的变量。

而这个变量只能保证两个特性，关键一个是保证保证有序性，另外一个则是原性保证可见性。

那么什么是云服务器有序性，什么又是可见性呢？

有序性

那么什么是有序性呢？

其实程序执行的顺序按照代码的先后顺序执行，禁止进行指令重排序。

看似理所当然，其实并不是这样，指令重排序是JVM为了优化指令，提高程序运行效率，在不影响单线程程序执行结果的前提下，尽可能地提高并行度。

但是在多线程环境下，有些代码的顺序改变，有可能引发逻辑上的不正确。

而 volatile 就是因为有这个特性，所以才被大家熟知的。

volatile 又是如何保证有序性的呢？

有很多小伙伴就说，网上说的是 volatile 可以禁止指令指令重排序，这就保证了代码的站群服务器程序会严格按照代码的先后顺序执行。这就保证了有序性。被 volatile 修饰的变量的操作，会严格按照代码顺序执行，就是说当代码执行到 volatile 修饰的变量时，其前面的代码一定执行完毕，后面的代码一定没有执行。

如果这时候，面试官不再继续深挖下去的话，那么恭喜你，可能这个问题已经回答完了，但是如果面试官继续往下深挖，为什么会禁止指令重排，什么又是指令重排呢？

在从源码到指令的执行，一般是分成了三种重排，如图所示：

我们接下来就得看看 volatile 是如何禁止指令重排的。

我们直接用代码来进行验证。

public class ReSortDemo {

int a = 0;

boolean flag = false;

public void mehtod1(){

a = 1;

flag = true;

}

public void method2(){

if(flag){

a = a +1;

System.out.println("最后的值: "+a);

}

}

}

如果有人看到这段代码，香港云服务器肯定会说，那这段代码出来的结果会是什么呢？

有些人说是 2，是的， 如果你只是单线程调用，那结果就是 2，但是如果是多线程调用的时候，最后的输出结果不一定是我们想象到的 2，这时就要把两个变量都设置为 volatile。

如果大家对单例模式了解比较多的话，肯定也是关注过这个 volatile，为什么呢？

大家看看如下代码：

class Singleton {

// 不是一个原子性操作

//private static Singleton instance;

//改进，Volatile 可以保持可见性，不能保证原子性，由于内存屏障，可以保证避免指令重排的现象产生！

private static volatile Singleton instance;

// 构造器私有化

private Singleton() {

}

// 提供一个静态的公有方法，加入双重检查代码，解决线程安全问题, 同时解决懒加载问题，同时保证了效率, 推荐使用

public static Singleton getInstance() {

if (instance == null) {

synchronized (Singleton.class) {

if (instance == null) {

instance = new Singleton();

}

}

}

return instance;

}

}

上面的单例模式大家熟悉么？

是的，这就是 **双重检查(DCL 懒汉式)

**

有人会说，因为有指令重排序的存在，双端检索机制也也不一定是线程安全的呀，对呀，所以阿粉用到了 synchronized 关键字，让他变成了线程安全的了。

可见性

其实可见性就是，在多线程环境中，对共享变量的修改对于其他线程是否立即可见的问题。

那么他的可见性一般都会表现在什么地方呢？用在什么地方呢？

其实在阿粉的感知中，一般用这个变量，很多都是为了保证他的可见性，就比如定义的一个全局变量，在其中有个循环来判断这个变量的值，有一个线程修改了这个参数的时候，这个循环会停止，跳转到之后去执行。

我们来看看没有使用volatile修饰代码实现：

public class Test {

private static boolean flag = false;

public static void main(String[] args) throws Exception{

new Thread(new Runnable() {

@Override

public void run() {

System.out.println("线程A开始执行:");

for (;;){

if (flag){

System.out.println("跳出循环");

break;

}

}

}

}).start();

Thread.sleep(100);

new Thread(new Runnable() {

@Override

public void run() {

System.out.println("线程B开始执行");

flag = true;

System.out.println("标识已经变更");

}

}).start();

}

}

结果大家肯定是可想而知。

运行结果肯定是：

线程A开始执行:

线程B开始执行

标识已经变更

确实，就是这样的。

如果我们用 volatile 呢，那么这个代码的执行结果就会不一样呢？

我们来试一下：

public class Test {

private static volatile boolean flag = false;

public static void main(String[] args) throws Exception{

new Thread(new Runnable() {

@Override

public void run() {

System.out.println("线程A开始执行:");

for (;;){

if (flag){

System.out.println("跳出循环");

break;

}

}

}

}).start();

Thread.sleep(100);

new Thread(new Runnable() {

@Override

public void run() {

System.out.println("线程B开始执行");

flag = true;

System.out.println("标识已经变更");

}

}).start();

}

这样我们就能看到另外一个执行结果，在循环当中的输出语句是可以被执行的。

也就是说，在线程B 中，我们去修改这个被修饰的变量，那么最终，在线程A中，就能顺利读取到我们的数据信息了。

是否能够保证原子性

不能，我们来看一点代码，被volatile修饰的变量；

public class Test {

// volatile不保证原子性

// 原子性：保证数据一致性、完整性

volatile int number = 0;

public void addPlusPlus() {

number++;

}

public static void main(String[] args) {

Test volatileAtomDemo = new Test();

for (int j = 0; j < 20; j++) {

new Thread(() -> {

for (int i = 0; i < 1000; i++) {

volatileAtomDemo.addPlusPlus();

}

}, String.valueOf(j)).start();

}// 后台默认两个线程：一个是main线程，一个是gc线程

while (Thread.activeCount() > 2) {

Thread.yield();

}

// 如果volatile保证原子性的话，最终的结果应该是20000 // 但是每次程序执行结果都不等于20000

System.out.println(Thread.currentThread().getName() +

" final number result = " + volatileAtomDemo.number);

}

}

如果能够保原子性，那么最终的结果应该是20000，但是每次的最终结果并不能保证就是20000，比如：

main final number result = 17114

main final number result = 20000

main final number result = 19317

三次执行，都是不同的结果。

为什么会出现这种呢？这就和number++有关系了。

number++被拆分成3个指令：

执行GETFIELD拿到主内存中的原始值number。执行IADD进行加1操作。执行PUTFIELD把工作内存中的值写回主内存中。

当多个线程并发执行PUTFIELD指令的时候，会出现写回主内存覆盖问题，所以才会导致最终结果不为 20000，所以 volatile 不能保证原子性。

所以，你知道怎么回答了么？