JMM内存模型

JMM内存模型图解

Java线程内存模型与cpu缓存模型类似，是基于cpu缓存模型建立的。Java线程内存模型标准化，屏蔽了底层不同计算机的区别。图解：

当多个线程运行起来时，会将主内存中的共享变量拷贝一份到自己的工作内存当中，如果没有进行设置，则其中的一个线程修改了共享变量的数据，则其它的线程没有感知到，这样就获取不到修改后的数据，也说明了工作内存是存在的。如果不存在的话，都是直接去主内存拿数据，则一定是会被感知到的。

JMM数据原子操作流程

流程步骤说明：

1. read（读取）：从主内存读取数据
2. load（载入）：将主内存读取到的数据写入工作内存
3. use（使用）：从工作内存读取数据进行计算
4. assign（赋值）：将计算好的值重新赋值到工作内存中
5. store（存储）：将工作内存数据写入主内存
6. write（写入）：将store过去的变量值赋值给主内存中的变量
7. lock（锁定）：将主内存变量加锁，标识为线程独占状态
8. unlock（解锁）：将主内存变量解锁，解锁好其他线程可以锁定该变量

举例说明：static boolean一个变量initFlag= false，一个线程修改为true打印，另一个线程然后打印出来这个变量是否为true，其结果为false，没有打印出一个线程修改后的结果。流程如下：
那么问题来了，一个线程修改了initFlag这个变量，如何把这个变量的值传递个另一个线程呢？面对JMM缓存不一致问题，解决方案两个：

1. 总线加锁（性能太低）
   cpu从主内存读取数据到高速缓存，会在总线对这个数据进行加锁，这样其它cpu没法去读或写这个数据，直到这个cpu使用完数据释放锁之后其它cpu才能读取该数据。
   2.MESI缓存一致性协议
   多个cpu从主内存读取同一个数据到各自的高速缓存，当其中某个cpu修改了该缓存里的数据，该数据会立即同步到主内存，其它cpu通过总线嗅探机制可以感知到数据的变化从而将自己缓存中的数据失效。如图所示：
   

Volatile可见性底层实现原理

底层实现主要是通过汇编lock前缀指令，它会锁定这块内存区域的缓存（
并回写到主内存
IA-32架构软件开发者手册对lock指令的解释：

1. 会将当前处理器缓存行的数据 写回到系统内存。
2. 这个写回内存的操作会引起在其他CPU里缓存了该内存地址的数据无效(MESI协议）

具体详细介绍可以参考Java中volatile关键字实现原理

在没有 volatile 的时候，执行完initFlag=true;，执行结果其实是写到CPU缓存中，没有马上写回到内存中，后续在某些情况下（比如CPU缓存不够用）再将CPU缓存中的值flush到内存。正因为没有马上写到内存，所以不能保证其它线程可以及时见到执行的结果。
在有 volatile 的时候，执行完 initFlag=true;，执行结果写到CPU缓存中，并且同时写回到内存，因为已经写回内存了，所以可以保证其它线程马上看到执行的结果。

• Java程序汇编代码查看
-server -Xcomp -XX:+U_plo_ckDiagnQsticVMOptiQns -XX:+PdntAssembly -
XX;CompileCommand=compileonly,*VQlatileyj5jJbiljtyTest.prepareData

并发编程三大特征

可见性，原子性，有序性
volatile保证可见性与有序性，但是不能保证原子性，保证原子性需要借助synchronized这样的锁机制。

volatile和synchronized的区别

volatile本质是告诉JVM当前变量在寄存器（工作内存）中是无效的，需要去主内存重新读取；
synchronized是锁定当前变量，只有持有锁的线程才可以访问该变量，其他线程都被阻塞直到该线程的变量操作完成；

volatile仅仅能使用在变量级别；synchronized则可以使用在变量、方法和类级别；

volatile仅仅能实现变量修改的可见性，不能保证原子性；而synchronized则可以保证变量修改的可见性和原子性；

volatile不会造成线程的阻塞；synchronized可能会造成线程的阻塞；

volatile修饰的变量不会被编译器优化；synchronized修饰的变量可以被编译器优化。