一、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并发编程的艺术 方腾飞 魏鹏 程晓明著