产生背景:
多核环境下,存在指令重排序。happen-before是指有些情况不能重排序的原则。
为什么要重拍?
因为一个汇编指令也会涉及到很多步骤,每个步骤可能会用到不同的寄存器,例如计算result=A+B,可以分开去取A和B,不需要按顺序去取值,可以并行去取值。
如何禁止重拍,happen-before?
但线程中有些执行顺序是不能乱序执行,必须保证有序性。例如:需要先加锁,后解锁。
因为一个汇编指令也会涉及到很多步骤,每个步骤可能会用到不同的寄存器,现在的CPU一般采用流水线来执行指令,也就是说,CPU有多个功能单元(如获取、解码、运算和结果),一个指令的执行被分成:取指、译码、访存、执行、写回、等若干个阶段,**流水线是并行的, **第一条指令执行还没完毕,就可以执行第二条指令,前提是这两条指令功能单元相同或类似,所以一般可以通过指令重排使得具有相似功能单元的指令接连执行来减少流水线中断的情况。
happen-before是那些原则
1、单线程happen-before原则:
在同一个线程中,书写在前面的操作happen-before后面的操作。
2、锁的happen-before原则:
同一个锁的unlock操作happen-before此锁的lock操作。
3、volatile的happen-before原则:
对一个volatile变量的写操作happen-before对此变量的任意操作(当然也包括写操作了)。
4、happen-before的传递性原则:
如果A操作 happen-before B操作,B操作happen-before C操作,那么A操作happen-before C操作。
5、线程启动的happen-before原则:
同一个线程的start方法happen-before此线程的其它方法。
6、线程中断的happen-before原则:
对线程interrupt方法的调用happen-before被中断线程的检测到中断发送的代码。
7、线程终结的happen-before原则:
线程中的所有操作都happen-before线程的终止检测。
8、对象创建的happen-before原则:
一个对象的初始化完成先于他的finalize方法调用。