📫作者简介：小明Java问道之路，2022年度博客之星全国TOP3，专注于后端、中间件、计算机底层、架构设计演进与稳定性建设优化，文章内容兼具广度、深度、大厂技术方案，对待技术喜欢推理加验证，就职于知名金融公司后端高级工程师。

           

🏆 2022博客之星TOP3 | CSDN博客专家 | 后端领域优质创作者 | CSDN内容合伙人

🏆 InfoQ(极客邦)签约作者、阿里云专家 | 签约博主、51CTO专家 | TOP红人、华为云享专家

         

 🔥如果此文还不错的话，还请👍关注、点赞、收藏三连支持👍一下博主~ 

---

🍅 文末获取联系 🍅  👇🏻 精彩专栏推荐订阅收藏 👇🏻

专栏系列（点击解锁）	学习路线（点击解锁）	知识定位
🔥Redis从入门到精通与实战🔥	Redis从入门到精通与实战	围绕原理源码讲解Redis面试知识点与实战
🔥MySQL从入门到精通🔥	MySQL从入门到精通	全面讲解MySQL知识与企业级MySQL实战
🔥计算机底层原理🔥	深入理解计算机系统CSAPP	以深入理解计算机系统为基石，构件计算机体系和计算机思维
	Linux内核源码解析	围绕Linux内核讲解计算机底层原理与并发
🔥数据结构与企业题库精讲🔥	数据结构与企业题库精讲	结合工作经验深入浅出，适合各层次，笔试面试算法题精讲
🔥互联网架构分析与实战🔥	企业系统架构分析实践与落地	行业最前沿视角，专注于技术架构升级路线、架构实践
	互联网企业防资损实践	互联网金融公司的防资损方法论、代码与实践
🔥Java全栈白宝书🔥	精通Java8与函数式编程	本专栏以实战为基础，逐步深入Java8以及未来的编程模式
	深入理解JVM	详细介绍内存区域、字节码、方法底层，类加载和GC等知识
	深入理解高并发编程	深入Liunx内核、汇编、C++全方位理解并发编程
	Spring源码分析	Spring核心七IOC/AOP等源码分析
	MyBatis源码分析	MyBatis核心源码分析
	Java核心技术	只讲Java核心技术

本文目录

本文导读

一、什么是volatile

二、volatile 的使用场景

三、什么是 happens-before 关系

四、volatile 的原理

1、可见性（lock 前缀的指令）

2、禁止重排（内存屏障）

五、volatile 和 synchronized 的关系

六、单例双重检查锁模式中为什么要 volatile

总结

---

本文导读

本文深入浅出讲解了什么是volatile与volatile 的使用场景，对什么是 happens-before 关系进行不同场景分析，最后分析volatile 可见性（lock指令）与禁止重排（内存屏障）的原理，最后给出两道常见面试题“volatile 和 synchronized 的关系”、“单例双重检查锁模式中为什么要 volatile”作为本文扩展。

一、什么是volatile

volatile 是轻量级的 synchronized，它在多处理器开发中保证了共享变量的“可见性”。可见性的意思是 volatile 修饰的变量对所有线程总数立即可见的，对volatile变量的所有写操作总是能立刻反应到其他线程中。

好处：比 synchronized 的使用和执行成本会更低，因为它不会引起线程上下文的切换和调度。

volatile 保证可见性和禁止重排序，无法保证原子性。Java 提供 volatile 来保证一定的有序性。最著名的例子就是单例模式里面的双重检查锁。重排序它不会影响单线程的运行结果，但是对多线程会有影响。

二、volatile 的使用场景

通常情况，volatile 用来修饰 boolean 类型的标记位，因为对于标记位来讲，直接的赋值操作本身就是具备原子性的，再加上 volatile 保证了可见性，那么就是线程安全的了。

对于多个线程同时操作的的场景，不仅仅是一个简单的赋值操作，而是需要先读取当前的值，然后在此基础上进行一定的修改，再把它给赋值回去。这样一来，我们的 volatile 就不足以保证这种情况的线程安全了。

三、什么是 happens-before 关系

happens-before：该原则保证了程序的“有序性”，它规定如果两个操作的执行顺序无法从 happens-before 原则中推到出来，那么他们就不能保证有序性，可以随意进行重排序。

也就是说，一个线程对于变量的操作需要对另一线程对于变量的操作可见，一定存在happens-before 关系

· 程序顺序原则：即在一个线程内必须保证语义串行性，也就是说按照代码顺序执行。

· 锁规则：解锁(unlock)操作必然发生在后续的同一个锁的加锁(lock)之前，也就是说，如果对于一个锁解锁后，再加锁，那么加锁的动作必须在解锁动作之后(同一个锁)。

· volatile规则：volatile变量的写，先发生于读，这保证了volatile变量的可见性，简单的理解就是，volatile变量在每次被线程访问时，都强迫从主内存中读该变量的值，而当该变量发生变化时，又会强迫将最新的值刷新到主内存，任何时刻，不同的线程总是能够看到该变量的最新值。

· 线程启动规则：线程的start()方法先于它的每一个动作，即如果线程A在执行线程B的start方法之前修改了共享变量的值，那么当线程B执行start方法时，线程A对共享变量的修改对线程B可见
传递性 A先于B ，B先于C 那么A必然先于C

· 线程终止规则：线程的所有操作先于线程的终结，Thread.join()方法的作用是等待当前执行的线程终止。假设在线程B终止之前，修改了共享变量，线程A从线程B的 join方法成功返回后，线程B对共享变量的修改将对线程A可见。

· 线程中断规则：对线程 interrupt()方法的调用先行发生于被中断线程的代码检测到中断事件的发生，可以通过Thread.interrupted()方法检测线程是否中断。

· 对象终结规则对象的构造函数执行，结束先于finalize()方法

四、volatile 的原理

1、可见性（lock 前缀的指令）

第一层的作用是保证可见性。Happens-before 关系中对于 volatile 是这样描述的：对一个 volatile 变量的写操作 happen-before 后面对该变量的读操作。

这就代表了如果变量被 volatile 修饰，那么每次修改之后，接下来在读取这个变量的时候一定能读取到该变量最新的值。

内存屏障（Memory Barrier）的另外一个作用是强制刷出各种CPU的缓存数据，因此任何CPU上的线程都能读取到这些数据的最新版本。

对 Volatile 进行写操作 CPU 会在，有 volatile 变量修饰的共享变量进行写操作的时候，多lock汇编代码。

lock 前缀的指令在CPU中会引发了两件事情：一、将当前处理器缓存行的数据会写回到系统内存。二、这个写回内存的操作会引起在其他 CPU 里缓存了该内存地址的数据无效。

2、禁止重排（内存屏障）

第二层的作用就是禁止重排序。先介绍一下 as-if-serial语义：不管怎么重排序，（单线程）程序的执行结果不会改变。在满足 as-if-serial 语义的前提下，由于编译器或 CPU 的优化，代码的实际执行顺序可能与我们编写的顺序是不同的，这在单线程的情况下是没问题的，但是一旦引入多线程，这种乱序就可能会导致严重的线程安全问题。

用了 volatile 关键字就可以在一定程度上禁止这种重排序。

volatile变量正是通过内存屏障实现其在内存中的语义，即可见性和禁止重排优化：

1、在每个volatile写操作的前面插入一个StoreStore，使对于变量写操作的后面的写操作不会重排序到前面

2、在每个volatile写操作的后面插入一个StoreLoad，使对于变量读操作的后面的写操作不会重排序到前面

3、在每个volatile读操作的后面插入一个LoadLoad，使对于变量读操作的后面的读操作不会重排序到前面

4、在每个volatile读操作的后面插入一个LoadStore，使对于变量写操作的后面的读操作不会重排序到前面

五、volatile 和 synchronized 的关系

相似性：volatile 可以看作是一个轻量版的 synchronized，比如一个共享变量如果自始至终只被各个线程赋值和读取，而没有其他操作的话，那么就可以用 volatile 来代替 synchronized 或者代替原子变量，足以保证线程安全。

实际上，对 volatile 字段的每次读取或写入都类似于“半同步”——读取 volatile 与获取 synchronized 锁有相同的内存语义，而写入 volatile 与释放 synchronized 锁具有相同的语义。

性能方面：volatile 属性的读写操作都是无锁的，正是因为无锁，所以不需要花费时间在获取锁和释放锁上，所以比 synchronized 性能更好。

六、单例双重检查锁模式中为什么要 volatile

public class Singleton {private static volatile Singleton singleton;public static Singleton getInstance() {if (singleton == null) {synchronized (Singleton.class) {if (singleton == null) {singleton = new Singleton();}}}return singleton;}
}

主要就在于 singleton = new Singleton() ，它并非是一个原子操作，在 JVM 中上述语句至少做了以下这 3 件事，因为存在指令重排序的优化，也就是说第2 步和第 3 步的顺序是不能保证的。

总结

本文深入浅出讲解了什么是volatile与volatile 的使用场景，对什么是 happens-before 关系进行不同场景分析，最后分析volatile 可见性（lock指令）与禁止重排（内存屏障）的原理，最后给出两道常见面试题“volatile 和 synchronized 的关系”、“单例双重检查锁模式中为什么要 volatile”作为本文扩展。