volatile与指令重排是什么？

最新推荐文章于 2025-04-07 11:07:50 发布

程序员-杨胡广

最新推荐文章于 2025-04-07 11:07:50 发布

阅读量967

点赞数 21

CC 4.0 BY-SA版权

分类专栏： Java知识文章标签： java 算法数据结构 jvm

本文链接：https://blog.csdn.net/weixin_68811816/article/details/141674585

Java知识专栏收录该内容

13 篇文章

订阅专栏

1. 指令重排序

1.1 重排序是什么

指令重排序字面上听起来很高级，但只要理解了并不难掌握。我们先来看看指令重排序究竟有什么作用。

指令重排序的主要作用是可以优化编译器和处理器的执行效率，提高程序性能。例如多条执行顺序不同的指令，可以重排序让轻耗时的指令先执行，从而让出CPU流水线资源供其他指令使用。

但如果指令之间存在着数据依赖关系，则编译器和处理器不会对相关操作进行指令重排序，避免程序执行结果改变。这个规则也称为as-if-serial语义。例如以下代码。

String book = "JavaGetOffer"; // A
String avator = "思考的陈"; // B
String msg = book + abator; // C

对于A、B，它们之间并没有依赖关系，谁先执行对程序的结果没有任何影响。但C却依赖于A、B，不能出现类似C -> A -> B或C -> B -> A或A -> C -> B或B -> C -> A之类的指令重排，否则程序执行结果将改变。

1.2 重排序的问题

在单线程环境下，有as-if-serial语义的保护，我们无需担心程序执行结果被改变。但在多线程环境下，指令重排序会出现数据不一致的问题。举个多线程的例子方便大家理解。

       int number = 0;
       boolean flag = false;
       public void method1() {
           number = 6;                // A
           flag = true;               // B
       }
       public void method2() {
           if (flag) {               // C
               int i = number * 6;   // D
           }
       }

假如现在有两个线程，线程1执行method1、线程2执行method2。因为method1其中的A、B之间没有数据依赖关系，可能出现B -> A的指令重排序，大家注意这个指令重排序会影响到线程2执行的结果。

当B指令执行后A指令还没有执行number = 6，此时如果线程2执行method2同时给i赋值为0 * 6。很明显程序运行结果和我们预期的并不一致。

2. volatile

2.1 volatile特性

关于上文的重排序问题，可以使用volatile关键字来解决。volatile一共有以下特性：

可见性。volatile修饰的变量每次被修改后的值，对于任何线程都是可见的，即任何线程会读取到最后写入的变量值。
禁止代码重排序。对于volatile变量操作的相关代码不允许重排序。

       int number = 0;
       volatile boolean flag = false;
       public void method1() {
           number = 6;                // A
           flag = true;               // B
       }
       public void method2() {
           if (flag) {               // C
               int i = number * 6;   // D
           }
       }

由于volatile具有禁止代码重排序的特性，所以不会出现上文的B -> A的指令重排序。另外volatile具有可见性，falg的修改对线程2来说是可见的，线程会立刻感知到flag = ture从而执行对i的赋值。以上问题可以通过volatile解决，和使用synchronized加锁是一样的效果。

2.2 可见性原理

内存一共分为两种，线程的本地内存和线程外的主内存。对于一个volatile修饰的变量，任何线程对该变量的修改都会同步到主内存。而当读一个volatile修饰的变量时，JMM（Java Memory Model）会把该线程对应的本地内存置为无效，从而线程读取变量时读取的是主内存。

线程每次读操作都是读取主内存中最新的数据，所以volatile能够实现可见性的特性。

2.3 volatile局限性

企业生产上还是比较少用到volatile的，对于加锁操作会使用的更多些。

synchronized加锁操作虽然开销比volatile大，但却适合复杂的业务场景。而volatile只适用于状态独立的场景，例如上文对flag变量的读写。
volatile编写的代码是比较难以理解的，不清楚整个流程和原理很难维护代码。
volatile不具有原子性的特质，无法保证高并发写操作下的原子性。