JMM缓存模型

概念

        JMM缓存模型是一套基于cpu缓存模型开发的管理多线程缓存问题的程序

  cpu缓存图示

         JMM定义了主存和工作内存的抽象概念，主存对应着共享数据，如方法区、堆，工作内存对应着栈，共享数据会拷贝一份到工作内存中。底层对应着cpu寄存器、缓存、硬件内存、cpu指令优化等。

        JMM特性体现在以下几个方面

1. 原子性：保证指令不会受到线程上下文的干扰
2. 可见性：保证指令不会受到缓存的干扰
3. 有序性：保证指令不会受到cpu指令优化的干扰

        volatile是一种变量修饰符，适合并发场景，支持可见性、有序性，而synchronized不仅可以支持可见性、有序性,还支持原子性

 JMM管理图示

上图是不带volatile修饰符的公共变量的线程应用流程：工作内存的数据会在线程结束前将新数据同步给主内存，这个时间是jmm动态决定的

带volatile修饰的变量和上图逻辑相同，只是会在写入主内存时给主内存加上锁：在工作内存数据改变时立刻将新数据同步给主内存，此时主内存也会被加锁保证数据安全

【关键词：总线嗅探机制、缓存同步协议】

有序性（指令重排）：

如下图，如果是同一核cpu资源串行执行两个线程，由于JIT的优化，可能会出现，线程2的num = 0还没赋值完成，线程1的num的就已经被赋值成了2，然后又继续执行了线程1的赋值，结果肯定错大发了，为了解决这种问题，volatile引入了读写屏障：

上图的写屏障：volatile ready 就是为线程加上了写屏障——在ready变量改动之前（这就是屏障一词的含义）改动过的变量也会被立刻同步到主内存

上图的读屏障：volatile ready 就是为线程加上了读屏障——在ready变量从主内存获取新数据之后，后面的变量会从主内存加载数据,注意是加载主内存数据，不是工作内存

上图的内容不可能出现乱序，就是靠读写屏障的加持