内存间的8大交互步骤
1.lock（锁定），作用于主内存
2.unlock（解锁）作用与主内存
3.read（读取）作用于主内存，将主内存中的变量传输到工作内存
4.load（载入）作用域工作内存，把read操作中的变量加载到工作内存中的变量副本中
5.use（使用）作用于工作内存的变量，将工作内存中的变量传递给执行引擎
6.assign（赋值）作用于工作内存 将执行引擎获取到的值，赋予工作内存中的变量
7.store（存储）将工作内存中的变量传递到主内存中，以便于write使用
8.write（写入）：作用于主内存，将store操作从工作内存中的变量放入到主内存变量中
内存间操作交互的规则限制
1.不允许read和load，store和write操作单独出现，即不允许一个变量从主内存读取了变量当工作内存不接受和工作内存发起来回写，但是主内存不接受
不允许一个线程无原因的丢弃它最近的assign操作，即变量在工作内存中改变了，必须同步到主内存中
一个新的变量只能在主内存中产生，不允许在工作内存中直接使用一个未被初始化的变量也即是对一个变量实施use，store之前必须先执行assign和load操作
一个变量在同一时刻只能由一个线程对其进行lock操作，但可以多次被一个线程lock操作，但是只有执行相同次数的unlock操作，变量才被解锁
如果对一个变量进行lock操作，那么将清空工作内存中此变量的值，在执行引擎使用这个变量前，必须重新执行load或者assign操作来重新初始化该变量
不允许一个线程无原因的（即没有assign操作）把数据从工作内存同步到主内存中
对一个变量执行unlock操作前，必须将变量同步到主内存（store，write操作）中
如果事先没有执行lock操作，不能对变量执行unlock操作
long double类型变量特殊规定
允许虚拟机执行选择是否保证64位数据类型的load，store，read，write的原子性（64位机器没有这个问题）
原子性
java内存模型保证read，load、assign，use，store，write的原子性，java提供了lock，unlock操作满足大范围的原子性
可见性
就是指当一个线程修改了共享变量，其他线程是否立刻得知
volatile变量
final 变量，构造器没有把this引用没有传递出去
先行发生原则
管程锁定原则
unlock操作先行发生于lock操作
vodatile变量规则
volatile变量的写操作先行发生于后面对这个变量的读操作
线程启动原则
thread的start方法先行于此线程任何操作前
线程终止原则
线程中所有的操作先行发生于此线程的终止检测
线程中断原则
对线程interrupt方法的调用先行发生于被中断线程的代码检测到中断事件的发生。
对象终结原则
对象初始化完成（构造函数的执行结束）先行于finalize方法的开始
传递性原则
A操作先于B,B操作先于C,则A先于C
