Java 内存模型【JMM】

1 概念

Java内存模型(Java Memory Model，JMM)JMM主要是为了规定了线程和内存之间的一些关系。根据JMM的设计，系统存在一个主内存(Main Memory)，Java中所有变量都储存在主存中，对于所有线程都是共享的。每条线程都有自己的工作内存(Working Memory)，工作内存中保存的是主存中某些变量的拷贝，线程对所有变量的操作都是在工作内存中进行，线程之间无法相互直接访问，变量传递均需要通过主存完成。

作用：
(1) 通过JMM来实现线程和主内存之间的抽象关系。
(2) 屏蔽各个硬件平台和操作系统的内存访问差异以实现让Java程序在各种平台下都能达到一致的内存访问效果。

2 特性

2.1 原子性（Atomicity）

原子性是指一个操作是不可中断的，即使是在多个线程一起执行的情况下，一个操作一旦开始执行，就不会受到其他线程的干扰。

比如，有两个线程同时对一个静态全局变量int num进行赋值，线程A给他赋值为1，线程B给他赋值为2，那么不管这两个线程以何种方式何种步调去执行，num的值最终要么是1要么是2，线程A和线程B在赋值操作期间，是不可能受到对方干扰的，这就是原子性的一个特点——不可被中断。

2.2 可见性（Visibility）

指当一个线程修改了某一个共享变量的值，其他线程是否能够立即知道这个修改。显然，对于串行程序来说，可见性问题 是不存在。因为你在任何一个操作步骤中修改某个变量，那么在后续的步骤中，读取这个变量的值，一定是修改后的新值。但是这个问题在并行程序中就不见得了。如果一个线程修改了某一个全局变量，那么其他线程未必可以马上知道这个改动。

2.3 有序性

有序性问题可能是比较难理解的一个问题。对于一个线程执行的代码而言，我们总是习惯地认为代码总是按照书写顺序从先往后依次执行，这在单线程环境下，确实如此，但是在多线程并发环境下估计就不见得了，程序的执行可能就会出现乱序，给人的感觉就是写在前面的代码可能在后面执行了。其实有序性问题的原因是因为程序在执行时，可能因为编译器优化的缘故，进行了指令重排的操作，重排后的指令与原指令的顺序未必一致。

一个最经典的例子就是银行汇款问题，一个银行账户存款100，这时一个人从该账户取10元，同时另一个人向该账户汇10元，那么余额应该还是100。那么此时可能发生这种情况，A线程负责取款，B线程负责汇款，A从主内存读到100，B从主内存读到100，A执行减10操作，并将数据刷新到主内存，这时主内存数据100-10=90，而B内存执行加10操作，并将数据刷新到主内存，最后主内存数据100+10=110，显然这是一个严重的问题，我们要保证A线程和B线程有序执行，先取款后汇款或者先汇款后取款，此为有序性。

指令重排序的条件：

1 在单线程环境下不能改变程序的运行结果；
2 存在数据依赖关系的不允许重排序；
3 无法通过Happens-before原则推到出来的，才能进行指令的重排序。

3 happens-before (先行原则)

(1) 程序次序规则：一个线程内，按照代码顺序，书写在前面的操作先行发生于书写在后面的操作
(2) 锁定规则：一个unLock操作先行发生于后面对同一个锁额lock操作
(3) volatile变量规则：对一个变量的写操作先行发生于后面对这个变量的读操作
(4) 传递规则：如果操作A先行发生于操作B，而操作B又先行发生于操作C，则可以得出操作A先行发生于操作C
(5) 线程启动规则：Thread对象的start()方法先行发生于此线程的每个一个动作
(6) 线程中断规则：对线程interrupt()方法的调用先行发生于被中断线程的代码检测到中断事件的发生
(7) 线程终结规则：线程中所有的操作都先行发生于线程的终止检测，我们可以通过Thread.join()方法结束、Thread.isAlive()的返回值手段检测到线程已经终止执行
(8) 对象终结规则：一个对象的初始化完成先行发生于他的finalize()方法的开始