深入Java并发编程(二）：深入理解JMM

一、前言

内存和线程的关系就跟水和🐟一样，没有内存线程压根跑不起来。而 Java内存模型是为了解决不同平台下的硬件和操作系统的内存模型差异而被定义的，以达到java的程序能够在不同平台下都能有一致的内存访问的效果。

二、主内存和工作内存

JMM规定了内存主要划分为主内存和工作内存。主内存是线程公有的，所有的线程都可以对其进行读写；而工作内存是线程私有的，用来拷贝主内存中的变量。其中主内存中存放共享变量，主要对应的是Java堆中的对象实例，而工作内存对于栈中的部分区域，主要是一些方法参数以及局部变量。为什么要划分出主内存和工作内存呢？其实更底层的去看，主内存对应的是硬件的物理内存，而工作内存对应的是高速缓存和寄存器。程序运行时主要访问读写的就是我们的工作内存。

线程对主内存以及互相之间的工作内存的访问读写都必须遵守以下规则：

1、线程在对变量的所有操作都必须在自己的工作内存中进行。因此在对变量操作前要先将变量拷贝到自己的工作内存中而不是直接读写主内存中的变量；

2、主内存是不同线程的工作内存之间数据交互的中转站，也即是说，不同的工作线程之间的变量不能直接交换数据，而是要先写入主内存，主内存再把数据写入需要的工作内存。

三、内存数据交互操作

我们在(二)都知道了主内存和工作内存的变量是怎么交互的，但它具体的实现细节还是不明了的。这里介绍一下内存之间变量交互的8种原子操作，这对于我们后面学习理解synchronized、volatile等关键字有很大的帮助。

1、lock(锁定)：把主内存中的一个变量标识为线程独占状态

2、unlock(解锁)：释放主内存中处于锁定状态的变量，让它能被其他线程访问读写

3、read(读取)：将主内存中的变量的值拷贝到线程的工作内存中

4、load(载入)：紧接read操作，将主内存拷贝来的值放入工作内存的变量副本里

5、use(使用)：把工作内存中的一个变量值传给执行引擎

6、assign(赋值)：把执行引擎的值赋给工作内存的一个变量

7、store(存储)：把工作内存中一个变量的值传入主内存

8、write(写入)：紧接store，把传入的工作内存的值赋给主内存的一个变量

看到read和load操作，我们很合理地可以推测出这两个操作是需要连用的，它们单独的出现是没有意义的。而store和write也是如此。

四、JMM中的三个特性

1、原子性：read、load、use、assign、store、write这6个原子操作是直接的保证当前变量的原子性。而lock和unlock操作则在保证了一个更大范围的原子性操作，比如基于unlock和lock实现的synchronized关键字，它可以保证整个同步块的原子性。

2、可见性：可见性是针对于共享变量而言的，如果一个线程修改了共享变量的值，那么其他线程都可以立即得知这个修改。我们通常用volatile来保证可见性，它可以将工作内存中修改的值立即同步到主内存中，不过这并不意味着它修饰的值在所有工作内存中都是一致的，只有当要使用这个变量前，我们才会去读取主内存中被修改过的变量并重新载入。事实上synchronized和final也可以保证可见性。synchronized的可见性是由"在执行unlock前必须把该变量同步回主内存"这条规则保证的，而final关键字的可见性是指final修饰的字段一旦初始化完成那么其他线程也可以看到final字段的值。

3、有序性：单个线程内的所有操作都是有序的(程序次序规则保证了一个线程内的代码按照控制流顺序执行)。但如果是多个线程，那么就可能回因为指令重排序而导致操作的无序，这时候考虑使用synchronized或是volatile。synchronized可以确保“一个变量在同一时刻只允许一个线程对其进行lock操作”，这使得同步块只能串行地执行，而volatile则是通过禁止指令重排序保证的。

 

五、happens-before原则

happens-before原则指的是java定义的两项操作的偏序关系 。对于线程和线程间的常见操作，我们不可能一直用同步手段去保证它们的有序性，这会使得我们的操作非常的繁琐，这时，我们就需要先行发生原则去规定线程和线程间的一些操作的先行发生关系。关于先行发生的关系，我们来举个栗子：

a = 10;//线程A

b = a+10;//线程B

a = 11;//线程C

在此处我们假设线程A的"a=10"操作happens before 线程B，那么B就能观测到线程A操作的影响，在这里也就是a修改后的值，所以b可以正确的被赋值为20。倘若此时的线程C发生在线程A之后，但与B的先后关系不确定，那么此时b的值就不确定了，因为B可能观察到线程C对a地影响，可能也观察不到。

JMM默认的先行发生规则有以下几条，这些规则无需同步手段去保障它们的顺序性：

1、程序次序规则：在一个线程内，按照控制流顺序，前面操作先行于后面操作 

2、管程锁定规则：对于同一个锁，它的unlock操作先行于lock操作

3、volatile变量规则：对于同一个volatile变量，它的写操作先行于后面的读操作

4、线程启动规则：Thread对象地start()方法先行于它的任何操作

5、线程终止规则：线程的所有操作都先行于此线程的每一个动作

6、线程中断规则：对线程interrupt(0的调用线性于被中断线程的代码检测到中断事件的发生

7、对象终结规则：一个对象的初始化完成先行于它的finalize()方法的开始

8、传递性：如果A操作先行于B操作，B操作先行于C操作，那么A操作先行于C操作

六、总结

由于Java中并发的大多都是线程，所以定义工作内存作为线程私有的内存空间是很有必要的，这能加快线程的I/O速度，减少CPU等待事件从而提高CPU利用率。而主内存和工作内存之间严谨的变量交换规则则尽可能地保证了数据的一致性。而synchronized这样的扩大化原子操作既规定了线程间的串行化执行，又满足了原子性。volatile、synchronized、final则是从不同的角度去满足可见性原则。而happens-before原则则既是帮助确立了不依赖同步机制下线程本身和线程之间的操作偏序关系，也能作为我们去快速判断操作的偏序关系的重要标准。