happen-before

happen-before

JVM有一个“先行发生”（happen—before）的规则，它是内存模型中定义的两项操作之间的偏序关系，如果操作A - HB - B，其意思就是说:A这个操作对于B是可见的。通俗地说：只要A发生了变化，B一定能观察到。

可以对比强一致性和弱一致性的概念对比。

1. 程序顺序原则：一个线程内保证语义的串行性
2. volatile规则：volatile变量的写 - HB - volatile变量的读
3. 锁规则：解锁（unlock） - HB - 加锁（lock）
4. 传递性：A - HB - B，B - HB - C，A - HB - C
5. 线程的start()方法 - HB - 它的每一个动作
6. 线程的所有操作 - HB - 线程的终结（Thread.join()）
7. 线程的中断（interrupt()） - HB - 被中断线程的代码
8. 对象的构造函数执行结束 - HB - finalize()方法