JMM

模型介绍

JVM定义的java内存模型，用来屏蔽各种硬件和操作系统的内存访问差异，以实现让JAVA程序在各种平台下都能达到的一致的内存访问效果，分为主内存与工作内存，线程对变量的所有操作都必须在工作内存进行，不能直接读写主线程中的变量，不同线程无法直接访问对方工作线程中的变量，线程间变量值得传递需要通过主内存来完成。

8种内存原子交互

主内存的操作（锁定，解锁）

主内存到工作内存：先读取，后载入

工作内存到主内存：先存储，后写入

工作内存到执行引擎：使用

执行引擎到工作内存：赋值

模型特征

原子性：对基本数据类型的8个原子操作都是原子的，long与double占64位，划分为两次32位的操作。

可见性：一个线程修改了共享变量，其他线程立刻感知

volatile：修改后马上刷到主内存

synchronized: 执行unlock 前必须先store和write

final: 构造器初始化完成，this引用还没传递，其他线程就能看见final字段。

有序性：一个线程内观察所有操作，都是有序的；一个线程观察另一个线程都是无序的。

volatile: 禁止字节码指令重新排序

sychronized:同一时刻对一个共享变量只能有一个线程执行lock操作。

线程安全的三种方式

阻塞同步（互斥同步）：线程阻塞和唤醒带来性能问题

非阻塞同步：产生了冲突再补偿

无同步：纯代码不涉及共享变量或线程本地存储。