Java - happens-before

JSR-133对 happens-before 关系的定义如下：

1. 如果一个操作 happens-before 另一个操作，那么第一个操作的执行结果将对第二个操作可见，而且第一个操作的执行顺序排在第二个操作之前。
2. 两个操作之间存在 happens-before 关系，并不意味者Java平台的具体实现必须要按照 happens-before 关系执行的顺序来执行。如果重排序之后的执行结果与按happens-before关系来执行的结果一致，那么这种重排序并不非法，也就是说 JMM 允许这种重排序。

简要理解：

1. 操作之间如果是 happens-before 的，那么操作之间的结果按照顺序可见。
2. JMM 在保证结果一致的时候允许指令重新排序。