控制相关动的态解决技术.ppt

计算机系统结构 www.Gotoschoolnet 第四章指令级并行 4.3控制相关的动态解决技术 处理器一个时钟周期流出多条指令受到以下两 个因素的限制: 流出n条指令的处理器中,遇到分支指令 的 速度也快了n倍; 根据 Amdahl定律可知,随着机器CP的降 低 控制相关对性能的影响越来越大 2006年2月 秦杰郑丽萍张庆辉  计算机系统结构 www.Gotoschoolnet 3控制相关的动态解决技术 本节着重于 通过硬件技术,动态地进行分支处理,对程 序运行时的分支行为进行预测,提前对分支操作做 出反应,加快分支处理的速度。 分支的最终延迟取决于流水线的结构、预测的 方法和预测错误后恢复所采取的策略 2006年2月 ◎秦杰郑丽萍张庆辉  计算机系统结构 www.Gotoschoolnet 3控制相关的动态解决技术 分支预测缓冲 ◆动态分支预测必须解决两个问题: 如何记录一个分支操作的历史。 决定预测的走向 ◆记录分支历史的方法有以下几种 (1)仅仅记录最近一次或最近几次的分支历史; (2)记录分支成功的目标地址 (3)记录分支历史和分支目标地址,相当于前 面两种方式的结合; (4)记录分支目标地址的一条或若干条指令 2006年2月 ◎秦杰郑丽萍张庆辉  计算机系统结构 www.Gotoschoolnet 3控制相关的动态解决技术 分支预测缓冲技术( Branch- Prediction Buffer或者 Branch History Table,简写为BTB或者BHT 目前广泛使用的最简单的动态分支预测技术。 使用一片存储区域,记录最近一次或几次分支特 征的历史 1.只有1个预测位的分支预测缓冲 ◆索引:分支指令地址的低位。 ◆存储区:1位的分支历史记录位,又称为 预测位,记录该指令最近一次 分支是否成功 2006年2月 ◎秦杰郑丽萍张庆辉  计算机系统结构 www.Gotoschoolnet 3控制相关的动态解决技术 “0”记录分支不成功 ●“1”记录分支成功 状态转换图 分支不成功 分支成功 支不成功 分支成功 图4.9只有1个预测位的分支预测缓冲状态转换 图 2006年2月 ◎秦杰郑丽萍张庆辉  计算机系统结构 www.Gotoschoolnet 3控制相关的动态解决技术 分支预测缓冲技术包括两个步骤 ◆分支预测 如果当前缓冲记录的预测位为“1”,则预 测分为成功;如果预测位为“0”,则预测分支 为不成功 ◆预测位修改 如果当前分支成功,则预测位置为“1”; 如果当前分支不成功,预测位置为“0 3.分支预测错误时,预测位就被修改,并且需 要恢复现场,程序从分支指令处重新执行 2006年2月 秦杰郑丽萍张庆辉  计算机系统结构 www.Gotoschoolnet 3控制相关的动态解决技术 得到分支结果 分支指令 猜测执行路径 +1 p+2 实际执行路径 图4.10分支预测执行不成功和重新执行过程 2006年2月 ◎秦杰郑丽萍张庆辉  计算机系统结构 www.Gotoschoolnet 3控制相关的动态解决技术 例4.6一个循环共循环10次,它将分支成功9次, 1次不成功。假设此分支的预测位始终在 缓冲区中。那么分支预测的准确性是多少? 解这种固定的预测将会在第一次和最后一次 循环中出现预测错误。 第一次预测错误是源于上次程序的执行, 因为上一次程序最后一次分支是不成功的。 最后一次预测错误是不可避免的,因为前 面的分支总是成功,共九次。 因此,尽管分支成功的比例率是90% 但分支预测的准确性为80%(两次不正确, 8次确) 2006年2月 ◎秦杰郑丽萍张庆辉  计算机系统结构 www.Gotoschoolnet 3控制相关的动态解决技术 4.1位预测机制的缺点 只要预测出错,往往是连续两次而不是一次。 5解决方法 采用两个预测位的预测机制。 在两个预测位的分支预测中,更改对分支的 预测必须有两次连续预测错误 两位分支预测的状态转换图 2006年2月 ◎秦杰郑丽萍张庆辉  计算机系统结构 www.Gotoschoolnet 3控制相关的动态解决技术 分支不成功 分支预测 分支成功 成功 分支成功 分支不成功 分支不成功 分支预测 分支不成功 不成功 于支成 图4.11具有两个分支预测位的分支预测缓冲状态转换机制 2006年2月 ◎秦杰郑丽萍张庆辉