为什么需要指令重排
通常一条指令的执行可以简单分为以下几个步骤:
- 取指(都取指令) IF
- 译码和去寄存器操作数 ID
- 执行或者有效地址计算 EX
- 存储器访问 MEM
- 写回 WB
同样的,汇编指令也不是一步就能执行完的,CPU实际工作时,需要分为多个步骤依次执行。
由于每个步骤都可能使用不同的硬件完成,因此聪明的工程师们发明了流水线技术来执行指令,如下图所示:
CPU实际执行过程中,当执行到指令2时,指令1还没开始执行,只是刚刚完成了取值操作而已,这样的好处是加入每个指令都需要执行1ms,那么指令2的执行不需要等待指令1 执行5ms后才能执行,只需要等待1ms就可以执行了,充分的利用了CPU的性能,但是流水线害怕中断。
如上图所示,当后续指令依赖前置指令结果时,流水线便会出现中断。所以指令的重排序就是为了减少流水线的中断,提高利用率。
指令重排后:
什么情况不能指令重排
指令的重排序需要遵从Happen-Before规则:
- 程序顺序原则:一个线程内保证予以的串行性
- volatile规则: volatile变量的写,先于读发生,保证了volatile变量的可见性
- 锁规则:解锁必然发生在随后的加锁之前
- 传递性:A先于B, B先于C,则A先于C
- 线程的start()方法先于它的每一个动作
- 线程的所有操作先于线程的终结(Thead.join())
- 线程的中断(interrupt())先于被中断线程的代码
- 对象的构造函数执行、结束先于finalize()方法
参考文献 : 《Java 高并发程序设计》 葛一鸣 郭超