8个操作
Lock锁定 作用于主内存变量，将变量标志为一条线程所独占
Unlock解锁 作用于主内存变量，将处于锁定的变量释放出来
Read读取 作用于主内存变量，它将一个变量的值从主内存传输到线程的工作内存中
Load载入 作用于工作内存变量，它把从主内存读取的变量值放入工作内存的副本中
Use使用 作用于工作内存变量，将工作内存变量值传递给执行引擎
Assgin赋值 作用于工作内存变量，将执行引擎的值传递给工作内存的变量
Store存储 作用于工作内存变量，它把工作内存变量传递到主内存中
Write写入 作用于主内存变量，把Store操作从工作内存得到的变量值放入主内存变量中
原子性
内存模型：lock、unlock
字节码指令：minitorenter、monitorexit（对应的是 synchronized）
可见性
volatile、synchronzined、final（构造器初始化完成既可见）
先行发生原则
（时间先后顺序与先行发生原则没有因果关系）
程序次序规则：在一个线程内一段代码的执行结果是有序的。就是还会指令重排，但是随便它怎么排，结果是按照我们代码的顺序生成的不会变。
管程锁定规则：就是无论是在单线程环境还是多线程环境，对于同一个锁来说，一个线程对这个锁解锁之后，另一个线程获取了这个锁都能看到前一个线程的操作结果！(管程是一种通用的同步原语，synchronized就是管程的实现）
volatile变量规则：就是如果一个线程先去写一个volatile变量，然后一个线程去读这个变量，那么这个写操作的结果一定对读的这个线程可见。
线程启动规则：在主线程A执行过程中，启动子线程B，那么线程A在启动子线程B之前对共享变量的修改结果对线程B可见。
线程终止规则：在主线程A执行过程中，子线程B终止，那么线程B在终止之前对共享变量的修改结果在线程A中可见。也称线程join()规则。
线程中断规则：对线程interrupt()方法的调用先行发生于被中断线程代码检测到中断事件的发生，可以通过Thread.interrupted()检测到是否发生中断。
对象终结规则：这个也简单的，就是一个对象的初始化的完成，也就是构造函数执行的结束一定 happens-before它的finalize()方法。
传递性规则：这个简单的，就是happens-before原则具有传递性，即hb(A, B) ， hb(B, C)，那么hb(A, C)。
