什么是happens-before原则?
前一个操作的结果对后续操作是可见的
为什么需要happens-before原则?
虚拟机会做编译优化,进行指令重排序,以提高CPU利用率,防止CPU出现空等待;但有些情况是不能重排序的,否则并发下会出问题,所以就要规定这些情况,happens-before原则就是这个规定.
典型场景?
比如写一个单例,new一个对象,指令执行的步骤是:
- 给对象分配内存
- 对象初始化
- 将对象内存地址关联
指令重排序,可能会导致对象还没初始化,就会已经被使用了,所以需要volatile来禁止指令重排序
有哪些happens-before原则?
- 程序次序规则:一个线程内,按照代码顺序,书写在前面的操作先行发生于书写在后面的操作;
- 锁定规则:一个unLock操作先行发生于后面对同一个锁额lock操作;
- volatile变量规则:对一个变量的写操作先行发生于后面对这个变量的读操作;
- 传递规则:如果操作A先行发生于操作B,而操作B又先行发生于操作C,则可以得出操作A先行发生于操作C;
- 线程启动规则:Thread对象的start()方法先行发生于此线程的每个一个动作;
- 线程中断规则:对线程interrupt()方法的调用先行发生于被中断线程的代码检测到中断事件的发生;
- 线程终结规则:线程中所有的操作都先行发生于线程的终止检测,我们可以通过Thread.join()方法结束、Thread.isAlive()的返回值手段检测到线程已经终止执行;
- 对象终结规则:一个对象的初始化完成先行发生于他的finalize()方法的开始;