Happen-before

1、程序顺序原则：一个线程内保证语义的串行性

2、volatile规则：volatile变量的写，先发现于读，这保证了volatile变量的可见性

3、锁规则：解锁（unlock）必然发生在随后的加锁（lock）前

4、传递性：A先于B，B先于C，那么A必然先于C

5、线程的start()方法先于它的每一个动作

6、线程的所有操作优先于线程的终结（Thread.join()）

7、线程的终端（interrupt()）先于被终端线程的代码

8、对象的构造函数执行结束先于finalize()方法