第3章 流水线技术.pptVIP

3.4流水线的相关与冲突当数据的流动是经过寄存器时，相关的检测比较直观和容易。当数据的流动是经过存储器时，检测比较复杂。相同形式的地址其有效地址未必相同；形式不同的地址其有效地址却可能相同。名相关名：指令所访问的寄存器或存储器单元的名称。如果两条指令使用相同的名，但是它们之间并没有数据流动，则称这两条指令存在名相关。第94页，共157页，星期日，2025年，2月5日3.4流水线的相关与冲突指令j与指令i之间的名相关有两种：反相关：如果指令j写的名与指令i读的名相同，则称指令i和j发生了反相关。指令j写的名＝指令i读的名输出相关：如果指令j和指令i写相同的名，则称指令i和j发生了输出相关。指令j写的名＝指令i写的名第95页，共157页，星期日，2025年，2月5日3.4流水线的相关与冲突名相关的两条指令之间并没有数据的传送。如果一条指令中的名改变了，并不影响另外一条指令的执行。换名技术换名技术：通过改变指令中操作数的名来消除名相关。对于寄存器操作数进行换名称为寄存器换名。既可以用编译器静态实现，也可以用硬件动态完成。第96页，共157页，星期日，2025年，2月5日3.4流水线的相关与冲突例如：考虑下述代码：DIV.D F2，F8，F4ADD.D F8，F0，F12SUB.D F10，F8，F14DIV.D和ADD.D存在反相关。进行寄存器换名（F6换成S）后，变成：DIV.D F2，F8，F4ADD.D S，F0，F12SUB.D F10，S，F14第97页，共157页，星期日，2025年，2月5日3.4流水线的相关与冲突控制相关控制相关是指由分支指令引起的相关。为了保证程序应有的执行顺序，必须严格按控制相关确定的顺序执行。典型的程序结构是“if-then”结构。请看一个示例：ifp1{ S1；}；S；ifp2{ S2；}；第98页，共157页，星期日，2025年，2月5日3.4流水线的相关与冲突控制相关带来了以下两个限制：与一条分支指令控制相关的指令不能被移到该分支之前。否则这些指令就不受该分支控制了。对于上述的例子，then部分中的指令不能移到if语句之前。如果一条指令与某分支指令不存在控制相关，就不能把该指令移到该分支之后。对于上述的例子，不能把S移到if语句的then部分中。第99页，共157页，星期日，2025年，2月5日3.4流水线的相关与冲突流水线冲突是指对于具体的流水线来说，由于相关的存在，使得指令流中的下一条指令不能在指定的时钟周期执行。流水线冲突有3种类型：结构冲突：因硬件资源满足不了指令重叠执行的要求而发生的冲突。数据冲突：当指令在流水线中重叠执行时，因需要用到前面指令的执行结果而发生的冲突。控制冲突：流水线遇到分支指令和其它会改变PC值的指令所引起的冲突。3.4.2.2流水线冲突第100页，共157页，星期日，2025年，2月5日3.4流水线的相关与冲突带来的几个问题：导致错误的执行结果。流水线可能会出现停顿，从而降低流水线的效率和实际的加速比。我们约定当一条指令被暂停时，在该暂停指令之后流出的所有指令都要被暂停，而在该暂停指令之前流出的指令则继续进行（否则就永远无法消除冲突）。第101页，共157页，星期日，2025年，2月5日3.4流水线的相关与冲突结构冲突在流水线处理机中，为了能够使各种组合的指令都能顺利地重叠执行，需要对功能部件进行流水或重复设置资源。如果某种指令组合因为资源冲突而不能正常执行，则称该处理机有结构冲突。常见的导致结构冲突的原因：功能部件不是完全流水资源份数不够第102页，共157页，星期日，2025年，2月5日3.4流水线的相关与冲突结构冲突举例：访存冲突有些流水线处理机只有一个存储器，将数据和指令放在一起，访存指令会导致访存冲突。解决办法Ⅰ：插入暂停周期（“流水线气泡”或“气泡”）引入暂停后的时空图解决方法Ⅱ：设置相互独立的指令存储器和数据存储器或设置相互独立