在现代CPU中,采用多级流水线结构,提高CPU的执行效率,我们希望每一周期执行一条或者多条指令,但是在某些情况下流水线的并行将导致错误,无法按照预期执行,这就是流水线冒险。
结构冒险:指令占用同一执行单元或者结构,导致一条流水线的执行必须等待另一条流水线的执行。
解决方案:
1. 填充流水线气泡(nop)
2. 增加执行单元或者结构(比如取指和取数同时访问cache,增减数据cache和指令cache)
3. 读写寄存器冲突,前半周期读后半周其写等等。
数据冒险:一条流水线的执行需要另一条流水线的计算结果。
解决方案:
1. 填充流水线气泡(nop)
2. 增加数据旁路(前递)技术,ALU单元的计算结果(EX阶段)直接作为下一条指令ALU单元的输入,而不用等待整条指令全部执行完毕。(或者MEM阶段的输出)
3. 数据冒险只能是向下或者向右下角传递,向左下角传递将会失败,必须增加流水线气泡。
控制冒险:跳转分支等控制指令导致的流水线执行失效。
控制指令和流水线结构是冲突的,流水线希望按序填充满流水线单元,但是控制指令希望改变程序的执行方向。
解决方案:
- 流水线气泡
- 无条件跳转:跳转地址在取指阶段就可以获取,流水线不停顿。
- 无条件间接跳转:在译码阶段才能获得跳转地址,需要停顿一个周期。
- 条件跳转:需要在EX之后才能获取跳转地址,停顿2周期。
- 调整指令的顺序,在跳转指令之后增加必然执行指令,但不能改变流水线的功能(终极解决方案)。
https://www.cnblogs.com/lfri/p/10053598.html