五级流水CPU控制相关

五级流水CPU控制相关


关于控制相关的理解：
控制相关是指在条件转移语句当中的一种限制流水线性能的因素。
如上图所示，五级流水执行到(pc) = 28h时，即条件转移指令的取值阶段，然后条件转移beq$1,$0,s2指令进入译码阶段，此时同步地，下一条指令(pc) = 30h的nop指令进入取值阶段，请注意这时这个指令nop被称为一个控制槽指令，这个控制槽指令可能会进入执行阶段，也可能不会进入执行阶段，但它被取值了。至于会不会执行，则由其前一句的beq条件判断决定。如果beq条件不成立，其必然会执行，皆大欢喜，我们所想的一切都是多虑的，这个流水线的性能不会受到任何影响，但是如果beq条件成立，那这条(30h)nop指令就不执行了，但是它却取了指，这个取值就多余了，这个多余的操作被成为一个气泡，气泡是一个很形象的名词，它可以被从流水线中”挤掉”，理想条件下全都挤掉，性能达到最佳。但是这个理想条件仅仅只是理想条件。就像操作系统中讲页面替换算法当中最佳替换算法一样，它仅仅是一种根本不可能达到的状态，只能无限逼近。这个图中共有一个气泡。当beq指令译码完成，其就已经可以判断出下一条指令是否顺序执行。最晚下一个clk周期就可以正常执行相关操作了（最短当且仅当beq条件不满足，现在已经在执行正常操作了），所以气泡数为1.但是如果条件转移指令等到执行阶段再去判断是否成立，那就有可能是两个气泡，这样流水线指令的细粒度并发会受到影响。在译码阶段对条件进行判断而不是执行阶段对条件执行判断，这是解决控制相关的一个重要的点。