【happens-before和as-if-serial语义】

happens-before语义

从JDK 5开始，Java使用新的内存模型，使用happens-before的概念来阐述操作之间的内存可见性。那到底什么是happens-before呢？
在JMM中，如果一个操作执行的结果需要对另一个操作可见，那么这两个操作之间

必须要存在happens-before关系，这里提到的两个操作既可以是在一个线程之内，也可以是在不同线程之间。

happens-before规则

• 程序顺序规则： 对于单个线程中的每个操作，前继操作happens-before于该线程中的任意后续操作。
• 监视器锁规则： 对一个锁的解锁，happens-before于随后对这个锁的加锁。
• volatile变量规则： 对一个volatile域的写，happens-before于任意后续对这个volatile域的读。
• 传递性： 如果A happens-before B，且B happens-before C，那么A happens-before C。