JMM

volatile是对JMM的一部分实现！！！可用其实现来介绍jmm实现。

什么是JMM？

JAVA内存模型是一种规范，它描述了共享内存中的值被多线程修改和读取的过程。规定了共享变量的可见性和执行顺序。

why需要JMM？

为了屏蔽各平台之间的内存模型的差异，JMM为JAVA提供了统一的内存模型。
在统一内存模型的过程中，JMM会面临两种问题：
（1）如何保证JAVA代码执行结果可预测，降低多线程的编写难度
（2）JMM内存模型不能太过于严格，否则会降低性能
针对这两个问题，JMM的解决方法是提供足够可用的内存模型，
（1）对于线程内的共享变量的一致性要求很严格
（2）对线程的非共享变量不做任何处理

JMM如何实现？

对于第一点，JAVA提供了VOLATILE,SYNCHRONIZED等关键字，严格限制共享变量的可见性和限制重排序。
对于第二点，非共享变量对于其他线程没有影响，所以实际的执行情况都遵循部署平台的内存模型，但是都要遵循as_if_serial。

JMM提供了HAPPENS-BEFORE原则，描述了变量的可见性和重排序。如果操作A对于B是可见的，则说A HAPPENS-BEFORE B。来指导程序员编写多线程程序。