计算机体系结构（金星）第五章重叠、流水与向量之二.pptVIP

流水线断流的原因 编译形成的目标程序不能发挥流水结构的作用 存储系统供不上为连续流动所需的指令和操作数 相关 中断 4 流水线相关 根据相关对程序的影响把流水线相关分为以下两类： 局部相关： 全局相关： 局部相关 只影响相关的两条或几条指令，最多影响流水线某段工作的推后，不会改动指缓中预取的指令，即数据相关 产生的原因：一组指令中，某条指令要用到前面的指令的结果，但由于流水方式中前面指令的结果还没出来，这些指令都还在流水线中重叠执行。 处理方案 推后后续指令对相关单元的读，直到前面的指令写入完成。 设置相关直接通路 改变流动方式 同步流动与异步流动 同步流动：任务流出流水线的顺序与进入流水线的顺序相同。 异步流动：任务流出流水线的顺序与进入流水线的顺序不同。 异步流动可能产生的相关 写后读相关(RAW：read after write): 对同一个单元，在先的指令先写入，在后的指令才能读的关联 写后写相关(WAW：write after write) 对同一个单元，在先的指令先写入，在后的指令才能写入的关联 读后写相关(RAW：read after write) 对同一个单元，在先的指令先读，在后的指令才能写的关联 (2) 全局相关 已进入流水线的转移指令特别是条件转移指令和其后续指令之间的相关，即控制相关 产生的原因：流水线遇到分支指令和其他会改变PC值的指令。 解决方案 猜测法 加快和提前形成条件码 采用延迟转移技术 加快短循环程序的处理 猜测法 思路：根据历史记录，将出现概率大的分支装入指缓。 加快和提前形成条件码 思路：不等指令执行完提前形成条件码 加快单条指令内部条件码的形成 在一段程序内部提前形成条件码 采用延迟转移技术 ADD R1，R2 JMP NEXT2 NEXT1:SUB R3，R4 …… n NEXT2: MOVE R4，A 加快短循环程序的处理 将长度小于指缓容量的短循环程序整个一次性放入指缓内，并暂停预取指令 恒猜循环分支法 (3)流水机器的中断处理 不精确断点法 当指令I有中断，未进入流水线的后续指令不再进入，已在流水线的指令仍继续流完，然后才转入中断处理程序。断点为目前流水线的的最后一条指令。 精确断点法 当指令I有中断，目前流水线中I之前的指令做完，I为断点，目前流水线中I 之后的指令现场保存起来。 (4)非线性流水线的调度问题 调度问题的提出： 一个任务在通过非线性流水线时对有些功能段要通过多次，所以容易与紧跟而来的后继任务发生设备争用。 调度机构的作用就是合理安排前后任务进入流水线的相差时间，既要避免争用，又要使相差时间尽可能少，以提高吞吐率。 非线性流水线的表示 例：某非线性流水线的预约表如下所示 不改变流水线结构的调度方法步骤 第一步：作延迟禁止表F F = { 1，5，6, 8 } 第二步：作初始冲突向量C 冲突向量：用m位二进制编码表示， m是禁止向量的最大距离。 C=（CmCm-1…C3C2C1） Ci=1表示间隔拍数为i时会冲突，Ci=0表示间隔拍数为i时不会发生冲突，长度是禁止向量的最大距离。 由禁止向量F = {1，5，6, 8 }可得： 冲突向量C=（C8C7C6C5C4C3C2C1） C1 =C5=C6=C8=1，其余位为0 冲突向量为 C = 第三步：作状态转移图 冲突向量中，位=0表示不发生冲突，其位置号是不发生冲突的间隔拍数 从初始状态开始，检查冲突向量中为0的位，有几个0，就会有几个新的冲突向量 下一个冲突向量=上一个冲突向量右移n位 or 初始冲突向量 逐次计算新的冲突向量，并用有图连接。有向弧上的数字表示产生新的冲突向量所需要的间隔拍数 从“根结点”开始画；每个结点中有几个“0”就要发出几条边 下一个结点=上一个结点右移n位 or 根结点 第四步：作平均间隔拍数表 a 调度方案的产生： 从初始状态出发，沿箭头方向，每走一个闭环，就是一个方案 若中间遇到小闭环，也作为一个方案 遍历初始状态中的每一个Ci=0的回路。 b 计算所有调度方案的平均间隔拍数 c 找出最优方案，计算流水线的性能 流水时间=一个任务所需的拍数+t1*间隔t1拍启动的任务数+t2*间隔t2拍启动的任务数+… 最大吞吐率=一个周期中的任务数/循环周期中的各间隔拍数之和 =平均间隔拍数的倒数 三 向量的流水处理与向量流水处理机 1、向量的流水处理 定义：使向量运算能充分发挥流水线的效率 向量处理方式： (1)?水平(横向)处理方式 (2)? 垂直(纵向)处理方式 (3)? 分组(纵横)处理方式 例：D=A*(B+C)