java 内存模型与线程

Java线程之间的通信由Java内存模型（简称为JMM）控制，JMM决定一个线程对共享变量的写入何时对另一个线程可见。从抽象的角度来 看，JMM定义了线程和主内存之间的抽象关系：线程之间的共享变量存储在主内存（mainmemory）中，每个线程都有一个私有的本地内存（local memory），本地内存中存储了该线程以读/写共享变量的副本。本地内存是JMM的一个抽象概念，并不真实存在。它涵盖了缓存，写缓冲区，寄存器以及其 他的硬件和编译器优化。Java内存模型的抽象示意图如下：

下面请看详细的代码分析过程：

int i = 0; //实例变量，保存在堆内存里面

getNextId(){

return i++;

}

以上代码在JVM中的执行过程：

JVM首先在JVM堆给i分配一个内存存储场所，并存储其值为0。线程启动后，会自动分配一个操作数栈。当程序执行到returni++，JVM并不是简单的一个步骤就可以完成。i++动作在jvm中分为装载i，读取i，进行i+1操作，存储i及写入i等5个步骤。

装载i：线程将i值从JVM堆复制到本地内存

读取i：从本地内存中读取i到操作数栈

进行i+1操作：由线程来操作，在方法栈中执行

存储i：将i+1的值赋值给i，然后存储到本地内存

写入i：将本地内存中i的值写入到java堆内存

因为main memory中的i和working memory中的i同步是需要时间的，如果在多线程环境下，假设线程A已经执行了i+1操作，当尚未完成写入i操作，线程b就完成了装载i的过程，那么当线程b执行完成，得到的值和a就是一样的。

当多线程执行此段代码的时候，线程a执行到getNextId()方法，JVM知道该方法有关键字，于是在执行其他动作前，首先在对象的实例前面加上一个lock，然后再继续执行return i++，而此时如果线程b并发访问getNextId()方法，JVM观察这个对象的实例上面有lock，于是将线程b放入等待执行的队列，只有等线程a的returni++执行完毕，jvm才会释放对象实例上面的锁，重新标记为unlock，这时当线程调度到线程b，线程b才得以执行getNextId()方法。

JAVA的线程无处不在

在装载i，读取i的过程中，因为涉及到与内存打交道，CPU就处于空闲状态，为了更有效的利用CPU，JAVA就使用多线程的方式执行程序。由此可以看出：Java内存模型决定了使用线程，则会极大提高程序的运行效率，所以线程无处不在！

感谢金丝燕大学校长