写在之前
Hello，大家好，我是只会写HelloWorld的程序员大黄。
Java中并发编程是各个大厂面试的重点，很多知识点晦涩难懂，常常需要结合实际经验才能回答一些面试问题，回答的不太好，则容易被面试官直接挂掉。
因此，大黄利用周末时间，呕心沥血，整理之前和面试官battle的面试题目。
由于并发变成问题实在是太多了，一篇文章不足以囊括所有的并发知识点，打算分为多篇来分析，面试中的并发问题该如何回答。本篇主要围绕volatile关键字展开。
面试问题概览
下面我罗列一些大厂面试中，关于并发编程常见的一些面试题目，有的是自己亲身经历，有的是寻找网友的面经分享。
可以先看看这些面试题目，现在心中想想，如果你面对这些题目，该如何回答呢？
- volatile关键字解释一下【字节跳动】
- volatile有啥作用，如何使用的呢【京东】
- synchronized 和volatile 关键字的区别【京东】
- volatile原理详细解释【阿里云】
- volatile关键字介绍，内存模型说一下【滴滴】
- Volatile底层原理，使用场景【抖音】
可以看到volatile关键字在各个大厂面试中已经成为了必考的面试题目。回答好了必然称为加分项，回答不好嘿嘿，你懂的。
面试回顾
一个身着灰色格子衬衫，拿着闪着硕大的🍎logo小哥迎面走来，我心想，logo还自带发光的，这尼玛肯定是p7大佬了，但是刚开始咱们还是得淡定不是。
面试官：大黄同学是吧，我看你简历上面写能够熟练掌握并发编程核心知识，那我们先来看看并发编程的一些核心知识吧。有听过volatile吗？说说你对于这个的理解。
记住：此时还是要从为什么、是什么、有什么作用回答，只有这样才能给面试官留下深刻印象。
大黄：面试官您好，volatile是java虚拟机提供的轻量级同步机制，主要特点有三个：
- 保证线程之间的可见性
- 禁止指令重排
- 但是不保证原子性
面试中，肯定不是说完这三点就完了，一般需要展开来说。
大黄：所谓可见性，是多线程中独有的。A线程修改值之后，B线程能够知道参数已经修改了，这就是线程间的可见性。 A修改共享变量i之后，B马上可以感知到该变量的修改。
面试官可能会追问，为什么会出现变量可见性问题了。这个就涉及到Java的内存模型了（俗称JMM），因此你需要简单说说Java的内存模型。
面试官：那为什么会出现变量可见性问题呢？
大黄：JVM运行程序的实体都是线程，每次创建线程的时候，JVM都会给线程创建属于自己的工作内存，注意工作内存是该线程独有的，也就说别的线程无法访问工作内存中的信息。而Java内存模型中规定所有的变量都存储在主内存中，主内存是多个线程共享的区域，线程对变量的操作（读写）必须在工作内存中进行。
面试中记得不要干说理论，结合一下例子，让面试官感到你真的掌握了。上面的问题你抓住主内存、线程内存分别阐述即可。
大黄：比如，存在两个线程A、B，同时从主线程中获取一个对象（i = 25），某一刻，A、B的工作线程中i都是25，A效率比较高，片刻，改完之后，马上将i更新到了主内存，但是此时B是完全没有办法i发生了变化，仍然用i做一些操作。问题就发生了，B线程没有办法马上感知到变量的变化！！
大黄可见性Demo演示小插曲
import lombok.Data;
/**
* @author dahuang
* @time 2020/3/15 17:14
* @Description JMM原子性模拟
*/
public class Juc002VolatileAtomic {
public static void main(String[] args) {
AtomicResource resource = new AtomicResource();
// 利用for循环创建20个线程，每个线程自增100次
for(int i = 0; i < 20; i++){
new Thread(()->{
for (int j = 0; j < 100; j++) {
resource.addNum();
}
},String.valueOf(i)).start();
}
// 用该方法判断上述20线程是否计算完毕，
// 如果小于2，则说明计算线程没有计算完，则主线程暂时让出执行时间
while (Thread.activeCount() > 2){
Thread.yield();
}
// 查看number是否可以保证原子性，如果可以保证则输出的值则为2000
System.out.println("Result = "+resource.getNumber());
}
}
@Data
class AtomicResource{
volatile int number = 0;
public void addNum(){
number++;
}
} 下面是运行结果：
结果如下：
Result = 1906
Process finished with exit code 0
面试官：volatile可以保证程序的原子性吗？
大黄：JMM的目的是解决原子性，但volatile不保证原子性。为什么无法保证原子性呢？
因为上述的Java的内存模型的存在，修改一个i的值并不是一步操作，过程可以分为三步：
- 从主内存中读取值，加载到工作内存
- 工作内存中对i进行自增
- 自增完成之后再写回主内存。
每个线程获取主内存中的值修改，然后再写回主内存，多个线程执行的时候，存在很多情况的写值的覆盖。
大黄可见性Demo演示小插曲
用下面的例子测试volatile是否保证原子性。
import lombok.Data;
/**
* @author dahuang
* @time 2020/3/15 17:14
* @Description JMM原子性模拟
*/
public class Juc002VolatileAtomic {
public static void main(String[] args) {
AtomicResource resource = new AtomicResource();
// 利用for循环创建20个线程，每个线程自增100次
for(int i = 0; i < 20; i++){
new Thread(()->{
for (int j = 0; j < 100; j++) {
resource.addNum();
}
},String.valueOf(i)).start();
}
// 用该方法判断上述20线程是否计算完毕，如果小于2，
// 则说明计算线程没有计算完，则主线程暂时让出执行时间
while (Thread.activeCount() > 2){
Thread.yield();
}
// 查看number是否可以保证原子性，如果可以保证则输出的值则为2000
System.out.println("Result = "+resource.getNumber());
}
}
@Data
class AtomicResource{
volatile int number = 0;
public void addNum(){
number++;
}
} 结果如下：
Result = 1906
可以看到程序循环了2000次，但是最后值却只累加到1906，说明程序中有很多覆盖的。
面试官可能心想，好家伙，懂得还挺多，我来试试你的深浅。
面试官：那如果程序中想要保证原子性怎么办呢？
大黄：Juc(Java并发包简称)下面提供了多种方式，比较轻量级的有Atomic类的变量，更重量级有Synchronized关键字修饰，前者的效率本身是后者高，不用加锁就可以保证原子性。
大黄可见性Demo演示小插曲
import lombok.Data;
import java.util.concurrent.atomic.AtomicInteger;
/**
* @author dahuang
* @time 2020/3/15 17:43
* @Description 利用Atomic来保证原子性
*/
public class Juc003VolatileAtomic {
public static void main(String[] args) {
AtomicResource resource = new AtomicResource();
// 利用for循环创建20个线程，每个线程自增100次
for(int i = 0; i < 20; i++){
new Thread(()->{
for (int j = 0; j < 100; j++) {
resource.addNum();
}
},String.valueOf(i)).start();
}
// 用该方法判断上述20线程是否计算完毕，如果小于2，
// 则说明计算线程没有计算完，则主线程暂时让出执行时间
while (Thread.activeCount() > 2){
Thread.yield();
}
// 查看number是否可以保证原子性，如果可以保证则输出的值则为2000
System.out.println("Result = "+resource.getNumber());
}
}
@Data
class AtomicResource{
AtomicInteger number = new AtomicInteger();
public void addNum(){
number.getAndIncrement();
}
} 输出结果如下：
Result = 2000
面试官：你刚才说到了volatile禁止指令重排，可以说说里面的原理吗？
此刻需要故作沉思，需要表现出在回忆的样子，（为什么这么做，你懂得，毕竟没有面试官喜欢背题的同学）。
大黄：哦哦，这个之前操作了解过。计算机在底层执行程序的时候，为了提高效率，经常会对指令做重排序，一般重排序分为三种
- 编译器优化的重排序
- 指令并行的重排
- 内存系统的重排
单线程下，无论怎么样重排序，最后执行的结果都一致的，并且指令重排遵循基本的数据依赖原则，数据需要先声明再计算；多线程下，线程交替执行，由于编译器存在优化重排，两个线程中使用的变量能够保证一致性是无法确定的，结果无法预测。
volatile本身的原理是利用内存屏障来实现，通过插入内存屏障禁止在内存屏障前后的指令执行重排序的优化。
面试官：那内存屏障有啥作用呢，是怎么实现的呢？
大黄：
- 保证特定操作的执行顺序
- 保证某些变量的内存可见性。
面试官：Volatile与内存屏障又是如何起着作用的呢？
对于Volatile变量进行写操作时，会在写操作后面加上一个store屏障指令，将工作内存中的共享变量值即可刷新到主内存；
对于Volatile变量进行读操作时，会在读操作前面加入一个load屏障指令，读取之前马上读取主内存中的数据。
面试官心想：可以的，这个小伙子有点深度。我看看他是否用过。那你工作中在哪用到volatile了呢？
大黄：单例模式如果必须要在多线程下保证单例，volatile关键字必不可少。
面试官：可以简单写一下普通的单例模式吗？
我们先来看看普通的单例模式：
public class Juc004SingletonMultiThread {
/**
* 私有化构造方法、只会构造一次
*/
private Juc004SingletonMultiThread(){
System.out.println("构造方法");
}
private static Juc004SingletonMultiThread instance = null;
public static Juc004SingletonMultiThread getInstance(){
if(instance == null){
synchronized (Juc004SingletonMultiThread.class){
if(instance == null){
instance = new Juc004SingletonMultiThread();
}
}
}
return instance;
}
public static void main(String[] args) {
// new 30个线程，观察构造方***创建几次
for (int i = 0; i < 30; i++) {
new Thread(()->{
Juc004SingletonMultiThread.getInstance();
},String.valueOf(i)).start();
}
}
} 大黄：注意哦，这已经是极度强校验的单例模式了。但是这种双重检查的近线程安全的单例模式也有可能出现问题，因为底层存在指令重排，检查的顺序可能发生了变化，可能会发生读取到的instance ！=null，但是instance的引用对象可能没有完成初始化。，导致另一个线程读取到了还没有初始化的结果。
面试官：为什么会发生以上的情况呢？
大黄：这个可能需要从对象的初始化过程说起了。话说，盘古开天辟地…… 不好意思，跑题了，我们继续。
// step 1
public static Juc004SingletonMultiThread getInstance(){
// step 2
if(instance == null){
// step 3
synchronized (Juc004SingletonMultiThread.class){
// step 4
if(instance == null){
// step 5
instance = new Juc004SingletonMultiThread();
}
}
}
return instance;
} 第五步初始化过程会分为三步完成：
- 分配对象内存空间
memory = allocate() - 初始化对象
instance(memory) - 设置instance指向刚分配的内存地址，此时
instance = memory
再使用该初始化完成的对象，似乎一起看起来是那么美好，但是计算机底层编译器想着让你加速，则可能会自作聪明的将第三步和第二步调整顺序(重排序)，优化成了
- memory = allocate() 分配对象内存空间
- instance = memory 设置instance指向刚分配的内存地址，此时对象还没有哦
- instance(memory) 初始化对象
这种优化在单线程下还不要紧，因为第一次访问该对象一定是在这三步完成之后，但是多线程之间存在如此多的的竞争，如果有另一个线程在重排序之后的3后面访问了该对象则有问题了，因为该对象根本就完全初始化的。
面试官：好家伙，这个小伙子，必须要。可以简单画画访问到图吗？
大黄拿起笔就绘制了如下图了：
并且滔滔不绝到，但是上述问题在单线程下不存在该问题，只有涉及到多线程下才会发生。
为了解决该问题可以从两个角度解决问题，
- 不允许2和3进行重排序
- 允许2和3重排序，但是不允许其他线程看到这个重排序。
因此可以加上Volatile关键字防止指令重排。
面试官：那你写一下用volatile实现的单例模式吧
public class Juc004SingletonMultiThread {
/**
* 私有化构造方法、只会构造一次
*/
private Juc004SingletonMultiThread(){
System.out.println("构造方法");
}
private static volatile Juc004SingletonMultiThread instance = null;
public static Juc004SingletonMultiThread getInstance(){
if(instance == null){
synchronized (Juc004SingletonMultiThread.class){
if(instance == null){
instance = new Juc004SingletonMultiThread();
}
}
}
return instance;
}
public static void main(String[] args) {
// new 30个线程，观察构造方***创建几次
for (int i = 0; i < 30; i++) {
new Thread(()->{
Juc004SingletonMultiThread.getInstance();
},String.valueOf(i)).start();
}
}
} 面试到这里，我想面试官对于你的能力已经不容置疑了。
面试官暗喜，嘿嘿，碰到宝了，好小子，有点东西啊，这种人才必须得拿下。
面试官：好了，今天的面试就到这里，请问你下一场面试什么时候有时间呢，我来安排一下。
哈哈哈，恭喜你，到了这里面试已经成功拿下了，收起你的笑容。
大黄：我这几天都有时间的，看你们的安排。
总结
本身主要围绕开头的几个真正的面试题展开，简单来说，volatile是什么？为什么要有volatile？volatile底层原理？平时编程中哪里用到了volatile。
最后大黄分享多年面试心得。面试中，面对一个问题，大概按照总分的逻辑回答即可。先直接抛出结论，然后举例论证自己的结论。一定要第一时间抓住面试官的心里，否则容易给人抓不着重点或者不着边际的印象。
番外
另外，关注大黄奔跑，第一时间收获独家整理的面试实战记录及面试知识点总结。
我是大黄，一个只会写HelloWorld的程序员，咱们下期见。
全部评论
(6) 回帖