JVM 内存模型 JMM

简介

  java内存模型主要定义了各个变量（字段，静态字段这样的共享变量，私有变量不涉及竞争问题，本文变量均为该意思）的访问规则，及将变量存储到内存和从内存中取出的细节。

---

作用

  用来屏蔽掉各种硬件（高速缓存、cpu指令重排）、操作系统、编译器优化（JVM指令重排）的一个抽象层。

---

内存模型介绍

1.主内存与工作内存：

  java内存模型规定了所有变量都存储在主内存。每个线程还拥有自己的工作内存。线程的工作内存保存了被该线程使用到的变量的主内存的副本，线程对变量的所有操作都必须在工作内存中进行，不能直接操作主内存中的变量。工作内存是私有的，不同线程不能直接访问对方的工作内存中的变量。线程间的变量传递需要通过驻内存完成。如图：

2.指令重排

  为了充分利用计算机资源CPU、JVM都会对指令进行重排序优化运行速度。但是重排序是遵从happens-before原则的，以保证代码能正确的执行。

3.volatile和synchronized

• volatile：

可见性：插入内存屏障保证，对volatile的操作会立即刷新到主内存中。每次使用volatile变量也会从主内存中现获取。
有序性：内存屏障(指令重排不能将内存屏障之后的指令排到内存屏障之前，并会刷新工作内存)禁止了指令重排的语意。

• synchronized：

原子性：同一时间只有一个线程运行同步代码块。
可见性：线程进入synchronized块之前，会清除当前线程工作空间的共享变量副本，使用时重新读取最新值。退出synchronized块之前把共享变量改动值刷新到主内存。
有序性：synchronized也会插入内存屏障，禁止synchronized块内的指令重排到块外，但不能阻止块内指令间的重排。

happens-before原则

1. 作用：JMM可以通过happens-before关系向程序员提供跨线程的内存可见性保证
2. 定义：

1. 如果一个操作happens-before另一个操作，那么第一个操作的执行结果将对第二个操作可见，而且第一个操作的执行顺序排在第二个操作之前。
2. 两个操作之间存在happens-before关系，并不意味着Java平台的具体实现必须要按照happens-before关系指定的顺序来执行。如果重排序之后的执行结果，与按happens-before关系来执行的结果一致，那么这种重排序并不非法（也就是说，JMM允许这种重排序）。

3. 规则介绍

1. 程序顺序规则：一个线程中的每个操作，happens-before于该线程中的任意后续操作。
2. 管程锁规则：unlock happens-before 于lock
3. volatile规则：对一个volatile的写现行发生于volatile的读
4. 线程启动规则：thread对象的start方法发生于线程内的每一个操作
5. 线程终止规则：线程中所有操作现行发生于对线程的终止检测，如Thread.join和Thread.isAlive检测
6. 线程中断规则：对interrupt方法的调用现行发生于被中断线程的代码检测到中断时间的发生（Thread.interrupted）
7. 对象终结规则：一个对象的初始化现行发生于finalize方法
8. 传递性规则：如果A happens-before B，B happens-before C那么A happens-before

4. ReetrantLock分析

参考

1. 《深入理解JVM》
2. 《并发编程的艺术》
3. 点击连接
4. Java内存可见性【Java系列笔记】
5. 指令举例
6. JVM内存模型-重排序&内存屏障
7. Java多线程基础——内存
8. 内存屏障与 JVM 并发
9. Java并发深入理解
10. 缓存一致性协议
11. 缓存一致性协议
12. Java内存模型深度解读
13. 深入理解Java内存模型