JMM内存模型

• JMM是Java内存模型，主要目标是定义程序中变量的访问规则，如图所示。

• 所有的共享变量都存储在主内存中。每个线程有自己的工作内存，工作内存中保存的是主内存中变量的副本，线程对变量的读、写等操作必须在自己的工作内存中进行。而不能直接操作主内存的变量。

• 在多线程进行数据交互时，

• 例如线程A给一个共享变量赋值，由线程B来读取这个值，线程A必须在自己的工作内存中修改完后，将这个值写会到主内存，B才能进行下一步的读操作。

• 但是由于指令重排序的存在，这个写、读的顺序有可能会被打乱，因此，JMM需要提供可见性、原子性、有序性的保证。三个性质的保证如下：

• 对基本数据类型的读或写保证原子性（除long、double外）。

• synchronized也可以保证原子性和可见性。

• volatile可以保证可见性和有序性。

• JMM对有序性的保证主要通过volatile和happens-before原则。