死磕并发之java内存模型(JMM)

• 了解虚拟机的并发问题之前我们首先先了解下物理机对并发的处理方案
• 由于计算机的存储设备与处理器的运算速度有几个数量级的差距(也就是内存和cpu的差距)，所以现代计算机系统都不得不加入一层读写速度尽可能接近处理器运算速度的高速缓存来作为内存与处理器之间的缓冲：将运算需要使用到的数据复制到缓存中，让运算能快速进行，当运算结束后再从缓存同步回内存中，这样处理器就无须等待缓慢的内存读写了。

处理器、高速缓存、主内存之间的交互关系

基于高速缓存的存储交互很好的解决了处理器与内存的速度矛盾，但是会引入一个新的问题：缓存一致性问题。在多处理器系统中，每个处理器都有自己的高速缓存，而他们又共享同一个主内存(如上图)，当多个处理器的运算任务都涉及同一块主内存区域时，将有可能导致各自缓存的数据不一致的问题。
为解决一致性问题，需要各个处理器访问缓存时都遵循一些协议，比如：MSI、MESI、MOSI、Synapse等待。

除了增加高速缓存之外，为了使处理器内部运算单元能尽量被充分利用，处理器可能会对代码进行乱序执行优化，处理器会在计算之后将乱序执行的结果重组，保证结果与顺序执行的结果是一致的，但并不保证程序中各个语句计算的先后顺序与输入代码中的书序一致。 java虚拟机中也有类似的指令重排序优化。

• 理解了上面物理机层面的并发处理方案，下面的java内存模型理解起来就很好理解了。
• java内存模型中分为主内存和工作内存。java内存模型规定了所有的变量都存储在主内存中(可与上面的主内存类比)，每条线程有自己的工作内存(可与处理器高速缓存类比)，线程的工作内存中保存了该线程使用到的变量的主内存副本拷贝，线程对变量的所有操作都必须在工作内存中进行，而不能直接读写主内存中的变量。不同线程之间也无法直接通过访问对方工作内存中的变量，线程间变量值的传递均需通过主内存来完成。

• java内存模型的有序性

• 如果在本线程内观察，所有操作都是有序的，如果在一个线程中观察另一个线程，所有的操作都是无序的。前半句是指“线程内表现为串行的语义”，后半句是指“指令重排序”现象和“工作内存与主内存同步延迟”现象。

• 保证有序性有一个“先行发生”(happens-before)原则
  先行发生原则(happens-before)