JVM 内存模型

参考：   https://www.jianshu.com/p/76959115d486

【内容对应书籍《深入理解JAVA虚拟机》第12章内容】
内存模型  -->  内存屏障  -->  线程实现  -->  线程安全

注意区分：
1、JVM 运行时数据区：研究的是--内存区域的划分
2、JVM 内存模型：研究的是--CPU 与 物理内存的数据交互

1、 CPU和内存的交互

了解jvm内存模型前，了解下cpu和计算机内存的交互情况。【因为Java虚拟机内存模型定义的访问操作与计算机十分相似】

有篇很棒的文章，从cpu讲到内存模型:什么是java内存模型

---

在计算机中，cpu和内存的交互最为频繁，相比内存，磁盘读写太慢，内存相当于高速的缓冲区。

但是随着cpu的发展，内存的读写速度也远远赶不上cpu。因此cpu厂商在每颗cpu上加上高速缓存，用于缓解这种情况。现在cpu和内存的交互大致如下。

                                             cpu、缓存、内存

cpu上加入了高速缓存这样做解决了处理器和内存的矛盾(一快一慢)，但是引来的新的问题 - 缓存一致性

在多核cpu中，每个处理器都有各自的高速缓存(L1,L2,L3)，而主内存确只有一个 。

• CPU要读取一个数据时，首先从一级缓存中查找，如果没有找到再从二级缓存中查找，如果还是没有就从三级缓存或内存中查找，每个cpu有且只有一套自己的缓存。
• 如何保证多个处理器运算涉及到同一个内存区域时，多线程场景下会存在缓存一致性问题，那么运行时保证数据一致性？
• 为了解决这个问题，各个处理器需遵循一些协议保证一致性。【如MSI，MESI啥啥的协议。。】

大概如下：

                                            cpu与内存

2、内存屏障

在CPU层面，内存屏障提供了个充分必要条件

硬件层的内存屏障分为两种：Load Barrier 和 Store Barrier即读屏障和写屏障。【内存屏障是硬件层的】

不同硬件对内存屏障的实现方式不一样。java屏蔽掉这些差异，通过jvm生成内存屏障的指令。
对于读屏障:在指令前插入读屏障，可以让高速缓存中的数据失效，强制从主内存取。

用volatile可以解决上面的问题，cpu执行指令可能是无序的，它有两个比较重要的作用：
1.强制把写缓冲区/高速缓存中的脏数据等写回主内存，让缓存中相应的数据失效。【可见性】
2.阻止屏障两侧指令重排序。【有序性】