多线程之happens-before的理解

Happens-before原则

1、为什么需要hapens-before原则，以及happens-before如何定义
概述：从JDK 5开始，java开始使用JSR-133内存模型，JSR-133使用happens-before的概念来阐述操作之间的内存可见性。在JMM中，如果一个操作的执行结果需要对另一个操作可见，那么两个操作之间必须要存在happens-before关系，这两个操作可以在一个线程内，也可以在不同的线程之间。
解决什么问题：编译器和处理器为了优化程序性能会对指令序列进行重新排序，下面3种情况，只要两个操作的执行顺序，程序的执行结果就会改变，因为两个操作之间存在数据依赖性。
| 名称 |代码示例 | 说明
| 写后读 |a=1;b=a | 写一个变量之后再读这个位置
| 写后写 |a=1;a=2 | 写一个变量之后，再写这个变量
| 读后写 |a=b;b=1 | 读一个变量之后，再写这个变量
由此可知，happens-before目的之一就是在尽可能不影响性能的前提下，对编译器和处理器的重排序加以限制，保证程序的语义不会被改变，结果保持一致。简单的规则设定，降低了程序员的学习成本，可以更好的理解JMM的设计理念，更好的在实践中把控多线程的开发。

2、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()（启动线程 B），那么A线程的ThreadB.start()操作happens-before于线程B中的任意 操作。
6、join()规则：如果线程A执行操作ThreadB.join()并成功返回，那 么线程B中的任意操作happens-before于线程A从ThreadB.join()操作成功 返回。