Java内存模型JMM以及happens-before

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

>>阅读原文<<