3、Java内存模型(JMM)

Java Memory Model，简称JMM。JMM定义了Java 虚拟机(JVM)在计算机内存(RAM)中的工作方式。
JMM决定一个线程对共享变量的写入何时对另一个线程可见：并发BUG的源头是可见性、原子性、顺序性，要解决这些问题合理的办法就是 按需禁用缓存和重排序，而JMM则规范了JVM如何提供按需禁用缓存和编译优化的方法，包括 volatile、synchronized 和 final三个关键字、八条Happens-Before规则。
Java编译器在生成指令序列的适当位置插入 内存屏障指令 来禁止特定类型的 处理器重排序。

一、happens-before规则

Happen-before 关系，是JMM中保证多线程操作可见性的机制。Happens-Before 约束了编译器的优化行为：虽允许编译器优化，但是要求编译器优化后一定遵守Happens-Before规则。
1）如果一个操作happens-before另一个操作，那么第一个操作的执行结果将对第二个操作 可见，而且第一个操作的执行顺序排在第二个操作之前。
2）两个操作之间存在happens-before关系，并不意味着Java平台的具体实现必须要按照 happens-before关系指定的顺序来执行。如果重排序之后的执行结果，与按happens-before关系 来执行的结果一致，那么JMM允许这种重排序。

happens-before与as-if-serial

as-if-serial语义：不管怎么重排序，单线程程序的执行结果不能被改变
happens-before关系本质上和as-if-serial语义是一回事。
as-if-serial语义保证单线程内程序的执行结果不被改变，happens-before关系保证正确同步的多线程程序的执行结果不被改变。
as-if-serial语义给编写单线程程序的程序员创造了一个幻境：单线程程序是按程序的顺 序来执行的。happens-before关系给编写正确同步的多线程程序的程序员创造了一个幻境：正确同步的多线程程序是按happens-before指定的顺序来执行的。
都是为了在不改变程序执行结果的前提 下，尽可能地提高程序执行的并行度。