计算机体系结构第三章-2素材.pptxVIP

3.4 流水线的相关与冲突 一、一个经典的5段流水线 (RISC流水线) 一条指令的执行过程分为5个周期：取指令周期（IF）、指令译码/读寄存器周期（ID）、执行/有效地址计算周期（EX）、存储器访问／分支完成周期（MEM）、写回周期（WB）。 3.4 流水线的相关与冲突 三类指令对5级流水线的占用情况: ALU指令 LOAD/STORE 分支指令 S1 IF 取指 取指 取指 S2 ID 译码,读通用寄存器 译码,读通用寄存器 译码,读通用寄存器 S3 EX 运算（R-R,R-立即数） 计算有效地址 计算转移目标地址,设置条件码 S4 MEM -- 访存(读或写) （store完成） 若条件成立,将转移目标地址送PC （分支完成） S5 WB 结果写回通用寄存器 （ALU完成） 读出数据写入通用寄存器 -- 3.4 流水线的相关与冲突 3.4 流水线的相关与冲突 流水设计中的一些问题及解决： IF(取指令)，MEM(读/写数据)，访存冲突。 通用寄存器访存冲突---分半拍。 专门的加法器：PC?PC+4。 5段流水线的两种描述方式 第一种描述（类似于时空图） 3.4 流水线的相关与冲突 第二种描述（按时间错开的数据通路序列） 3.4 流水线的相关与冲突 二、相关 相关是指两条指令之间存在某种依赖关系。 如果两条指令相关，则它们就有可能不能在流水线中重叠执行或者只能部分重叠执行。 主要是三种类型的相关: 数据相关 名相关 控制相关 3.4 流水线的相关与冲突 1、数据相关（真数据相关） 对于两条指令i（在前）和j（在后），如果下述条件之一成立，则称指令j与指令i数据相关。 指令j使用指令i产生的结果； 指令j与指令k数据相关，而指令k又与指令i数据相关。 数据相关具有传递性。 数据相关反映了数据的流动关系，即如何从其产生者流动到其消费者。 3.4 流水线的相关与冲突 例如：下面这一段代码存在数据相关 Loop： L. D F0，0(R1) // F0为数组元素 ADD.D F4，F0，F2 // 加上F2中的值 S. D F4 ，0(R1) // 保存结果 DADDIU R1，R1，－8 // 数组指针递减8个字节 BNE R1，R2，Loop // 如果R1≠R2，则分支 3.4 流水线的相关与冲突 当数据的流动是经过寄存器时，相关的检测比较直观和容易。 当数据的流动是经过存储器时，检测比较复杂。 相同形式的地址其有效地址未必相同。 形式不同的地址其有效地址却可能相同。 3.4 流水线的相关与冲突 2、名相关 名：指令所访问的寄存器或存储器单元的名称。 如果两条指令使用相同的名，但是它们之间并没有数据流动，则称这两条指令存在名相关。 3.4 流水线的相关与冲突 指令j（在后）与指令i（在前）之间的名相关有两种： （1）反相关：如果指令j写的名与指令i读的名相同，则称指令i和j发生了反相关。 指令i读的名 ＝指令j写的名 例如： DIV.D F2，F6，F4 （先读） ADD.D F6，F0，F12 （后写） （2） 输出相关：如果指令j和指令i写相同的名，则称指令i和j发生了输出相关。 指令i写的名 ＝指令j写的名 3.4 流水线的相关与冲突 名相关小结： 名相关的两条指令之间并没有数据的传送。 但名相关的两条指令之间的执行顺序必须严格遵守。 如果一条指令中的名改变了，并不影响另外一条指令的执行。 针对名相关：可采用换名技术，消除名相关。 3.4 流水线的相关与冲突 换名技术：通过改变指令中操作数的名来消除名相关。 例如：考虑下述代码： DIV.D F2，F6，F4 ADD.D F6，F0，F12 SUB.D F8，F6，F14 进行寄存器换名（F6 换成 S）后，变成： DIV.D F2，F6，F4 ADD.D S，F0，F12 SUB.D F8，S，F14 3.4 流水线的相关与冲突 反相关 3、控制相关 控制相关是指由分