对于JMM（Java Memory Model）内存模型的理解

对于JMM(Java Memory Model)的理解

最近看了一下JMM内存模型，因此对于自己的理解在此做一总结。
Java的并发采用的是共享内存模型，JMM定义了线程与主内存之间的抽象关系，即：线程之间的共享变量存储在主内存（Main Memory）中，每一个线程都有一个私有的本地工作内存，该区域存储的是从主存中读取到的共享变量数据副本和执行引擎给共享变量赋值之后的数据，该本地工作内存是抽象出来的，并不是真实存在的。

主内存与私有的本地工作内存之间的操作关系

主内存与私有的本地工作内存之间存在着这么几种操作：

1. read（读取）：把一个变量从主内存传输到线程的本地工作内存中，以便随后的 load 动作使用。
2. load（加载）： 把 read 操作从主内存中得到的变量值加载到私有工作内存的变量副本中。
3. use（使用）：把工作内存中的一个变量值传递给执行引擎，每当虚拟机遇到一个需要使用变量值的字节码指令时执行此操作。
4. assign（赋值）：把一个从执行引擎接收的值赋值给工作内存的变量，每当虚拟机遇到一个需要给变量进行赋值的字节码指令时执行此操作。
5. store（存储）：把私有工作内存中一个变量的值传递到主内存中，以便后续 write 操作。
6. write（写入）：把 store 操作从私有工作内存中得到的值写入主内存变量中。
7. lock（锁定）：作用于主内存变量，把一个变量标识为一条线程独占状态。
8. unlock（解锁）：作用于主内存变量，把一个处于锁定状态的变量释放出来，释放后的变量才可以被其他线程锁定。

用以上八条操作来结合图例看看解释一下具体是什么。

该图中有两个CPU，代表一下多核，主内存中已经加载进去了一个共享变量flag，期初在主内存中flag的值为false，该变量还没有被volatile所修饰，通过read操作，将该共享变量读取到，然后通过load操作，将刚刚读取到的共享变量加载到私有工作内存中作为副本，而此时的这两个动作是两个CPU同时进行操作的，暂且看成是绝对并发，在CPU2中该共享变量被执行引擎assign为true，赋值为true之后存进私有工作内存中，再通过store操作将私有工作内存中的赋值之后的变量传递到主内存中，最后由write操作写入到主内存中。而write操作此时是没有lock的，因此，在数据传输到总线时，CPU1会通过总线嗅探机制感知到该变量已经发生变化了，然后会CPU1会将自己之前读取到的共享数据置为无效，并重新读取加载主存中的数据，但此时有可能读取到未修改之前的数据。
当加了volatile之后，CPU2在将数据write到主存之前会为其加lock，然后数据经过总线传输，CPU1感知到之后读取主存中的数据，发现无法读取，该数据被锁定，等待锁释放完成之后才能读取该数据，因此，volatile就保证了数据的一致性。