Java内存模型（JMM）基础

本地内存是一个便于理解的抽象概念，物理上涵盖了缓存、写缓冲区、寄存器以及其他的硬件和编译器优化

重排序：三种

重排序会导致内存可见性问题：

1属于编译器重排序，2和3属于处理器重排序。

对于编译器，JMM的编译器重排序规则会禁止特定类型的编译器重排序（不是所有的编译器重排序都要禁止）。

对于处理器重排序，JMM的处理器重排序规则会要 求Java编译器在生成指令序列时，插入特定类型的内存屏障（Memory Barriers，Intel称之为 Memory Fence）指令，通过内存屏障指令来禁止特定类型的处理器重排序

happens-before规则：

并不是指前一个操作必须在后一个操作之前执行，而是前一个操作的结果对于后一个操作必须可见（即前一个操作必须先执行完！）

JVM会对代码进行编译优化，会出现指令重排序情况，为了避免编译优化对并发编程安全性的影响，需要happens-before规则定义一些禁止编译优化的场景，保证并发编程的正确性

1.程序顺序规则：一个线程中的每个操作，happens-before于该线程中的任意后续操作

2.监视器锁规则：对一个锁的解锁，happens-before于随后对这个锁的加锁

3.volatile变量规则：对一个volatile域的写，happens-before于任意后续对这个volatile域的读

4.传递性：如果A happens-before B，且B happens-before C，那么A happens-before C

as-if-serial语义：

不管怎么重排序，单线程程序的执行结果不能被改变。编译器、runtime和处理器都必须遵守as-if-serial语义。所以编译器和处理器不会对存在数据依赖关系的操作做重排序，因为这种重排序会改变执行结果