happens-before原理简介

由来和具体概念

从JDK5开始，JSR-133使用 happens-before 来实现变量的内存可见性问题。在JMM中，如果一个操作执行的结果需要对另外一个操作可见，那么二者必定要存在 happens-before 关系。

与开发人员密切相关的 happens-before 规则

1、程序顺序规则：一个线程中的每个操作，happens-before 于该线程中的其他任意后续操作。
2、监视器锁规则：对于一个锁的解锁，happens-before 于对该锁的加锁。（有锁才能解锁）
3、volatile 变量规则：对于一个 volatile 变量的写，happens-before 于任意后续对该变量的读
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() 操作成功返回。