面试官:我记得上一次已经问过了为什么要有Java内存模型
面试官:我记得你的最终答案是:Java为了屏蔽硬件和操作系统访问内存的各种差异,提出了「Java内存模型」的规范,保证了Java程序在各种平台下对内存的访问都能得到一致效果
候选者:嗯,对的
面试官:要不,你今天再来讲讲Java内存模型这里边的内容呗?
候选者:嗯,在讲之前还是得强调下:Java内存模型它是一种「规范」,Java虚拟机会实现这个规范。
候选者:Java内存模型主要的内容,我个人觉得有以下几块吧
候选者:1. Java内存模型的抽象结构
候选者:2. happen-before规则
候选者:3.对volatile内存语义的探讨(这块我后面再好好解释)
面试官:那要不你就从第一点开始呗?先聊下Java内存模型的抽象结构?
候选者:嗯。Java内存模型定义了:Java线程对内存数据进行交互的规范。
候选者:线程之间的「共享变量」存储在「主内存」中,每个线程都有自己私有的「本地内存」,「本地内存」存储了该线程以读/写共享变量的副本。
候选者:本地内存是Java内存模型的抽象概念,并不是真实存在的。
候选者:顺便画个图吧,看完图就懂了。
候选者:Java内存模型规定了:线程对变量的所有操作都必须在「本地内存」进行,「不能直接读写主内存」的变量
候选者:Java内存模型定义了8种操作来完成「变量如何从主内存到本地内存,以及变量如何从本地内存到主内存」
候选者:分别是read/load/use/assign/store/write/lock/unlock操作
候选者:看着8个操作很多,对变量的一次读写就涵盖了这些操作了,我再画个图给你讲讲
候选者:懂了吧?无非就是读写用到了各个操作(:
面试官:懂了,很简单,接下来说什么是happen-before吧?
候选者:嗯,好的(:
候选者:按我的理解下,happen-before实际上也是一套「规则」。Java内存模型定义了这套规则,目的是为了阐述「操作之间」的内存「可见性」
候选者:从上次讲述「指令重排」就提到了,在CPU和编译器层面上都有指令重排的问题。
候选者:指令重排虽然是能提高运行的效率,但在并发编程中,我们在兼顾「效率」的前提下,还希望「程序结果」能由我们掌控的。
候选者:说白了就是:在某些重要的场景下,这一组操作都不能进行重排序,「前面一个操作的结果对后续操作必须是可见的」。
面试官:嗯…
候选者:于是,Java内存模型就提出了happen-before这套规则,规则总共有8条
候选者:比如传递性、volatile变量规则、程序顺序规则、监视器锁的规则…(具体看规则的含义就好了,这块不难)
候选者:只要记住,有了happen-before这些规则。我们写的代码只要在这些规则下,前一个操作的结果对后续操作是可见的,是不会发生重排序的。
面试官:我明白你的意思了
面试官:那最后说下volatile?
候选者:嗯,volatile是Java的一个关键字
候选者:为什么讲Java内存模型往往就会讲到volatile这个关键字呢,我觉得主要是它的特性:可见性和有序性(禁止重排序)
候选者:Java内存模型这个规范,很大程度下就是为了解决可见性和有序性的问题。
面试官:那你来讲讲它的原理吧,volatile这个关键字是怎么做到可见性和有序性的
候选者:Java内存模型为了实现volatile有序性和可见性,定义了4种内存屏障的「规范」,分别是LoadLoad/LoadStore/StoreLoad/StoreStore
候选者:回到volatile上,说白了,就是在volatile「前后」加上「内存屏障」,使得编译器和CPU无法进行重排序,致使有序,并且写volatile变量对其他线程可见。
候选者:Java内存模型定义了规范,那Java虚拟机就得实现啊,是不是?
面试官:嗯…
候选者:之前看过Hotspot虚拟机的实现,在「汇编」层面上实际是通过Lock前缀指令来实现的,而不是各种fence指令(主要原因就是简便。因为大部分平台都支持lock指令,而fence指令是x86平台的)。
候选者:lock指令能保证:禁止CPU和编译器的重排序(保证了有序性)、保证CPU写核心的指令可以立即生效且其他核心的缓存数据失效(保证了可见性)。
面试官:那你提到这了,我想问问volatile和MESI协议是啥关系?
候选者:它们没有直接的关联。
候选者:Java内存模型关注的是编程语言层面上,它是高维度的抽象。MESI是CPU缓存一致性协议,不同的CPU架构都不一样,可能有的CPU压根就没用MESI协议…
候选者:只不过MESI名声大,大家就都拿他来举例子了。而MESI可能只是在「特定的场景下」为实现volatile的可见性/有序性而使用到的一部分罢了(:
面试官:嗯…
候选者:为了让Java程序员屏蔽上面这些底层知识,快速地入门使用volatile变量
候选者:Java内存模型的happen-before规则中就有对volatile变量规则的定义
候选者:这条规则的内容其实就是:对一个 volatile 变量的写操作相对于后续对这个 volatile 变量的读操作可见
候选者:它通过happen-before规则来规定:只要变量声明了volatile 关键字,写后再读,读必须可见写的值。(可见性、有序性)
面试官:嗯…了解了
本文总结:
-
为什么存在Java内存模型:Java为了屏蔽硬件和操作系统访问内存的各种差异,提出了「Java内存模型」的规范,保证了Java程序在各种平台下对内存的访问都能得到一致效果
-
Java内存模型抽象结构:线程之间的「共享变量」存储在「主内存」中,每个线程都有自己私有的「本地内存」,「本地内存」存储了该线程以读/写共享变量的副本。线程对变量的所有操作都必须在「本地内存」进行,而「不能直接读写主内存」的变量
-
happen-before规则:Java内存模型规定在某些场景下(一共8条),前面一个操作的结果对后续操作必须是可见的。这8条规则成为happen-before规则
-
volatile:volatile是Java的关键字,修饰的变量是可见性且有序的(不会被重排序)。可见性由happen-before规则完成,有序性由Java内存模型定义的「内存屏障」完成,实际HotSpot虚拟机实现Java内存模型规范,汇编底层通过Lock指令来实现,如果觉得文章还不错的话就点个赞吧,另外可以微信搜索539413949阅读更多的好文章,获取我为大家准备的资料