Java内存模型

转载：http://www.cnblogs.com/leesf456/p/5291484.html

Java虚拟机规范中试图定义一种Java内存模型（Java Memory Model， JMM）来屏蔽掉各种硬件和操作系统的内存访问差异，以实现让Java程序在各种平台下都能达到一致的内存访问效果。

1、Java并发基础

在并发编程中存在两个关键问题：（1） 线程之间如何通信；（2）线程之间如何同步。

1.1 通信

通信是指线程之间以何种机制来交换信息。在命令式编程中，线程之间的通信机制有两种：共享内存 和 消息传递。

共享内存：在共享内存的并发模型里，线程之间共享程序的公共状态，线程之间通过写-读内存中的公共状态来隐式进行通信。

消息传递：在消息传递的并发模型里，线程之间没有公共状态，线程之间必须通过明确的发送消息来显式进行通信。

1.2 同步

同步是指程序用于控制不同线程之间操作发生相对顺序的机制。

在共享内存并发模型里，同步是显式进行的。程序员必须显式指定某个方法或某段代码需要在线程之间互斥访问。

在消息传递的并发模型里，由于消息的发送必须在消息的接收之前， 因此同步是隐式进行的。

Java并发采用的是共享内存模型，通信隐式进行；同步显示指定。

Java同步的三种方式：（1）volatile、（2）锁、（3）final

2、Java内存模型

Java内存模型JMM（Java Memory Model）主要目标是定义程序中各个变量（非线程私有）的访问规则，即在虚拟机中将变量存储到内存和从内存取出变量这样的底层细节。

Java中每个线程都有自己私有的工作内存。工作内存保存了被该线程使用的变量的主内存副本拷贝，线程对变量的读写操作都必须在自己的工作内存中进行，无法直接读写主内存中的变量。两个线程无法直接访问对方的工作内存。

2.1 线程、工作内存、主内存关系

理解线程、工作内存、主内存之间的关系时，我们可以类比物理机中CPU、高速缓存、内存之间关系。

CPU、高速缓存、主内存之间的关系如下：

线程、工作内存、主内存的关系如下：

若线程A要与线程B通信（访问变量）。首先，线程A把工作内存中的共享变量的值刷新到主内存中；然后，线程B从主内存中读取更新过的变量的值到自己的工作内存中。

2.2 内存间通信的指令

内存间通信，主要指线程私有的工作内存与主内存之间的通信，如线程间共享变量的传递。主要有如下操作。

read、load操作；store、write操作必须按顺序执行（并非连续执行）。

上述的8个操作需要满足如下规则：

2.3 重排序

在执行程序时为了提高性能，编译器和处理器常常会对指令做重排序。重排序会遵守数据的依赖性，编译器和处理器不会改变存在数据依赖关系的两个操作的执行顺序。重排序分为如下三种类型。

1. 编译器优化的重排序。编译器在不改变单线程程序语义的前提下，可以重新安排语句的执行顺序。

2. 指令级并行的重排序。现代处理器采用了指令级并行技术（Instruction-Level Parallelism， ILP）来将多条指令重叠执行。如果不存在数据依赖性，处理器可以改变语句对应机器指令的执行顺序。

3. 内存系统的重排序。由于处理器使用缓存和读/写缓冲区，这使得加载和存储操作看上去可能是在乱序执行。

而我们编写的Java源程序中的语句顺序并不对应指令中的相应顺序，如（int a = 0; int b = 0；翻译成机器指令后并不能保证a = 0操作在b = 0操作之前）。因为编译器、处理器会对指令进行重排序，通常而言，Java源程序变成最后的机器执行指令会经过如下的重排序。

2.4 内存屏障指令

为了保证内存可见性，Java编译器在生成指令序列的适当位置会插入内存屏障指令来禁止特定类型的处理器重排序。内存屏障指令分为如下四种：

2.5 先行发生原则（happens before）

先行发生原则是判断数据是否存在竞争、线程是否安全的主要依据。

如果一个操作执行的结果需要对另一个操作可见，那么这两个操作之间必须要存在 happens-before 关系，如果操作A先行发生与操作B，即A操作产生的结果能够被操作B观察到。

具体的 happens-before 原则如下：

1. 程序顺序规则：在一个线程内，按照程序代码顺序，书写在前面的操作先行发生于书写在后面的操作（控制流操作而不是程序代码顺序）。

2. 管程锁定规则：一个unlock操作先行发生于后面对同一个锁的lock操作。

3. volatile变量规则：对一个 volatile变量的写操作，先行发生于后面对这个变量的读操作。

4. 线程启动规则：Thread对象的start()方法先行发生于此线程的每一个动作。

5. 线程终止规则：线程中所有操作都先行发生于对此线程的终止检测。

6. 线程中断规则：对线程interrupt()方法的调用先行发生于被中断线程的代码检测到中断事件的发生。

7. 对象终结规则：一个对象的初始化完成（构造函数执行结束）先行发生于它的finalize()方法的开始。

8. 传递性：如果操作A先行发生于操作B，且操作B先行发生于操作C，那么操作A先行发生于操作C。

说明：happens-before 仅仅要求前一个操作（执行的结果）对后一个操作可见，且前一个操作按顺序排在第二个操作之前（可能会发生指令重排）。时间先后顺序与happens - before原则之间没有太大的关系。

2.6 as-if-serial 语义

as-if-serial 的语义是：

不管怎么重排序（编译器和处理器为了提高并行度），（单线程）程序的执行结果不能被改变。编译器，runtime 和处理器都必须遵守 as-if-serial 语义。为了遵守 as-if-serial 语义，编译器和处理器不会对存在数据依赖关系的操作做重排序，因为这种重排序会改变执行结果。但是，如果操作之间不存在数据依赖关系，这些操作就可能被编译器和处理器重排序。