Java内存模型（JMM）详述

1.内存模型的抽象结构

抽象角度：JMM定义了主内存和线程之间的抽象关系。
线程之间的共享变量存储在主内存，每个线程都有本地内存（是JMM的一个抽象概念，实际不存在），本地内存存储了共享变量的副本。

2.内存模型的类型

• TSO （Total Store Ordering）放松写读的顺序
• PSO （Partial Store Order）（在TSO基础上继续放松写写的顺序）
• RMO（Relaxed Memory Order）（在PSO基础上继续放松读写和读读的顺序）
• PowerPC

从上到下，模型由强变弱。越是追求性能的处理器，内存模型设计得会越弱。

3.happens-before

Jdk1.5开始，java使用jsr-133内存模型，JSR-133使用happens-before来阐述内存可见性。

happens-before 规则如下：

1）程序顺序规则：一个线程中的每个操作，happens-before于后续操作。
2）监视器锁规则：一个锁的解锁happens-before于对这个锁的加锁。
3）volatile变量规则：对一个volatile变量的写happens-before于读
4）传递性：如果A happens-before B，且B happens-before C，那么A happens-before C
5）start()规则：线程A的ThreadB.start()操作happens-before于线程B的任意操作。
6）Join() 规则：线程A的执行ThreadB.join()操作，线程B的任意操作happens-before于ThreadB.join()成功返回。

注意：两个操作之间具有happens-before关系，并不是前一个操作必须要在后一个操作之前执行，而是前一个操作（执行的结果）对后一个操作可见，且前一个操作按顺序排在第二个操作之前。

4.顺序一致性模型

如果程序是正确同步的，程序的执行结果和在顺序一致性内存模型中结果一样。

• 同步原语（synchronized，volatile，final）

• 顺序一致性内存模型是一个理想参考模型。

• 特性：
  1）一个线程所有操作按照程序的顺序执行。
  2）每个操作都必须原子执行，并且立刻对所有线程可见。

• 同步程序的顺序一致性效果

JMM中，临界区内的代码可以重排序（但JMM不允许临界区内的代码“逸出”到临界区之外，那样会破坏监视器的语义）。由于监视器互斥执行，线程B无法看到线程A在临界区的重排序，所以结果和顺序一致性模型中一样。

5.指令重排序

为了提高性能，编译器和处理器常常会对指令做重排序。

5.1 重排序分3种类型

1）编译器优化的重排序。编译器在不改变语义的前提，可以安排语句的执行顺序。
2）指令级并行的重排序。处理器可以采用指令并行执行的技术，改变原有语句的执行顺序。
3）内存系统的重排序。由于处理器使用缓存和读/写缓冲区，这使得加载和存储操作看上去可能是在乱序执行。

对于编译器重排序，JMM的编译器重排序规则会禁止一部分的编译器重排序
对于处理器重排序，JMM采用 插入内存屏障指令 禁止一些处理器重排序。

5.2 重排序遵守的规则

（1）数据依赖性（单线程），不会改变存在数据依赖性的两个操作的执行顺序

（2）as-if-serial，意思是不管怎么重排序，（单线程）程序的执行结果不能被改变

（3）在不改变结果的时候，尽可能提高并行度。

5.3 重排序对多线程的影响

例如如下代码中，操作1和操作2没有数据依赖关系，可以进行重排序；操作3和操作4没有数据依赖关系，也可以重排序。所以程序执行结果就会产生不一致。

6. 内存屏障

内存屏障（memory barriers,或者叫内存栅栏memory fence）：
为了保证内存可见性，会在指令的适当位置插入内存屏障指令，禁止一些指令重排序。

6.1 内存屏障分为

（1）LoadLoad屏障
Load1; LoadLoad; Load2。
在load2 读取数据前，保证load1读取数据完毕。

（2）StoreStore屏障
Store1; StoreStore; Store2
在store2 写入前，保证Store1 已经写入。

（3）LoadStore屏障
Load1; LoadStore; Store2
在store2 写入之前，load1 已经读取。

（4）StoreLoad屏障（开销最大，兼具其它三个功能）
Store1; StoreLoad; Load2
在load2读取之前，store1 写入，对所有处理器可见。

7.final域内存语义

• 写final域的重排序规则
  会在final域的写之后，构造函数return之前插入一个StoreStore屏障。禁止编译器把final域的写重排序到构造函数之外
  比如在初始化这个对象的时候，final域的值被限定在构造函数之内。所以可以正确读取final变量的值。
  而普通域可能重排序到了构造函数之外。就读不到普通变量的初始值了。
  

• 读final域的重排序规则
  编译器会在读对象引用和读final域之间插入LoadLoad屏障，禁止它们之间的重排序。而普通域读没有限制，可以重排序在读对象引用之前。
  

• Final域是引用类型
  由之前final域写操作重排序规则知道1（final域写）在3之前。而这里2（final引用的对象的成员域的写入）也是在3前；读final域一定在读引用对象后，所以6在3之后；但是线程B对final对象的成员域的修改，和C读final域之间没有重排序规则。B和C是存在数据竞争。
  

---

参考： java并发编程的艺术