Java内存模型1569393082199368

什么是Java内存模型

当我们在聊java内存模型的时候，我们在聊些什么

内存结构和内存模型

很长的一段时间里面，当提起java内存模型的时候，一直以为是在聊堆区栈区年轻代，年老代，永久代。  

这里为看此文的朋友提个醒，堆栈区这些一般是指内存机构或者内存区域，当我们聊java内存模型的时候，更多的是以下图展开

再看看计算机内存模型。

java内存模型是基于传统计算机硬件内存模型的抽象

JMM中多线程运行即是：硬件内存模型中多核CPU的并行工作。

JMM中工作内存相当于：各组CPU的一二级缓存,寄存器的抽象。

JMM中关注的同步可见问题即：计算机各级缓存和主内存的一致性问题。

java是跨平台的语言，设计初衷是不依赖某一种计算机硬件体系，所以有了在硬件体系之上抽象出的内存模型。

重排序

从 Java 源代码到最终实际执行的指令序列，会分别经历下面三种重排序：

1. 编译器优化的重排序：在不改变单线程程序语义的情况下，调整语句执行的次序。优点是在编译阶段精简语句，减少不必要资源(内存等)访问。

2. 指令级别的重排序：现代处理器采用指令并行技术使指令重叠执行。优点是发挥同时工作提高执行效率。

3. 内存系统的重排序：由于处理器使用的缓存和读写缓冲区，使得加载和存储可能看起来是在乱序执行。优点是利用可高效读写的缓存提高整体读写效率。

不过重排序在提高多线程执行效率的同时也造成了数据同步内存可见性问题，如下场景

上图中语句最终执行结果可能造成：x=0 , y=0 的结果。原因是a b在内存中初始化值为0，在赋值语句A1和B1执行后，新的值只在缓存中更新并未刷新到内存。导致A2 B2从内存中取出旧数据。

由此见重排序虽好，但也需要遵循一定的原则，来推导什么情况下可以重排序，什么情况下不能重排序。即下面的Happes-Before原则。

Happens-Before原则

如果一个操作执行结果需要对另一个操作可见，那么两个操作之间存在Happens-before关系，这里提到的两个操作既可以在同一个线程里，也可以在不同线程之间。

与程序员密切相关的happens-before规则如下

• 程序顺序规则：一个线程中的每个操作，happens-before于线程中的任意后续操作。

• 监视器锁规则：一个锁的解锁，happens-before于随后对这个锁的加锁。

• volatile变量规则：对一个volatile域的写，happens-before于任意后续对这个volatile域的读。

• 传递性：如果A happens-before B，且B happens-before C，那么A happens-before C。                                      

内存屏障

规则有了，具体怎么对重排序的控制？  就用到了内存屏障。

内存屏障使得屏障指令两边的指令序列不能进行某种类型的重排序。 内存屏障分为两种： Load Barrier 和 Store Barrier即读屏障和写屏障。

读屏障： 使缓存失效，使下一条指令强制从主存中读取最新的值。

写屏障： 使写入缓存的数据立刻同步刷新到主存中，让其他线程可见。

JMM对内存屏障细分为四种

volatile