Java内存模型

一、Java内存模型

并发编程中，需考虑：线程之间如何通信及线程之间如何同步。
在共享内存的并发模型里，线程之间共享程序的公共状态，通过写--读内存中的公共状态进行隐式通信。而线程之间必须通过发送消息来显示进行通信。
同步是指程序中用于控制不同的线程间的操作发生相对顺序的机制。在共享内存的并发模型里，同步是显示进行的。使用同步方法或者同步代码块需要在线程之间互斥执行。在消息传递的并发模型里，由于消息的发送必须在消息的接收之前同步是隐式进行的。
在Java中，所有实例域、静态域和数组元素都存储在堆内存中，堆内存在线程之间共享局部变量（Local Variables），方法定义参数（Java语言规范称之为FormalMethodParameters）和异常处理器参数（ExceptionHandler Parameters）不会在线程之间共享，它们不会有内存可见性问题，也不受内存模型的影响。
JMM定义了线程和主内存之间的抽象关系：线程之间的共享变量存储在主内存（Main Memory）中，每个线程都有一个私有的本地内存（Local Memory），本地内存中存储了该线程以读/写共享变量的副本。本地内存是JMM的一个抽象概念，并不真实存在。它涵盖了缓存、写缓冲区、寄存器以及其他的硬件和编译器优化。
Java内存模型抽象示意图

A和B要通信的话
A把本地内存的更新过后的共享变量刷新到主内存中。
B线程到主内存中读取A更新过后的共享变量。

通俗地说A向B发送消息，必须经过主内存，JMM通过控制主内存与每个线程的本地内存之间的交互，来为Java程序员提供
内存可见性保证。

参考文献：Java并发编程的艺术 方腾飞 魏鹏 程晓明著