happens-before

Posted 2022-09-28 gqymy

从JDK5开始，Java使用新的JSR-133内存模型，JSR-133使用happens-before的概念来阐述操作之间的内存可见性。在JMM中，如果一个操作执行的结果需要对另一个操作可见，那么这两个操作之间必须要存在happens-before关系，这两个操作可以是在一个线程之内，也可以是在不同线程之间。

happens-before规则：

1.程序顺序规则：一个线程中的每个操作，happens-before于该线程中的任意后续操作

2.监视器锁规则：对一个锁的解释，happens-before于随后对这个锁的加锁

3.volatile变量规则：对一个volatile域的写，happens-before于任意后续对这个volatile域的读

传递性：如果A happens-before B，且B happens-before C，那么A happens-before C

来自java并发编程