数据可见性理论之 happens-before 规则

happens-before 要求前一操作 A 的执行结果对后一操作 B 可见，且 A 操作按顺序排在 B 操作之前（但不意味 A 操作必须在 B 操作前执行）。

happens-before 规则保证线程间的内存可见性。且 happens-before 具有传递性，A 与 B 之间有 happens-before 规则，B 与 C 之间也有 happens-before 规则。那么 A 与 C 之间也有 happens-before 规则。在后期分析数据间内存可见性时，十分好用。

happens-before 规则：

1. 程序顺序规则：一个线程中的每个操作，happens-before 于该线程中的任意后续操作。
2. 监视器锁规则：对一个锁的解锁，happens-before 于随后对这个锁的加锁。
3. volatile 变量规则：对一个 volatile 域的写，happens-before 于任意后续对这个 volatile 域的读。
4. 传递性：A happens-before B，且 B happens-before C，那么 A happens-before C。
5. start() 规则：如果此案从 A 执行操作 ThreadB.start() （启动线程 B），那么 A 线程的 ThreadB.start() 操作 happens-before 于线程 B 的任意操作。
6. join() 规则：如果线程 A 执行 ThreadB.join() 并成功返回，那么线程 B 中的任意操作 happens-before 于线程 A 从 ThreadB.join() 操作成功返回。