面试官没想到一个Volatile,我都能跟他扯半小时

点赞再看,养成习惯,微信搜索【三太子敖丙】关注这个互联网苟且偷生的工具人。

本文 GitHub https://github.com/JavaFamily 已收录,有一线大厂面试完整考点、资料以及我的系列文章。

Volatile可能是面试内里必问的一个话题吧,对他的认知许多同伙也仅限于会用阶段,今天我们换个角度去看看。

先来随着丙丙来看一段demo的代码

面试官没想到一个Volatile,我都能跟他扯半小时

你会发现,永远都不会输出有点器械这一段代码,按原理线程改了flag变量,主线程也能接见到的呀?

为会泛起这个情形呢?那我们就需要聊一下另外一个器械了。

JMM(JavaMemoryModel)

JMM:Java内存模子,是java虚拟机规范中所界说的一种内存模子,Java内存模子是标准化的,屏障掉了底层差别计算机的区别(注重这个跟JVM完全不是一个器械,只有另有小伙伴搞错的)。

那正式聊之前,丙丙先也许科普一下现代计算机的内存模子吧。

现代计算机的内存模子

实在早期计算机中cpu和内存的速率是差不多的,但在现代计算机中,cpu的指令速率远超内存的存取速率,由于计算机的存储装备与处置器的运算速率有几个数量级的差距,以是现代计算机系统都不得不加入一层读写速率尽可能靠近处置器运算速率的高速缓存(Cache)来作为内存与处置器之间的缓冲。

将运算需要使用到的数据复制到缓存中,让运算能快速举行,当运算竣事后再从缓存同步回内存之中,这样处置器就无须守候缓慢的内存读写了。

基于高速缓存的存储交互很好地解决了处置器与内存的速率矛盾,然则也为计算机系统带来更高的复杂度,由于它引入了一个新的问题:缓存一致性(CacheCoherence)

在多处置器系统中,每个处置器都有自己的高速缓存,而它们又共享统一主内存(MainMemory)。

面试官没想到一个Volatile,我都能跟他扯半小时

然后我们可以聊一下JMM了。

JMM

Java内存模子(JavaMemoryModel)形貌了Java程序中种种变量(线程共享变量)的接见规则,以及在JVM中将变量,存储到内存和从内存中读取变量这样的底层细节。

JMM有以下划定:

所有的共享变量都存储于主内存,这里所说的变量指的是实例变量和类变量,不包罗局部变量,由于局部变量是线程私有的,因此不存在竞争问题。

每一个线程还存在自己的事情内存,线程的事情内存,保留了被线程使用的变量的事情副本。

线程对变量的所有的操作(读,取)都必须在事情内存中完成,而不能直接读写主内存中的变量

差别线程之间也不能直接接见对方事情内存中的变量,线程间变量的值的通报需要通过主内存中转来完成。

内陆内存和主内存的关系:

面试官没想到一个Volatile,我都能跟他扯半小时

正是由于这样的机制,才导致了可见性问题的存在,那我们就讨论下可见性的解决方案。

可见性的解决方案

加锁

面试官没想到一个Volatile,我都能跟他扯半小时

为啥加锁可以解决可见性问题呢?

由于某一个线程进入synchronized代码块前后,线程会获得锁,清空事情内存,从主内存拷贝共享变量最新的值到事情内存成为副本,执行代码,将修改后的副本的值刷新回主内存中,线程释放锁。

而获取不到锁的线程会壅闭守候,以是变量的值一定一直都是最新的。

Volatile修饰共享变量

面试官没想到一个Volatile,我都能跟他扯半小时

开头的代码优化完之后应该是这样的:

面试官没想到一个Volatile,我都能跟他扯半小时

Volatile做了啥?

每个线程操作数据的时刻会把数据从主内存读取到自己的事情内存,若是他操作了数据而且写会了,他其他已经读取的线程的变量副本就会失效了,需要都数据举行操作又要再次去主内存中读取了。

volatile保证差别线程对共享变量操作的可见性,也就是说一个线程修改了volatile修饰的变量,当修改写回主内存时,另外一个线程立刻看到最新的值。

是不是看着加一个关键字很简朴,但现实上他在背后历尽艰辛默默付出了不少,我从计算机层面的缓存一致性协议解释一下这些名词的意义。

面试官没想到一个Volatile,我都能跟他扯半小时

之前我们说过当多个处置器的运算义务都涉及统一块主内存区域时,将可能导致各自的缓存数据不一致,举例说明变量在多个CPU之间的共享。

若是真的发生这种情形,那同步回到主内存时以谁的缓存数据为准呢?

为领会决一致性的问题,需要各个处置器接见缓存时都遵照一些协议,在读写时要凭据协议来举行操作,这类协议有MSI、MESI(IllinoisProtocol)、MOSI、Synapse、Firefly及DragonProtocol等。

聊一下Intel的MESI吧

MESI(缓存一致性协议)

当CPU写数据时,若是发现操作的变量是共享变量,即在其他CPU中也存在该变量的副本,会发出信号通知其他CPU将该变量的缓存行置为无效状态,因此当其他CPU需要读取这个变量时,发现自己缓存中缓存该变量的缓存行是无效的,那么它就会从内存重新读取。

至于是怎么发现数据是否失效呢?

嗅探

每个处置器通过嗅探在总线上流传的数据来检查自己缓存的值是不是过时了,当处置器发现自己缓存行对应的内存地址被修改,就会将当前处置器的缓存行设置成无效状态,当处置器对这个数据举行修改操作的时刻,会重新从系统内存中把数据读到处置器缓存里。

面试官没想到一个Volatile,我都能跟他扯半小时

嗅探的瑕玷不知道人人发现了没有?

总线风暴

由于Volatile的MESI缓存一致性协议,需要不停的从主内存嗅探和cas不停循环,无效交互会导致总线带宽到达峰值。

以是不要大量使用Volatile,至于什么时刻去使用Volatile什么时刻使用锁,凭据场景区分。

我们再来聊一下指令重排序的问题

克制指令重排序

什么是重排序?

为了提高性能,编译器和处置器经常会对既定的代码执行顺序举行指令重排序。

重排序的类型有哪些呢?源码到最终执行会经由哪些重排序呢?

面试官没想到一个Volatile,我都能跟他扯半小时

一个好的内存模子现实上会放松对处置器和编译器规则的约束,也就是说软件手艺和硬件手艺都为统一个目的,而举行奋斗:在不改变程序执行效果的前提下,尽可能提高执行效率。

JMM对底层只管削减约束,使其能够施展自身优势。

SpringBoot系列(十三)统一日志处理,logback+slf4j AOP+自定义注解,走起!

因此,在执行程序时,为了提高性能,编译器和处置器经常会对指令举行重排序。

一样平常重排序可以分为如下三种:

  • 编译器优化的重排序。编译器在不改变单线程程序语义的前提下,可以重新安排语句的执行顺序;

  • 指令级并行的重排序。现代处置器采用了指令级并行手艺来将多条指令重叠执行。若是不存在数据依赖性,处置器可以改变语句对应机械指令的执行顺序;

  • 内存系统的重排序。由于处置器使用缓存和读/写缓冲区,这使得加载和存储操作看上去可能是在乱序执行的。

这里还得提一个观点,as-if-serial

as-if-serial

不管怎么重排序,单线程下的执行效果不能被改变。

编译器、runtime和处置器都必须遵守as-if-serial语义。

那Volatile是怎么保证不会被执行重排序的呢?

内存屏障

java编译器会在天生指令系列时在适当的位置会插入内存屏障指令来克制特定类型的处置重视排序。

为了实现volatile的内存语义,JMM会限制特定类型的编译器和处置重视排序,JMM会针对编译器制订volatile重排序规则表:

面试官没想到一个Volatile,我都能跟他扯半小时

需要注重的是:volatile写是在前面和后面划分插入内存屏障,而volatile读操作是在后面插入两个内存屏障

面试官没想到一个Volatile,我都能跟他扯半小时

面试官没想到一个Volatile,我都能跟他扯半小时

上面的我提过重排序原则,为了提高处置速率,JVM会对代码举行编译优化,也就是指令重排序优化,并发编程下指令重排序会带来一些平安隐患:如指令重排序导致的多个线程操作之间的不能见性。

若是让程序员再去领会这些底层的实现以及详细规则,那么程序员的肩负就太重了,严重影响了并发编程的效率。

从JDK5最先,提出了happens-before的观点,通过这个观点来论述操作之间的内存可见性。

happens-before

若是一个操作执行的效果需要对另一个操作可见,那么这两个操作之间必须存在happens-before关系。

volatile域规则:对一个volatile域的写操作,happens-before于随便线程后续对这个volatile域的读。

若是现在我的变了falg变成了false,那么后面的谁人操作,一定要知道我变了。

聊了这么多,我们要知道Volatile是没办法保证原子性的,一定要保证原子性,可以使用其他方式。

无法保证原子性

就是一次操作,要么完全乐成,要么完全失败。

假设现在有N个线程对统一个变量举行累加也是没办法保证效果是对的,由于读写这个历程并不是原子性的。

要解决也简朴,要么用原子类,好比AtomicInteger,要么加锁(记得关注Atomic的底层)。

应用

面试官没想到一个Volatile,我都能跟他扯半小时

单例有8种写法,我说一下内里对照特殊的一种,涉及Volatile的。

人人可能好奇为啥要双重检查?若是不用Volatile会怎么样?

我先讲一下克制指令重排序的利益。

工具现实上建立工具要进过如下几个步骤:

  • 分配内存空间。
  • 挪用组织器,初始化实例。
  • 返回地址给引用

上面我不是说了嘛,是可能发生指令重排序的,那有可能组织函数在工具初始化完成前就赋值完成了,在内存内里开拓了一片存储区域后直接返回内存的引用,这个时刻还没真正的初始化完工具。

然则其余线程去判断instance!=null,直接拿去用了,实在这个工具是个半成品,那就有空指针异常了。

可见性怎么保证的?

由于可见性,线程A在自己的内存初始化了工具,还没来得及写回主内存,B线程也这么做了,那就建立了多个工具,不是真正意义上的单例了。

上面提到了volatile与synchronized,那我聊一下他们的区别。

volatile与synchronized的区别

volatile只能修饰实例变量和类变量,而synchronized可以修饰方式,以及代码块。

volatile保证数据的可见性,然则不保证原子性(多线程举行写操作,不保证线程平安);而synchronized是一种排他(互斥)的机制。 volatile用于克制指令重排序:可以解决单例双重检查工具初始化代码执行乱序问题。

volatile可以看做是轻量版的synchronized,volatile不保证原子性,然则若是是对一个共享变量举行多个线程的赋值,而没有其他的操作,那么就可以用volatile来取代synchronized,由于赋值自己是有原子性的,而volatile又保证了可见性,以是就可以保证线程平安了。

面试官没想到一个Volatile,我都能跟他扯半小时

总结

  1. volatile修饰符适用于以下场景:某个属性被多个线程共享,其中有一个线程修改了此属性,其他线程可以立刻获得修改后的值,好比booleanflag;或者作为触发器,实现轻量级同步。
  2. volatile属性的读写操作都是无锁的,它不能替换synchronized,由于它没有提供原子性和互斥性。由于无锁,不需要花费时间在获取锁和释放锁_上,以是说它是低成本的。
  3. volatile只能作用于属性,我们用volatile修饰属性,这样compilers就不会对这个属性做指令重排序。
  4. volatile提供了可见性,任何一个线程对其的修改将立马对其他线程可见,volatile属性不会被线程缓存,始终从主 存中读取。
  5. volatile提供了happens-before保证,对volatile变量v的写入happens-before所有其他线程后续对v的读操作。
  6. volatile可以使得long和double的赋值是原子的。
  7. volatile可以在单例双重检查中实现可见性和克制指令重排序,从而保证平安性。

注:以上所有的内容若是能所有掌握我想Volatile在面试官那是很加分了,然则我还没讲到许多关于计算机内存那一块的底层,那人人就需要后面去补课了,若是等得及,也可以等到我写计算机基础章节。

絮叨

面试官没想到一个Volatile,我都能跟他扯半小时 img

由于更新文章和视频,丙丙已经半年多的周末没休息了,都是在公司谁人工位冲冲冲,一直想找时间出去玩,想着年假一天没用,就请了两天出去玩一下。

这样五一就可以早点回来,准备恢复视频的更新,你在看的时刻呢,敖丙应该在出游的列车上了,是的我就背了这个包,到写完的时刻,我还没确定去那里,提前祝人人节日愉快。

我是敖丙,一个在互联网苟且偷生的工具人。

你知道的越多,你不知道的越多人才们的 【三连】 就是丙丙创作的最大动力,我们下期见!

注:若是本篇博客有任何错误和建议,迎接人才们留言,你快说句话啊

文章连续更新,可以微信搜索「 三太子敖丙 」第一时间阅读,回复【资料】【面试】【简历】有我准备的一线大厂面试资料和简历模板,本文 GitHub https://github.com/JavaFamily 已经收录,有大厂面试完整考点,迎接Star。

面试官没想到一个Volatile,我都能跟他扯半小时

原创文章,作者:28x0新闻网,如若转载,请注明出处:https://www.28x0.com/archives/7923.html