计算机体系结构第三章-2.pptx

3.4 流水线的相关与冲突 ;一、一个经典的5段流水线 (RISC流水线) 一条指令的执行过程分为5个周期：取指令周期（IF）、指令译码/读寄存器周期（ID）、执行/有效地址计算周期（EX）、存储器访问／分支完成周期（MEM）、写回周期（WB）。 ;三类指令对5级流水线的占用情况:;3.4 流水线的相关与冲突;5段流水线的两种描述方式 第一种描述（类似于时空图）;第二种描述（按时间错开的数据通路序列）;二、相关 相关是指两条指令之间存在某种依赖关系。 如果两条指令相关，则它们???有可能不能在流水线中重叠执行或者只能部分重叠执行。 主要是三种类型的相关: 数据相关 名相关 控制相关;1、数据相关（真数据相关） 对于两条指令i（在前）和j（在后），如果下述条件之一成立，则称指令j与指令i数据相关。 指令j使用指令i产生的结果； 指令j与指令k数据相关，而指令k又与指令i数据相关。 数据相关具有传递性。 数据相关反映了数据的流动关系，即如何从其产生者流动到其消费者。;例如：下面这一段代码存在数据相关 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，则分支;当数据的流动是经过寄存器时，相关的检测比较直观和容易。 当数据的流动是经过存储器时，检测比较复杂。 相同形式的地址其有效地址未必相同。 形式不同的地址其有效地址却可能相同。;2、名相关 名：指令所访问的寄存器或存储器单元的名称。 如果两条指令使用相同的名，但是它们之间并没有数据流动，则称这两条指令存在名相关。;指令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写的名 ;名相关小结： 名相关的两条指令之间并没有数据的传送。 但名相关的两条指令之间的执行顺序必须严格遵守。 如果一条指令中的名改变了，并不影响另外一条指令的执行。 针对名相关：可采用换名技术，消除名相关。;换名技术：通过改变指令中操作数的名来消除名相关。 例如：考虑下述代码： 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、控制相关 控制相关是指由分支指令引起的相关。 典型的程序结构是“if-then”结构。;三、流水线冲突 流水线冲突是指对于具体的流水线来说，由于相关的存在，使得指令流中的下一条指令不能在指定的时钟周期执行。 流水线冲突有3种类型： 结构冲突 数据冲突 控制冲突;（一）结构冲突 指多条指令进入流水线后，在同一时间争用同一功能部件，从而发生冲突。 例如：存储器访问冲突;3.4 流水线的相关与冲突;解决办法Ⅰ：暂停一拍（也称为流水线气泡，简称气泡）。;3.4 流水线的相关与冲突;解决方法Ⅱ： 设置相互独立的指令存储器和数据存储器或设置相互独立的指令Cache和数据Cache。 ;（二）数据冲突 1、数据冲突 指由于流水线中各指令重叠执行，使得原来对操作数的访问顺序发生变化，从而引起的一种数据冲突。 例如：DADD R1，R2，R3 （写R1） DSUB R4，R1，R5 （读R1）;根据指令读访问和写访问的顺序，假设两条指令i和j，且i在j之前进入流水线，可能发生的