java内存模型

在命令式编程中，线程之间的通信机制有两种：共享内存和消息传递。

Java的并发采用的是共享内存模型，Java线程之间的通信总是隐式进行，整个通信过程对程序员完全透明。如果编写多线程程序的Java程序员不理解隐式进行的线程之间通信的工作机制，很可能会遇到各种奇怪的内存可见性问题。

Java内存模型的抽象示意图如下：

从上图来看，线程A与线程B之间如要通信的话，必须要经历下面2个步骤：

1. 首先，线程A把本地内存A中更新过的共享变量刷新到主内存中去。
2. 然后，线程B到主内存中去读取线程A之前已更新过的共享变量。

JMM其实是在遵循一个基本原则：只要不改变程序的执行结果（指的是单线程程序和正确同步的多线程程序），编译器和处理器怎么优化都行。

as-if-serial:保证单线程内程序的执行结果不被改变。

happens-before：保证正确同步的多线程程序的执行结果不被改变。

as-if-serial和happens-before这么做的目的：都是为了在不改变程序执行结果的前提下，尽可能地提高程序执行的并行度。

详情请参考：http://blog.csdn.net/ccit0519/article/details/11241403