一、前言
从JDK5开始,提出了happens-before的概念,通过这个概念来阐述操作之间的内存可见性。如果一个操作执行的结果需要对另一个操作可见,那么这两个操作之间必须存在happens-before关系。这里提到的两个操作既可以是在一个线程之内,也可以是在不同线程之间。
二、happens-before原则定义
1、如果一个操作happens-before(之前发生)另一个操作,那么第一个操作的执行结果将对第二个操作可见,而且第一个操作的执行顺序排在第二个操作之前。
2、两个操作之间存在happens-before关系,并不意味着一定要按照happens-before原则制定的顺序来执行。如果重排序之后的执行结果与按照happens-before关系来执行的结果一致,那么这种重排序并不非法。
三、happens-before规则
1、程序次序规则:一个线程内,按照代码顺序,书写在前面的操作先行发生于书写在后面的操作;
2、锁定规则:一个unLock操作先行发生于后面对同一个锁额lock操作;
3、volatile变量规则:对一个变量的写操作先行发生于后面对这个变量的读操作;
4、传递规则:如果操作A先行发生于操作B,而操作B又先行发生于操作C,则可以得出操作A先行发生于操作C;
5、线程启动规则:Thread对象的start()方法先行发生于此线程的每个一个动作;
6、线程中断规则:对线程interrupt()方法的调用先行发生于被中断线程的代码检测到中断事件的发生;
7、线程终结规则:线程中所有的操作都先行发生于线程的终止检测,我们可以通过Thread.join()方法结束、Thread.isAlive()的返回值手段检测到线程已经终止执行;
8、对象终规则:一个对象的初始化完成先行发生于他的finalize()方法的开始;
【深入阅读】
1、博文《java并发编程》:https://www.cnblogs.com/dolphin0520/p/3920373.html
2、视频讲解《java架构师成长之路》:https://www.bilibili.com/video/av35941536/?redirectFrom=h5