happens-before知识

1，happens-before定义

1)，如果一个操作happens-before另一个操作，那么第一个操作结果对第二个操作可见，并且第一个的执行顺序排在第二个操作之前(这里指的是位置在前，具体的内存执行指令谁先进行不一定按这个顺序)

2)，两个操作存在happens-before关系，并不意味着java平台的具体实现必须按照happens-before关系指定的顺序来执行。如果重排序之后的执行结果，与按happens-before的执行结果一致，那么这种重排序不违法，即JMM允许这种重排序

2，与as-if-serial语义的关系

as-if-serial语义：

        不管怎么重排序(编译器合处理器为了提高并行度)，（单线程）程序的执行结果不能被改变。编译器、runtime和处理器都必须遵守as-if-serial语义。

1)，as-if-serial语义保证但程程内程序的执行结果不被改变，happens-before关系保证正确同步的多线程程序的执行结果不会被改变

2)，as-if-serial的感觉是单线程程序是按照程序的顺序来执行的

      happens-before给正确同步的多线程程序的感觉是：正确同步的多线程程序是按happens-before指定的顺序来执行的

3，happens-before规则

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

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

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

4)传递性：A HB B,B HB C,则A HB C

5)start()规则:如果线程A执行操作ThreadB.start()(启动线程B)，那么线程A线程的ThreadB.start()操作happens-before于线程B中的任何操作

6)join()规则：如果线程A执行操作ThreadB.join()并成功返回，那么线程B中的任意操作happens-before于线程A从ThreadB.join()操作成功返回。