Java内存模型JMM以及happens-before

java内存模型的抽象结构

• 在命令式编程中，线程之间的通信机制有两种：共享内存和消息队列。在共享内存的模型里，线程之间共享程序的公共状态，通过写-读内存中的公共状态进行隐式通信。在消息传递的并发模型里，线程之间并没有公共状态，线程之间必须通过发送消息来显式进行通信。
• 在java中，所有的实例域、静态域和数组元素都存储。在堆内存中，堆内存在线程之间共享。（共享变量这个术语代指实例域、静态域、和数组元素）。

线程之间的共享变量存储在主内存中，每个线程都有一个私有的本地内存，本地内存中存储了该线程读-写共享变量的副本。本地内存是JMM的一个抽象概念，并不真实存在。

如果线程A与线程B之间要进行通信的话，必须经过一下两个步骤：
1.线程A把本地内存A中更新过的共享变量刷新到主内存中去。
2.线程B到主内存中去读取线程A之前更新过的变量。、

从整体上看，这两个步骤实质上是线程A在向线程B发送消息，而且这个通信过程必须要经过主内存。JMM通过控制主内存与每个线程的本地内存之间的交互，来为Java程序员提供内存可见性。

happens-before简介

从JDK5开始，java使用JSR-133内存模型。JSR-133使用happens-before的概念来阐述操作之间内存的可见性。如果一个操作执行的结果需要对另一个操作可见，那么这两个操作之间必须要存在happens-before关系。
与程序员相关的happens-before规则如下：

• 程序顺序规则：一个线程中每个操作，happens-before于该线程中的任意后续操作
• 监视器锁规则:对于一个锁的解锁，happens-before于随后对这个锁的加锁。
• volatile变量规则：对一个volatile域的写，happens-before于任意后续对这个volatile域的
  读。
  注意：两个操作之间具有happens-before关系，并不意味着前一个操作必须要在后一个 操作之前执行！happens-before仅仅要求前一个操作（执行的结果）对后一个操作可见，且前一 个操作按顺序排在第二个操作之前