JAVA并发:happens-before

happens-before作用：

• 如果A happens-before B，那么Java内存模型将向程序员保证——A操作的结果将对B可见，且A的执行顺序排在B之前。

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()操作成功返回。