Volatile关键字，你真的理解吗？

Volatile关键字，你真的理解吗？

谈到 并发编程 ，必知晓并发三要素 ：原子性、可见性、有序性。而 Volatile 涉及了 可见性与有序性 ，是 轻量级的 synchronized ， 在并发编程中扮演着极其重要的角色 。

本文将从 理论知识 到 源码实例 ，深入剖析 Volatile 的实现原理，帮助快速掌握并正确使用 Volatile 变量 ：

1.Volatile关键字

2.Java内存模型

3.Volatile内存模型可见性

4.Volatile的工作原理

5.Volatile的源码案例

本篇【视频详解】见文末。

正文

在谈 Volatile 之前，我们先回顾下 Java 内存模型 的三要素：原子性、可见性、有序性，也就是大家常提到的并发编程三要素。

并发编程的三要素

1.原子性

和数据库事务中的原子性一样，满足原子性特性的 *** 作是不可中断的，要么全部执行成功要么全部执行失败。

只有简单的读取、赋值（而且必须是将数字赋值给某个变量，变量之间的相互赋值不是原子 *** 作）才是原子 *** 作。

比如：

i = 2;j = i;i++;i = i + 1；

上面4个 *** 作中，i=2是读取 *** 作，必定是原子性 *** 作，j=i你以为是原子性 *** 作，其实吧，分为两步，一是读取i的值，然后再赋值给j,这就是2步 *** 作了，称不上原子 *** 作，i++和i = i + 1其实是等效的，读取i的值，加1，再写回主存，那就是3步 *** 作了。

所以上面的举例中，最后的值可能出现多种情况，就是因为满足不了原子性。

非原子 *** 作都会存在线程安全问题，需要我们使用同步技术（sychronized）来让它变成一个原子 *** 作，java的concurrent包下提供了一些原子类：比如：AtomicInteger、AtomicLong等。

2.可见性

多个线程访问同一个共享变量时，其中一个线程对这个共享变量值的修改，其他线程能够立刻获得修改以后的值。

3.有序性

编译器和处理器为了优化程序性能而对指令序列进行重排序，也就是你编写的代码顺序和最终执行的指令顺序是不一致的。但是重排序过程不会影响到单线程程序的执行，却会影响到多线程并发执行的正确性。

Volatile

Volatile 是一个Java语言的类型修饰符，一旦一个共享变量（类的成员变量、类的静态成员变量）被Volatile修饰之后，那么就具备了两层语义：

1、保证多线程下的可见性

2、禁止进行指令重排序(即保证有序性)

这里需要注意一个问题，Volatile 只能让被他修饰内容具有可见性、有序性 。Volatile只能保证对单次读/写的原子性,i++ 这种 *** 作不能保证原子性。

Volatile 的内存模型

**Java 内存模型（JMM）**是一种抽象的概念，并不真实存在，它描述了一组规则或规范，通过这组规范定义了程序中各个变量（包括实例字段、静态字段和构成数组对象的元素）的访问方式。

试图屏蔽各种硬件和 *** 作系统的内存访问差异，以实现让 Java 程序在各种平台下都能达到一致的内存访问效果。

Java内存模型规定了所有的变量都存储在主内存中，每条线程还有自己的工作内存，线程的工作内存中保存了该线程中是用到的变量的主内存副本拷贝，线程对变量的所有 *** 作都必须在工作内存中进行，而不能直接读写主内存。不同的线程之间也无法直接访问对方工作内存中的变量，线程间变量的传递均需要自己的工作内存和主存之间进行数据同步进行。

• 主内存 主要存储的是Java实例对象，所有线程创建的实例对象都存放在主内存中，不管该实例对象是成员变量还是方法中的本地变量(也称局部变量)，当然也包括了共享的类信息、常量、静态变量。由于是共享数据区域，多条线程对同一个变量进行访问可能会发现线程安全问题。
• 工作内存 每条线程都有自己的工作内存(Working Memory，又称本地内存，可与前面介绍的处理器高速缓存类比)，线程的工作内存中保存了该线程使用到的变量的主内存中的共享变量的副本拷贝。
  工作内存是 JMM 的一个抽象概念，并不真实存在 。它涵盖了缓存，写缓冲区，寄存器以及其他的硬件和编译器优化。

主要存储当前方法的所有本地变量信息(工作内存中存储着主内存中的变量副本拷贝)，每个线程只能访问自己的工作内存，即线程中的本地变量对其它线程是不可见的，就算是两个线程执行的是同一段代码，它们也会各自在自己的工作内存中创建属于当前线程的本地变量，当然也包括了字节码行号指示器、相关Native方法的信息。

Volatile 的实现原理

Volatile 保证内存可见性

主内存和工作内存之间的交互有具体的交互协议，JMM定义了 八种 *** 作 来完成，这八种 *** 作是 原子的 、 不可再分的 ，它们分别是：lock，unlock，read，load，use，assign，store，write。

其中，lock , unlock , read , write 作用于主内存； load ,use , assign , store 作用于工作内存。

(1) lock

将主内存中的变量锁定，为一个线程所独占。

(2) unclock

将lock加的锁定解除，此时其它的线程可以有机会访问此变量。

(3) read

将主内存中的变量值读到工作内存当中。

(4) load

将read读取的值保存到工作内存中的变量副本中。

(5) use

将值传递给线程的代码执行引擎。

(6) assign

将执行引擎处理返回的值重新赋值给变量副本。

(7) store

将变量副本的值存储到主内存中。

(8) write

将 store 存储的值写入到主内存的共享变量当中。

• 从主存复制变量到当前工作内存（read and load）
• 执行代码，改变共享变量值 （use and assign）
• 用工作内存数据刷新主存相关内容 （store and write）

指令规则

• read 和 load、store 和 write 必须成对出现。
• assign *** 作，工作内存变量改变后必须刷回主内存。
• 同一时间只能运行一个线程对变量进行 lock，当前线程 lock 可重入，unlock 次数必须等于 lock 的次数，该变量才能解锁。
• 对一个变量 lock 后，会清空该线程工作内存变量的值，重新执行 load 或者 assign *** 作初始化工作内存中变量的值。
• unlock 前，必须将变量同步到主内存（ store/write *** 作）。

Volatile源码案例

以上，是 Java 并发编程之 Volatile 的实现原理，本篇的视频版详解，留言可获取。

—END—

哈喽，我是Mike，很高兴认识你。 每篇深度技术文，都是我耗时2-5天用心创作的， 如果大家看了觉得还行，谢谢【点赞+收藏+转发】一键三连支持下 。