图片无法显示请参考原文地址
发生控制冒险的背景
在流水线的设计中,我们希望每个时钟周期都能完成一条指令的执行,想要达到这个目的,流水线在每个时钟周期都要取到一条指令。因此每次取指操作后必须马上确定下一条指令的地址。
控制冒险发生的具体原因
(1)若当前的指令是返回指令ret时,下一条指令的地址需要从栈中读出,因此必须要等到访存操作结束之后(软堆栈)才能确定下条指令的地址,因此流水线需要经过特殊的处理来避免控制冒险;
(2)当取到的指令是分支条件指令时,流水线无法判断是否要进行跳转操作,需要通过执行阶段后,才能确定是否要进行跳转,因此流水线也需要经过特殊的处理来避免控制冒险。
综上所述,当取指阶段取到了返回指令ret和条件分支指令时,由于无法根据当前指令立刻确定下条指令的地址,从而引发控制冒险。
控制冒险的处理
(1)取指阶段取到了返回指令ret
[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-WWnnnNN4-1686404535964)(http://mjvvv.cn/pikachu/img/92bf2fd7-8b4c-4e05-ad82-0bbd158084b4.png)]
在返回指令后面加上三个气泡,在如图第七个时钟周期时,返回指令到了写回阶段,这个时候pc才能从写回的数据中取出正确的返回地址。
(2)取指阶段取到了条件跳转指令
[外链图片转存失败,源站可能有防盗链机制,建议将图片保存下来直接上传(img-mF8qPUhT-1686404535965)(http://mjvvv.cn/pikachu/img/b092697d-78fa-4272-8dc1-b861b58d8704.png)]
进行分支预测,假设分支总是跳转,在执行指令jne之后直接取分支跳转后的指令进入流水线。
当第四个时钟周期时指令jne到了执行阶段,发现不该跳转,之前的分支预测发生了错误。根据指令正常的执行逻辑,第三四条指令不该执行,应该立即终止它们,幸运的是,这两条指令还未进入执行阶段,因此不会影响程序的正确性。因此我们需要把这两条指令从流水线剔除,具体的执行步骤是在第五个时钟周期时对于第三条指令的执行阶段插入气泡,第四条指令的译码阶段插入气泡,最后取出跳转指令后面正确的指令即可。
虽然没有引发程序的错误但是浪费了两个时钟周期。
相关理解以及图片资源来自于b站地址