JMM的happens-before规则

1.happens-before
JMM使用happens-before概念来定制两个操作之间的顺序，这两个操作可以使同一个线程以内，也可以是不同线程之间。JMM通过happens-before关系向程序员提供跨线程的内存可见性保证。
（1）如果一个操作happens-before另一个操作，那么第一个操作的结果将对第二个操作可见。
（2）如果两个操作存在happens-before关系，并不意味着java平台的具体实现一定要按照happens-before指定顺序执行，如果重排序之后的执行结果，与按happens-before执行结果一直，JMM也允许这样的重排序。
总结，如果A happens-before B,那么A对内存上做的所有操作对B都是可见的，不管，A、B有没有在同一个线程。
2.天然的happens-before规则：
（1）程序顺序规则：线程执行顺序存在happens-before规则。
（2）监视器锁规则；
（3）volatile变量规则；
（4）传递性；
（5）start()规则;
（6）join规则