happens-before规则

jmm把happens-before要求禁止的重排序分为下面两类：
1，会改变程序执行结果的重排序。
2，不会改变程序执行结果的重排序。
jmm对这两种不同性质的重排序，采取了两种不同的策略，如下：
1，对于改变程序执行结果的重排序，jmm要求编译器和处理器必须禁止这种重排序。
2，对于不会改变程序执行结果的重排序，jmm对编译器和处理器不做要求（jmm允许这种重排序）。

jmm知识遵循一个基本原则：只要不改变程序的执行结果（指的是单线程程序和正确同步的多线程程序），编译器和处理器怎么优化都行。
例如：如果编译器经过细致的分析后，认定一个锁只会被单个线程访问，那么这个锁可以被消除。再如，如果编译器经过细致的分析后，认定volatile变量只会被单个线程访问，那么编译器可以把这个volatile变量当成普通变量来对待。这些优化既不会改变程序的执行结果，又能提高程序的执行效率。

jsr-133使用happens-before的概念来指定两个操作数之间的执行顺序。由于这两个操作可以在一个线程之内，也可以是在不同的线程之间。因此，jmm可以通过happens-before关系向程序员提供跨线程的内存可见性保证（如果A线程的写操作a与B线程的读操作b之间存在happens-before关系，尽管a操作和b操作在不同的线程中执行，但jmm向程序员保证a操作对b操作课件）。

happens-before关系的定义：
1，如果一个操作happens-before另一个操作，那么第一个操作的执行结果对第二个操作课件，而且第一个操作的顺序执行在第二个操作之前。
2，两个操作之间存在happens-before关系，并不意味着java平台的具体实现必须要按照happens-before关系指定的顺序来执行。如果重排序之后的执行结果，与按happens-before关系来执行的结果一致，呢么这种重排序并不非法（也就是说，jmm允许这种重排序）。

happens-before关系本质上和as-if-serial语义是一回事：
1，as-if-serial语义保证单线程内程序执行结果不被改变，happens-before关系保证正确同步的多线程程序的执行结果不被改变。
2，as-if-serial语义给编写单线程的程序员创造了一个幻境：单线程程序是按照程序的顺序来执行的。happens-before关系给编写正确同步的多线程程序的程序员创造了一个幻境：正确同步的多线程程序是按happens-before指定的顺序来执行的。
as-if-serial语义和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()，那么A线程的ThreadB.start()操作happens-before于线程B中的随意操作。
6，join()规则：如果线程A执行操作ThreadB.join()并成功返回，那么线程B中的任意操作happens-before于线程A从ThreadB.join()操作成功返回.