在命令式编程中,线程之间的通信机制有两种:共享内存和消息传递。
Java的并发采用的是共享内存模型,Java线程之间的通信总是隐式进行,整个通信过程对程序员完全透明。如果编写多线程程序的Java程序员不理解隐式进行的线程之间通信的工作机制,很可能会遇到各种奇怪的内存可见性问题。
Java内存模型的抽象示意图如下:
从上图来看,线程A与线程B之间如要通信的话,必须要经历下面2个步骤:
- 首先,线程A把本地内存A中更新过的共享变量刷新到主内存中去。
- 然后,线程B到主内存中去读取线程A之前已更新过的共享变量。
JMM其实是在遵循一个基本原则:只要不改变程序的执行结果(指的是单线程程序和正确同步的多线程程序),编译器和处理器怎么优化都行。
as-if-serial:保证单线程内程序的执行结果不被改变。
happens-before:保证正确同步的多线程程序的执行结果不被改变。
as-if-serial和happens-before这么做的目的:都是为了在不改变程序执行结果的前提下,尽可能地提高程序执行的并行度。
详情请参考:http://blog.csdn.net/ccit0519/article/details/11241403