【深入理解Java虚拟机】五、Java内存模型（Java内存模型的三大特性、happens-before）、volatile型变量的特殊规则（单例模式中Double check的优化）

1.Java内存模型

JVM定义了一种Java内存模型来 屏蔽掉各种硬件和操作系统的之间的交互，不像c++中的内存模型，不同的数据类型在不同的平台上长度不一样，Java中不管哪个基本数据类型，在不同的平台上长度都是一模一样的。使得Java程序在各种平台下都能达到一致的内存访问效果。

1.1 主内存 和 工作内存

JVM内存模型的主要目标是定义程序中各个变量的访问规则，即JVM将变量存储到内存和从内存中取出变量这样的底层细节。此处的变量包含实例字段、静态字段和构成数组对象的元素，但是不包括局部变量和方法参数，因为后两者是私有的，不会被线程共享。

JVM内存模型规定了所有的变量都存储在主内存中，每条线程还有自己的工作内存，线程的工作内存中保存了 被该线程使用到的变量的主内存副本拷贝，线程对变量的所有操作（读取、赋值等）都必须在工作内存中进行，不能直接读写主内存中的变量，不同的线程之间也无法直接访问对方工作内存中的变量，线程间变量值的传递均需要通过主内存来完成。线程、主内存、工作内存三者的交互关系如下:

1.2 内存间交互操作

关于主内存与工作内存之间的具体交互协议，即一个变量如何从主内存中拷贝到工作内存、如何从工作内存同步回到内存之类的实现细节。Java内存模型中定义了以下8种操作来完成。JVM实现时必须保证下面提及的每一种操作是原子的、不可再分的

• lock(锁定)：作用于主内存中的变量，它把一个变量标识为一条线程独占的状态
• unlock(解锁)：作用于主内存中的变量，它把一个处于锁定状态的变量释放出来，释放后的变量才可以被其他线程锁定。
• read(读取)：作用于主内存中的变量，它把一个变量的值从主内存传输到线程的工作内存中，以便随后的load动作使用
• load(载入)：作用于工作内存中的变量，它把read操作从主内存中得到的变量值放入工作内存的变量副本中
• use(使用)：作用于工作内存中的变量，它把工作内存中一个变量的值传递给执行引擎
• assign(赋值)：作用于工作内存中的变量，它把一个执行引擎接收到的值赋给工作内存中的变量
• store(存储)：作用于工作内存中的变量，它把工作内存中一个变量的值送到主内存中，以便后续的write操作使用
• write(写入)：作用于主内存的变量，它把store操作从工作内存中得到的变量的值放入主内存的变量中

Java内存模型的三大特性

1. 原子性:由Java内存模型来直接保证的原子性变量操作包括read、load、assign、use、store、write。大致可以认为基本数据类型的访问读写是具备原子性的，如若需要更大范围的原子性，需要synchronized关键字约束。（即一个操作或者多个操作 要么全部执行并且执行的过程不会被任何因素打断，要么就都不执行）
2. 可见性：指当一个线程修改了共享变量的值，其他线程能够立即知道这个修改。volatile、synchronized、final三个关键字可以实现原子性
3. 有序性：如果在本线程内观察，所有的操作都是有序的，如果在线程中观察另外一个线程，所有的操作都是无序的，前半句是指"线程内表现为串行"，后半句是指"指令重排序"和"工作内存与主内存同步延迟"现象

Java内存模型具备一些先天的"有序性"，即不需要通过任何的手段就能够得到保证的有序性，这个通常也称为happens-before原则，如果两个操作的执行次序无法从happens-before原则推导出来，那么就不能保证它们的有序性，虚拟机可以随意的对它们进行重排序。

happens-before 先行发生原则

• 程序次序原则：一个线程内，按照代码顺序，书写在前面的操作先行发生于书写在后面的操作
• 锁定规则：unlock解锁操作先行发生于后面对同一个锁的lock加锁操作
• volatile变量规则：对一个变量的写操作先行发生于后面对这个线程的读操作
• 线程启动规则：Thread对象的start()方法先行发生于此线程的每一个动作
• 线程中断规则：对线程interrupt()方法的调用先行发生于被中断线程的代码检测到中断事件的发生
• 线程终结规则：线程中所有的操作都在线程终止前发生
• 对象终结规则：一个对象的初始化完成先行发生于他的finalize()方法的开始

也就是说，要想并发程序的正确执行，必须要保证原子性、可见性以及有序性，只要有一个没有被保证，就会导致程序运行不正确。