面试系列之volatile（JMM）

面试系列之volatile（JMM）

JMM模型：

java并发编程中：
可见性:当一个线程修改了共享变量的值，其他线程能够看到修改的值。
顺序性：即程序执行的顺序按照代码的先后顺序执行。
原子性：一个或者多个操作一起全部执行不能被中断或者全部不执行

1.可见性：

• 从JMM模型我们可以看出每个CPU都有自己的本地缓存，所以当多个CPU在操作同一个共享变量时会把共享变量读到自己的本地缓存中进行操作，但是操作完成之后并不会立即将结果写到主内存，由此产生了可见性的问题。
• 所以在这种架构出来的时候就出现对 缓存一致性 的要求具体实现方案有两种：总线锁定 和 缓存锁定 由于总线锁定会阻塞其他cpu的请求，独占主内存，对性能的损耗非常大，所以一般不使用。 缓存锁定是指内存区域如果被缓存在cpu的 缓存行 中那么对于这个内存的修改需要写会主内存并通知其他cpu中有此内存数据的缓存行失效
• 缓存锁定的实现是基于总线窥探机制一般分为写失效和写更新 基于效率考虑一般用写失效的方式
• MESI（缓存一致性协议） 协议针对内存会有四种状态： M：修改 E：独占 S：共享 I：失效
  当对于一块内存，如果启用MESI协议，那么当它加载到一个CPU的缓存行时，它的状态是独占，第二个CPU加载时变为共享，CPU1或者CPU2操作完内存数据以后变为M，写回主内存后会通知其他CPU的对应缓存行变为失效。
• 为满足可见性的要求，在jdk上的实现采用的是 内存屏障 ，内存屏障对于不同的运行平台底层的实现是不同的 举例：x86架构下的liux系统
  
  可以看出经过storeload ->fence ->lock 所以使用的是lock前缀指令
• 内存屏障：能够保证修改写到主内存并通知其他cpu的缓存行失效

2.顺序性：顺序性是指代码的执行顺序和编码顺序一致。

内存屏障能保证内存屏障前后的代码执行不会重排序
3.原子性：不保证原子性