深入解析Java虚拟机内存模型（JMM）及其核心机制

Java内存模型

一、计算机硬件体系

1、CPU多级缓存

要想完全搞清楚Java内存模型&＃xff0c;先要了解计算机硬件架构&＃xff0c;特别是计算机CPU和主存之间的架构。

在计算机中&＃xff0c;cpu和内存的交互最为频繁&＃xff0c;相比内存&＃xff0c;磁盘读写太慢&＃xff0c;内存相当于高速的缓冲区。但是随着cpu的发展&＃xff0c;内存的读写速度也远远赶不上cpu。因此cpu厂商在每颗cpu上加上高速多级缓存&＃xff0c;用于缓解这种情况。现在cpu和内存的交互大致如下&＃xff1a;

三级缓存&＃xff08;L1、L2、L3&＃xff09;&＃xff0c;L1最靠近CPU核心&＃xff0c;L2其次&＃xff0c;L3再次。

• 运行速度&＃xff1a;L1最快、L2次快、L3最慢&＃xff1b;
• 容量大小&＃xff1a;L1最小、L2较大、L3最大。CPU会先在最快的L1中寻找需要的数据&＃xff0c;找不到再去找次快的L2&＃xff0c;还找不到再去找L3&＃xff0c;L3都没有那就只能去内存找了。

​ 其中一级缓存还分为一级数据缓存&＃xff08;Data Cache&＃xff0c;D-Cache&＃xff0c;L1d&＃xff09;和一级指令缓存(Instruction Cache&＃xff0c;I-Cache&＃xff0c;L1i)&＃xff0c;分别用于存放数据及执行数据的指令解码&＃xff0c;两者可同时被CPU访问&＃xff0c;减少了CPU多核心、多线程争用缓存造成的冲突&＃xff0c;提高了处理器的效能。一般CPU的L1i和L1d具备相同的容量。

2、缓存一致性问题

为什么会出现这个问题呢&＃xff1f;

CPU需要修改某个数据&＃xff0c;是先去Cache中找&＃xff0c;如果Cache中没有找到&＃xff0c;再去内存中找&＃xff0c;然后把数据复制到Cache中&＃xff0c;下次就不需要再去内存中寻找了&＃xff0c;然后进行修改操作。而修改操作的过程是先在Cache里面修改数据&＃xff0c;然后再把数据刷新到主内存。

其他CPU需要读取数据&＃xff0c;也是先去Cache中去寻找&＃xff0c;如果找到了就不会去内存找了。 所以当两个CPU的Cache同时都拥有某个数据&＃xff0c;其中一个CPU修改了数据&＃xff0c;另外一个CPU是无感知的&＃xff0c;并不知道这个数据已经不是最新的了&＃xff0c;它要读取数据还是从自己的Cache中读取&＃xff0c;这样就导致了“缓存不一致”。

3、如何解决 “缓存不一致” &＃xff1f;

解决这个问题的方法有很多&＃xff0c;比如&＃xff1a;

• 总线加锁 &＃xff08;此方法性能较低&＃xff0c;现在已经不会再使用&＃xff09;
• MESI协议 &＃xff1a; 当一个CPU修改了Cache中的数据&＃xff0c;会通知其他缓存了这个数据的CPU&＃xff0c;其他CPU会把Cache中这份数据的Cache Line置为无效&＃xff0c;要读取数据的话&＃xff0c;直接去内存中获取&＃xff0c;不会再从Cache中获取了。

有了 MESI协议 &＃xff0c;我们再来看看多核CPU缓存与主内存的关系。

二、Java线程与硬件处理器

​ 在Java中开启一个线程&＃xff0c;最终也是交给CPU去执行。 具体的流程是&＃xff1a;在使用Java线程时&＃xff0c;内部会调用操作系统(OS)的内核线程&＃xff08;Kernel-Level Thread&＃xff09;&＃xff0c;这种线程是操作系统内核&＃xff08;Kernel&＃xff09;直接支持的&＃xff0c;内核通过调度器&＃xff0c;对线程进行调度&＃xff0c;并将线程交给各个CPU内核去处理。 如下图所示&＃xff1a;

三、Java内存模型

1、Java内存模型概念

Java内存模型&＃xff08;Java Memory Model&＃xff09;&＃xff1a;JMM规范了Java虚拟机与计算机内存是如何协同工作的&＃xff0c;规定了一个线程如何和何时可以看到其他线程修改过的共享变量的值&＃xff0c;以及在必须时如何同步的访问共享变量。

JMM是Java虚拟机规范定义的&＃xff0c;用来屏蔽掉java程序在各种不同的硬件和操作系统对内存的访问的差异&＃xff0c;这样就可以实现Java程序在各种不同的平台上都能达到内存访问的一致性。

JMM其实是不存在的&＃xff0c;它只是一个规范&＃xff0c; 最终Java程序都会交给CPU去运行&＃xff0c;所以上面是计算机硬件体系是基础&＃xff0c;有了上面的基础&＃xff0c;才有了Java内存模型&＃xff0c;或者说Java的内存模型就是利用了计算机硬件体系。

本地内存: 我们知道&＃xff0c;Java里面每个线程都有一个自己的本地内存&＃xff08;上图绿色区域&＃xff09;&＃xff0c;存放的是私有变量和主内存数据的副本。如果私有变量是基本数据类型&＃xff0c;则直接存放在本地内存&＃xff0c;如果是引用类型变量&＃xff0c;存放的是引用&＃xff08;指针&＃xff09;&＃xff0c;实际的数据存放在主内存。本地内存是不共享的&＃xff0c;只有属于它的线程可以访问。也有好多人把本地内存称之为线程栈或者工作空间。

主内存&＃xff1a; 存放的是共享的数据&＃xff0c;所有线程都可以访问。当然它也有不少其他称呼&＃xff0c;比如堆内存&＃xff0c;共享内存等等。

Java内存模型规定了所有对共享变量的读写操作都必须在本地内存中进行&＃xff0c;需要先从主内存中拿到数据&＃xff0c;复制到本地内存&＃xff0c;然后在本地内存中对数据进行修改&＃xff0c;再刷新回主内存。

2、Java内存模型和计算机硬件架构之间的关系

​ Java的执行最终还是会交给CPU去处理&＃xff0c;但是Java的内存模型和硬件架构又不完全一致。对于硬件来说&＃xff0c;只有CPU&＃xff0c;Cache和主内存&＃xff0c;并没有Java内存模型中本地内存&＃xff08;线程栈、工作空间&＃xff09;或者主内存&＃xff08;共享内存&＃xff0c;堆内存&＃xff09;的概念。

所以不管是Java内存模型中的本地内存&＃xff0c;还是主内存的数据&＃xff0c;最终都会存储在CPU&＃xff08;更准确的来说是寄存器&＃xff09;、Cache、内存上。

所以&＃xff0c;Java内存模型和计算机硬件架构存在这样的关系&＃xff1a;

**Java内存模型就是为了解决多线程对共享数据的读写一致性问题。 **

3、Java内存模型的同步操作与规则

&＃xff08;1&＃xff09;JAVA内存模型的同步八种操作

• Lock&＃xff08;锁定&＃xff09;&＃xff1a;作用于主内存的变量&＃xff0c;把一个变量标识为一条线程独占状&＃xff1b;
• Unlock&＃xff08;解锁&＃xff09;&＃xff1a;作用于主内存的变量&＃xff0c;把一个处于锁定状态的变量释放出来&＃xff0c;释放后的变量才可以被其它线程锁定。
• Read&＃xff08;读取&＃xff09;&＃xff1a;作用于主内存的变量&＃xff0c;把一个变量值从主内存传输到线程的工作内存中&＃xff0c;便于后面的load动作使用。
• Load&＃xff08;载入&＃xff09;&＃xff1a;作用于工作内存的变量&＃xff0c;它把read操作从主内存中得到的变量值放入工作内存的变量副本中。
• Use&＃xff08;使用&＃xff09;&＃xff1a;作用于工作内存的变量&＃xff0c;把工作内存中的一个变量值传递给执行引擎。
• assign(&＃xff08;赋值&＃xff09;&＃xff1a;作用于工作内存的变量&＃xff0c;它把一个从执行引擎接收到的值赋值给工作内存的变量。
• Store&＃xff08;存储&＃xff09;&＃xff1a;作用于工作内存的变量&＃xff0c;把工作内存中的一个变量的值传送到主内存中&＃xff0c;以便随后的write的操作。
• Write&＃xff08;写入&＃xff09;&＃xff1a;作用于主内存的变量&＃xff0c;它把store操作从工作内存中一个变量的值传送到主内存的变量中。

&＃xff08;2&＃xff09;JAVA内存模型的同步规则

• 如果要把一个变量从主内存中复制到工作内存中&＃xff0c;就需要顺序的执行read和load操作&＃xff0c;如果把变量从工作内存同步到主内存中&＃xff0c;就需要顺序的执行store和write操作。但Java内存模型只要求上述操作必须是按顺序执行&＃xff0c;而没有要求是连续执行。
• 不允许read和load、 store和write操作之一单独出现
• 不允许一个线程丢弃它的最近的assign操作&＃xff0c;即变量在工作内存中改变了之后必须同步到主内存中。
• 不允许一个线程无原因的&＃xff08;没有发生过任何assign操作&＃xff09;把数据从工作内存同步回主内存中。
• 一个新的变量只能在主内存中诞生&＃xff0c;不允许在工作内存中直接使用一个未被初始化&＃xff08;load或assign&＃xff09;的变量。即对一个变量实施use和store操作之前&＃xff0c;必须先执行assign和load操作。
• 一个变量在同一时刻只允许一条线程对其进行lock操作&＃xff0c;但是lock操作可以被同一条线程重复执行多次&＃xff0c;多次执行lock后&＃xff0c;只有执行相同次数的unlock操作&＃xff0c;变量才会被解锁。lock和unlock必须成对出现。
• 如果对一个变量执行lock操作&＃xff0c;将会清空工作内存中此变量的值&＃xff0c;在执行引擎使用这个变量前需要重新执行load或assign操作初始化变量的值。
• 如果一个变量事先没有被lock操作&＃xff0c;则不允许对它执行unlock。也不允许unlock一个被其他线程锁定的变量。
• 对一个变量执行unlock操作之前&＃xff0c;必须先把此变量同步到主内存中&＃xff08;执行store和write操作&＃xff09;。

4、Java并发内存模型的实质

Java内存模型的同步操作与规则就是围绕着Java并发过程中如何处理原子性、可见性和顺序性这三个特征来设计的 。

&＃xff08;1&＃xff09;原子性

不可分割&＃xff0c;同生共死。

原子性的关键词&＃xff1a; atomic包、CAS、CAS的ABA问题、 LongAdder和AtomicLong的区别比较、 synchronized、lock

&＃xff08;2&＃xff09;可见性

一个线程在本地内存中修改了共享内存的数据&＃xff0c;对于其他持有该数据的线程是“不可见”的。

导致共享变量在线程间不可见的原因

• 线程交叉执行
• 重排序结合线程交叉执行
• 共享变量更新后的值没有在工作内存与主存间及时更新

可见性关键词&＃xff1a; volatile

&＃xff08;3&＃xff09;有序性

代码在运行的时候&＃xff0c;执行顺序可能并不是严格从上到下执行的&＃xff0c;会进行指令重排。根据CPU流水线作业&＃xff0c;一般来说简单的操作会先执行&＃xff0c;复杂的操作后执行。
指令重排会有两个规则&＃xff1a;

• as-if-seria&＃xff1a;不管怎么重排序&＃xff0c;单线程的执行结果不能发生改变。正是由于这个特性&＃xff0c;在单线程中&＃xff0c;程序员一般无需理会重排序带来的问题。
• happens-before原则

有序性关键词&＃xff1a; 指令重排 、 happens-before

内容参考于&＃xff1a;http://791202.com/2020/04/06/java/761/