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

fatherlaw

发布于 2022-9-1 17:42

浏览

0收藏

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

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

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

那么什么是有序性，什么又是可见性呢？

有序性

那么什么是有序性呢？

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

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

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

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

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);
        }
    }
}1.
2.
3.
4.
5.
6.
7.
8.
9.
10.
11.
12.
13.
14.
15.
16.
17.

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

有些人说是 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;
 }
}1.
2.
3.
4.
5.
6.
7.
8.
9.
10.
11.
12.
13.
14.
15.
16.
17.
18.
19.
20.
21.
22.

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

是的，这就是 **双重检查(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();
    }

}1.
2.
3.
4.
5.
6.
7.
8.
9.
10.
11.
12.
13.
14.
15.
16.
17.
18.
19.
20.
21.
22.
23.
24.
25.
26.
27.
28.
29.
30.

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

运行结果肯定是

线程A开始执行:
线程B开始执行
标识已经变更1.
2.
3.

确实，就是这样的。

Volatile关键字能保证原子性么？-鸿蒙开发者社区
如果我们用 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();
    }1.
2.
3.
4.
5.
6.
7.
8.
9.
10.
11.
12.
13.
14.
15.
16.
17.
18.
19.
20.
21.
22.
23.
24.
25.
26.
27.
28.

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

Volatile关键字能保证原子性么？-鸿蒙开发者社区
也就是说，在线程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);
    }

}1.
2.
3.
4.
5.
6.
7.
8.
9.
10.
11.
12.
13.
14.
15.
16.
17.
18.
19.
20.
21.
22.
23.
24.
25.
26.
27.
28.

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

main final number result = 17114
main final number result = 20000
main final number result = 193171.
2.
3.

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

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

number++被拆分成3个指令

• 执行GETFIELD拿到主内存中的原始值number
• 执行IADD进行加1操作
• 执行PUTFIELD把工作内存中的值写回主内存中
当多个线程并发执行PUTFIELD指令的时候，会出现写回主内存覆盖问题，所以才会导致最终结果不为 20000，所以 volatile 不能保证原子性。

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

本文转载自公共号java极客技术。

分类

其他

标签

mysql

已于2022-9-1 17:42:14修改

51CTO

51CTO博客

51CTO学堂

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

订阅鸿蒙技术特刊，精选内容抢先看