说说happens-before规则

分析&回答

happens-before 关系的定义：

如果一个操作 happens-before 另一个操作，那么第一个操作的执行结果就会对第二个操作可见两个操作之间如果存在 happens-before 关系，并不意味着 Java 平台的具体实现就必须按照 happens-before 关系指定的顺序来执行。如果重排序之后的执行结果，与按照 happens-before 关系来执行的结果一致，那么 JMM 也允许这样的重排序看到这儿，你是不是觉得，这个怎么和 as-if-serial 语义一样呢。没错， happens-before 关系本质上和 as-if-serial 语义是一回事。

as-if-serial 语义保证的是单线程内重排序之后的执行结果和程序代码本身应该出现的结果是一致的， happens-before 关系保证的是正确同步的多线程程序的执行结果不会被重排序改变。

一句话来总结就是：如果操作 A happens-before 操作 B ，那么操作 A 在内存上所做的操作对操作 B 都是可见的，不管它们在不在一个线程。

在 Java 中，对于 happens-before 关系，有以下规定：

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

反思&扩展