Volatile原理（大白话）

jerry_dyy

已于 2022-01-22 00:42:26 修改

阅读量224

点赞数

分类专栏： JVM 文章标签： java 后端 volatile

于 2022-01-16 12:59:20 首次发布

本文链接：https://blog.csdn.net/weixin_35794878/article/details/122521183

版权

JVM 专栏收录该内容

20 篇文章 6 订阅

订阅专栏

Volatile的使用：

翻译过来的意思是不稳定的、易变的。在java中volatile是一个修饰符，用于修饰成员变量的。如果一个成员变量被volatile所修饰了，那么这个变量就成了“不稳定的变量”，这个变量的读写机制就有一些特殊性，用于实现一些特殊的目的。

Java内存模型：

讲Volatile之前，肯定得熟悉Java内存模型。简单来两张图，概念都在图中了：

第一张是Java内存模型，内存分为哪些部分，各个部分的内存是如何交互的：

第二张图展示了一个变量读和写所经历的过程：

Volatile变量：

volatile变量的特殊性在于其可见性、有序性。用于实现的特殊目的在于：保证这个变量的线程安全。

可见性：

所谓可见性，是Java内存模型中的概念，说的是一个线程的变量的修改，另一个线程是否立刻可见。

被volatile修饰的变量i，当该变量被线程A修改后，会保证新值会立刻从工作内存刷到主内存中，并且使线程B的工作内存中的变量i失效，然后线程B在读取变量i时，会重新加载主内存中的变量i（也就是i的新值）到其工作内存中。所以在执行引擎的角度来看：volatile变量在所有线程的工作内存中始终是一致的，这条规则是成立的！

有序性：

所谓有序性，是Java内存模型中的概念，说的是代码执行的效果是否和按代码书写顺序执行的效果一致。在Java内存模型中有序性表现为：在A线程内看A线程的执行，一切都是有序的；在B线程内看A线程的执行，一切都是无序的。

先来看看happens before原则：

为了指令执行得更高效，编译器、指令器会进行重排序。编译器是JVM层面的，是对java代码语句进行编译时的重排序；指令器是硬件层面的，是对机器指令执行时的重排序。

Happens before原则制订了一些列规则，在一定程度上限制了编译器、指令器的不合理的重排序：

·  程序次序规则：一个线程内，按照代码顺序，书写在前面的操作先行发生于书写在后面的操作；

·  管程锁定规则：一个unLock操作先行发生于后面对同一个锁的lock操作；（此处后面指时间的先后）

·  volatile变量规则：对一个变量的写操作先行发生于后面对这个变量的读操作；（此处后面指时间的先后）

·  线程启动规则：Thread对象的start()方法先行发生于此线程的每个一个动作；

·  线程终结规则：线程中所有的操作都先行发生于线程的终止检测，我们可以通过Thread.join()方法结束、Thread.isAlive()的返回值手段检测到线程已经终止执行；

·  线程中断规则：对线程interrupt()方法的调用先行发生于被中断线程的代码检测到中断事件的发生；

·  对象终结规则：一个对象的初始化完成先行发生于他的finalize()方法的开始；

·  传递性：如果操作A先行发生于操作B，而操作B又先行发生于操作C，则可以得出操作A先行发生于操作C。

在上面我们可以看到一条关于volatile变量的原则：对一个变量的写操作先行发生于后面对这个变量的读操作（此处后面指时间的先后）。那如何实现的呢？底层通过一个“内存屏障”的东西，实现了这条原则。

这条原则有什么用？看下面的伪代码：

public volatile boolean flag;

//假设该代码在线程A中执行
public void test(){
    this.flag = true;
    
}

//假设该代码在线程B中执行
public void add(){
    if(flag){
        orderService.add();
    }
}

对于普通变量来说，只能实现在单个线程中使用该变量的代码在该变量的赋值操作之后，也就是只能实现单线程内的有序性。而对于volatile变量来说，可以实现跨线程的场景下，对volatile变量的使用发生在volatile变量的赋值操作之后，也就是可以实现多线程条件下的有序性。