JMM
模型介绍
JVM定义的java内存模型，用来屏蔽各种硬件和操作系统的内存访问差异，以实现让JAVA程序在各种平台下都能达到的一致的内存访问效果，分为主内存与工作内存，线程对变量的所有操作都必须在工作内存进行，不能直接读写主线程中的变量，不同线程无法直接访问对方工作线程中的变量，线程间变量值得传递需要通过主内存来完成。
8种内存原子交互
主内存的操作（锁定，解锁）
主内存到工作内存：先读取，后载入
工作内存到主内存：先存储，后写入
工作内存到执行引擎：使用
执行引擎到工作内存：赋值
模型特征
原子性：对基本数据类型的8个原子操作都是原子的，long与double占64位，划分为两次32位的操作。
可见性：一个线程修改了共享变量，其他线程立刻感知
volatile：修改后马上刷到主内存
synchronized: 执行unlock 前必须先store和write
final: 构造器初始化完成，this引用还没传递，其他线程就能看见final字段。
有序性：一个线程内观察所有操作，都是有序的；一个线程观察另一个线程都是无序的。
volatile: 禁止字节码指令重新排序
sychronized:同一时刻对一个共享变量只能有一个线程执行lock操作。
线程安全的三种方式
阻塞同步（互斥同步）：线程阻塞和唤醒带来性能问题
非阻塞同步：产生了冲突再补偿
无同步：纯代码不涉及共享变量或线程本地存储。