你应该知道的 volatile 关键字

不管是在面试还是实际开发中都是一个应该掌握的技能。

不管是在面试还是实际开发中 <code>volatile</code> 都是一个应该掌握的技能。

首先来看看为什么会出现这个关键字。

由于 <code>Java</code> 内存模型(<code>JMM</code>)规定，所有的变量都存放在主内存中，而每个线程都有着自己的工作内存(高速缓存)。

线程在工作时，需要将主内存中的数据拷贝到工作内存中。这样对数据的任何操作都是基于工作内存(效率提高)，并且不能直接操作主内存以及其他线程工作内存中的数据，之后再将更新之后的数据刷新到主内存中。

这里所提到的主内存可以简单认为是堆内存，而工作内存则可以认为是栈内存。

如下图所示：

所以在并发运行时可能会出现线程 B 所读取到的数据是线程 A 更新之前的数据。

显然这肯定是会出问题的，因此 <code>volatile</code> 的作用出现了：

当一个变量被 <code>volatile</code> 修饰时，任何线程对它的写操作都会立即刷新到主内存中，并且会强制让缓存了该变量的线程中的数据清空，必须从主内存重新读取最新数据。

<code>volatile</code> 修饰之后并不是让线程直接从主内存中获取数据，依然需要将变量拷贝到工作内存中。

当我们需要在两个线程间依据主内存通信时，通信的那个变量就必须的用 <code>volatile</code> 来修饰：

主线程在修改了标志位使得线程 A 立即停止，如果没有用 <code>volatile</code> 修饰，就有可能出现延迟。

但这里有个误区，这样的使用方式容易给人的感觉是：

对 <code>volatile</code> 修饰的变量进行并发操作是线程安全的。

这里要重点强调，<code>volatile</code> 并不能保证线程安全性！

如下程序:

当我们三个线程(t1,t2,main)同时对一个 <code>int</code> 进行累加时会发现最终的值都会小于 30000。

这是因为虽然 <code>volatile</code> 保证了内存可见性，每个线程拿到的值都是最新值，但 <code>count ++</code> 这个操作并不是原子的，这里面涉及到获取值、自增、赋值的操作并不能同时完成。

所以想到达到线程安全可以使这三个线程串行执行(其实就是单线程，没有发挥多线程的优势)。

也可以使用 <code>synchronize</code> 或者是锁的方式来保证原子性。

还可以用 <code>Atomic</code> 包中 <code>AtomicInteger</code> 来替换 <code>int</code>，它利用了 <code>CAS</code> 算法来保证了原子性。

内存可见性只是 <code>volatile</code> 的其中一个语义，它还可以防止 <code>JVM</code> 进行指令重排优化。

举一个伪代码:

一段特别简单的代码，理想情况下它的执行顺序是：<code>1&gt;2&gt;3</code>。但有可能经过 JVM 优化之后的执行顺序变为了 <code>2&gt;1&gt;3</code>。

可以发现不管 JVM 怎么优化，前提都是保证单线程中最终结果不变的情况下进行的。

可能这里还看不出有什么问题，那看下一段伪代码:

这里就能看出问题了，当 <code>flag</code> 没有被 <code>volatile</code> 修饰时，<code>JVM</code> 对 1 和 2 进行重排，导致 <code>value</code> 都还没有被初始化就有可能被线程 B 使用了。

所以加上 <code>volatile</code> 之后可以防止这样的重排优化，保证业务的正确性。

一个经典的使用场景就是双重懒加载的单例模式了:

这里的 <code>volatile</code> 关键字主要是为了防止指令重排。

如果不用 ，<code>singleton = new Singleton();</code>，这段代码其实是分为三步：

分配内存空间。(1)

初始化对象。(2)

将 <code>singleton</code> 对象指向分配的内存地址。(3)

加上 <code>volatile</code> 是为了让以上的三步操作顺序执行，反之有可能第二步在第三步之前被执行就有可能某个线程拿到的单例对象是还没有初始化的，以致于报错。

<code>volatile</code> 在 <code>Java</code> 并发中用的很多，比如像 <code>Atomic</code> 包中的 <code>value</code>、以及 <code>AbstractQueuedLongSynchronizer</code> 中的 <code>state</code> 都是被定义为 <code>volatile</code> 来用于保证内存可见性。

将这块理解透彻对我们编写并发程序时可以提供很大帮助。

最近在总结一些 Java 相关的知识点，感兴趣的朋友可以一起维护。

地址: https://github.com/crossoverJie/Java-Interview

作者：

crossoverJie

出处：

https://crossoverjie.top

欢迎关注博主公众号与我交流。

本文版权归作者所有，欢迎转载，但未经作者同意必须保留此段声明，且在文章页面明显位置给出,

如有问题， 可邮件（crossoverJie#gmail.com）咨询。