happens-before原则

  先行发生是Java内存模式中定义的两项操作之间的偏序关系，如果说操作A先行发生于操作B，其实就是说在发生操作B之前，操作A产生的影响被操作B观察到，"影响"包括修改了内存中共享变量的值、发送了信息、调用了方法等。更直白的说法就是执行操作B的线程能够看到操作A的结果，无论A和B是否在同一个线程中执行。该原则是判断数据是否存在竞争、线程是否安全的主要依据。

  如果两个操作之间无法满足happens-before原则，那么JVM可以对它们任意地重排序。但是，两个动作之间存在 happens-before 关系并不一定意味着在实现中它们必须以这种顺序发生。如果重排序产生的结果与合法执行的结果一致，那么，重排序就不是非法的。例如，某个线程中写默认值到一个对象的每个字段，不需要发生在该线程开始之前，只要没有被读操作察觉到即可。

  更具体地说，如果两个动作间有 happens-before 关系，在不存在 happens-before 关系的代码中，这两个动作的发生就无需表现出这样的顺序。如，一个线程中的写操作，当与另一个线程中的读操作存在数据争用时，另一个线程中的读操作表现出的顺序可能就是错乱的。

  Object 类的 wait 方法关联了锁和解锁动作；它们的 happens-before 关系是由这些关联的动作所定义的。

Java内存模式中"天然"的先行发生关系如下：

  程序次序规则：在一个线程内，按照控制流顺序(非程序代码顺序，因为要考虑分支、循环等结构)，书写在前面的操作先行发生于书写在后面的操作。

  管程锁定规则：一个unlock操作先行发生于后面对同一个锁的lock操作。这里必须强调的是同一个锁，而"后面"是指时间上的先后顺序(这里的lock操作和unlock操作请见Java内存模型)。

  volatile变量原则：对一个volatile变量的写操作先行发生于后面对这个变量的读操作，"后面"是指时间上的先后顺序。

  线程启动原则：Thread对象的start()方法先行发生于此线程的每一个动作。

  线程终止原则：线程中的所有操作都先行发生于对此线程的终止检测，我们可以通过Thread.join()方法结束、Thread.isAlive()的返回值等手段检测到线程已经终止执行。

  线程中断原则：对线程的interrupt()方法的调用先行发生于被中断线程的代码检测到中断事件的发生，可以通过Thread.interrupted()方法检测到是否由中断发生。

  对象终结原则：一个对象的初始化完成(构造函数执行结束)先行发生于它的finalize()方法的开始。

  传递性：如果操作A先行发生于操作B，操作B先行发生于操作C，那就可以得出操作A先行发生于操作C的结论。

  如果两个操作之间的关系不在以上，且无法从上列关系推导出来的话，他们就没有顺序性保障，虚拟机可以对它们随意地进行重排序。其中时间先后顺序与先行发生原则之间基本没有太大的关系，所以在衡量并发安全问题的时候不能受时间顺序的干扰，一切必须以先行发生原则为准。

参考：
   JSR-133
  《深入理解Java虚拟机》
  《Java并发编程实战》