线程同步原理

内存模型

    首先我们思考一下一个java线程要向另外一个线程进行通信，应该怎么做，我们再把需求明确一点，一个java线程对一个变量的更新怎么通知到另外一个线程呢？我们知道java当中的实例对象、数组元素都放在java堆中，java堆是线程共享的。（我们这里把java堆称为主内存），而每一个线程都是自己私有的内存空间（称为工作内存），如果线程1要向线程2通信，一定会经过类似的流程：

1、 线程1将自己工作内存中的X更新为1并刷新到主内存中；

2、 线程2从主内存读取变量X=1，更新到自己的工作内存中，从而线程2读取的X就是线程1更新后的值。

从上面的流程看出线程之间的通信都需要经过主内存，而主内存与工作内存的交互，则需要Java内存模型（JMM）来管理器。下图演示了JMM如何管理主内存和工作内存：

当线程1需要将一个更新后的变量值刷新到主内存中时，需要经过两个步骤：

1、 工作内存执行store操作；

2、 主内存执行write操作；

完成这两步即可将工作内存中的变量值刷新到主内存，即线程1工作内存和主内存的变量值保持一致；

当线程2需要从主内存中读取变量的最新值时，同样需要经过两个步骤：

1、主内存执行read操作，将变量值从主内存中读取出来；

2、工作内存执行load操作，将读取出来的变量值更新到本地内存的副本；

完成这两步，线程2的变量和主内存的变量值就保持一致了。