Java内存模型中的happens-before原则

如果两个操作之间具有happens-before关系，那么前一个操作的结果就会对后面的一个操作可见。Happens-Before原则（先行发生原则）是判断数据是否存在竞争、线程是否安全的主要依据。

一个操作“时间上的先发生”不代表这个操作先行发生；一个操作先行发生也不代表这个操作在时间上是先发生的（重排序的出现）。时间上的先后顺序对先行发生没有太大的关系，所以衡量并发安全问题的时候不要受到时间顺序的影响，一切以Happens-Before原则为准。

---

常见的happen-before规则：

1、程序顺序规则：一个线程中的每个操作，happen-before在该线程中的任意后续操作。(注解：如果只有一个线程的操作，那么前一个操作的结果肯定会对后续的操作可见。)

2、锁规则：对一个锁的解锁，happen-before在随后对这个锁的加锁。(注解：这个最常见的就是synchronized方法和syncronized块)

3、volatile变量规则：对一个volatile域的写，happen-before在任意后续对这个volatile域的读。该规则在CurrentHashMap的读操作中不需要加锁有很好的体现。

4、传递性：如果A happen-before B，且B happen-before C，那么A happen - before C。

5、线程启动规则：Thread对象的start()方法happen-before此线程的每一个动作。

6、线程终止规则：线程的所有操作都happen-before对此线程的终止检测，可以通过Thread.join()方法结束，Thread.isAlive()的返回值等手段检测到线程已经终止执行。

7、线程中断规则：对线程interrupt()方法的调用happen-before发生于被中断线程的代码检测到中断时事件的发生。