在Java中,所有实例域、静态域和数组元素存储在堆内存中,堆内存在线程之间共享。局部变量(Local variables),方法定义参数(Java语言规范称之为formal method parameters)和异常处理器参数(exception handler parameters)不会在线程之间共享。
Java线程之间的通信由Java内存模型(简称为JMM)控制,JMM决定一个线程对共享变量的写入何时对另一个线程可见。从抽象的角度来看,JMM定义了线程和主内存之间的抽象关系:线程之间的共享变量存储在主内存(main memory)中,每个线程都有一个私有的本地内存(local memory),本地内存中存储了该线程以读/写共享变量的副本。Java内存模型的抽象示意图如下:

jvm.png

从上图来看,线程A与线程B之间如要通信的话,必须要经历下面2个步骤:
首先,线程A把本地内存A中更新过的共享变量刷新到主内存中去。
然后,线程B到主内存中去读取线程A之前已更新过的共享变量。

Java内存模型的坑很多:
(1)本地内存。本地内存是JMM的一个抽象概念,并不真实存在。它涵盖了缓存、写缓冲区、寄存器以及其他的硬件优化。这些都是CPU的事情,怎么轮到Java来管了,而且不仅是Java,任何语言的内存模型都是如此的。
(2)上文"Java线程之间的通信由Java内存模型(简称为JMM)控制",线程是由操作系统来调用控制的,连调用权都没有,更别提通信权了。上文"JMM决定一个线程对共享变量的写入何时对另一个线程可见",JMM都干了,那CPU干什么呢?