java并发编程的艺术学习笔记-happens-before

JMM的设计

1. JMM的设计一方面要为程序员提供足够强的内存可见性；另一方面对编译器和处理器的限制要尽可能的放松。
2. 对于改变程序结果的重排序，JMM要求编辑器和处理器必须禁止这种重排序。对于不改变程序执行结果的重排序，JMM对编译器和处理器不做要求。只要不改变程序的执行结果（指的是单线程和正确同步的多线程），编译器和处理器怎么优化都可以。

happens-before的定义

1. 如果一个操作happens-before另一个操作，那么第一个操作的执行结果将对第二个操作可见，而第一个操作的执行顺序排在第二个操作之前。
2. 两个操作之间存在happens-before关系，并不意味着java平台的具体实现必须要按照happens-before关系指定的顺序来执行。如果重排序之后的执行结果，与按照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()操作成功返回。