文章目录
影响指令流水线的因素
影响因素
- 运行时间 = 程序指令数 * CPI （每条指令时钟周期数）
- Pipeline CPI=Ideal pipeline CPI + Structural stalls + RAW stalls + WAR stalls + WAW stalls + Control stalls
程序的相关性
程序的相关性容易引起流水线堵塞，可以通过软件和硬件的方法避免堵塞或降低堵塞的影响；
• 编译调度：如循环展开
• 乱序执行：需要等待的指令不影响其他指令
（1）数据相关：（真相关）：导致RAW
1）定义：指令j数据相关于指令i，指令j使用了指令i产生的结果；
2）传递性：指令j数据相关于指令k，指令k数据相关于指令i，则指令j数据相关于指令i；
3）数据相关的指令不能并行执行；
4）寄存器的数据相关比较容易判断；存储器的数据相关不容易判断。
5）例子：
（2）名字相关：会导致WAW和WAR
1）定义：两条指令使用相同名字（寄存器或存储器），但不交换数据；
2）类型：
- 逆相关（Antidependence）：指令j写指令i所读的存储单元且i先执行，逆相关会导致流水线WAR相关
- 输出相关（Output Dependence）：指令j与指令i写同一个单元且i先执行，输出相关会导致流水线WAW相关
3）寄存器的名字相关可以通过寄存器重命名(Register Renaming)解决，存储单元的重命名比较困难；
4）例子：
5）RISC技术极大地简化了指令之间的相关性；
（3）控制相关：条件转移
指令调度技术
编译器的静态调度
（1）编译器分析程序中的相关性，并针对目标流水线进行代码优化，以避免程序执行时由于相关引起阻塞；
（2）特点：
- 相关不一定引起阻塞，只要隔开足够远；
- 在一个流水线上引起阻塞，在另一个流水线上不一定引起阻塞，所以编译优化与机器有关；
（3）循环展开技术：
- 硬件流水：并行不同指令；
- 软件流水：并行循环体的不同的迭代；
（4）例子：向量的每个元素加常数
① 初始时，每次循环需要9拍：
② 改变指令次序每次循环需要6拍：（注意把SD放在Delay Slot中，偏移量的变化）
③ 循环展开4次：假设R1的值是4的倍数（注意把SD偏移量的变化）
④ 寄存器重命名：（每4个循环需要15 + 4 x (1+2) = 27 拍，每个循环 6.8 拍）
⑤ 改变指令次序：
- 注意把SD与SUBI交换次序时偏移量的变化；
- 注意SD与LD交换次序不会影响正确性；
- 每4个循环需要14拍，每个循环 3.5 拍；
⑥ 增加发射宽度：
- 循环展开5次 ；
- 定点和浮点并行；
- 5个循环需要12拍，每个循环2.4拍；
软件调度与硬件调度
（1）问题：既然软件可以在保持程序正确性的前提前改变指令的执行次序来提高性能，硬件能不能做到呢？
- 可以做到，但要有特定的机制保证程序行为不被改变
- 关键是程序的数据和结构相关性得以保持
（2）软件调度与硬件调度的比较：
- 软件调度范围大，可在上万条指令的范围内进行调度；硬件一般只能在百条指令的范围内进行调度；
- 硬件调度可以掌握一些软件编译时还不明确的相关性信息，尤其是对访存相关以及控制相关；
动态调度技术
静态流水线的问题
①. 在译码阶段把指令“隔开”来解决相关
• 只要有一条指令停止，后面指令就不能前进，象是一种译码部件的结构相关
②. 对编译要求高，最好是编译把相关指令隔开
• 有些信息在译1码时难以确定，如是否发生例外、访存操作需要多少周期等
动态调度思想
（1）基本思想：
- 把相关的解决尽量往后拖延（Forward技术？）
- 前面指令的等待不影响后面指令继续前进；
（2）把译码分成两个阶段：发射和读操作数
- 发射：指令译码，检查结构相关；
- 读操作数：如果操作数准备好就读数，否则等待（在哪儿等？）
- 当一条指令在读操作数阶段等待时，后面指令的发射可以继续进行；
（3）乱序执行的基本做法：
- 指令进入是有序的
- 执行可以乱序，只要没有相关就可执行，多条指令同时执行
- 结束也是有序的（怎么把乱序变成有序？）
（4）与静态调度相比：
- 有些相关编译无法检测、编译器更加简单、程序性能对机器依赖少
解决WAW和WAR的办法
（1）例子：
（2）可能执行次序：（假设只考虑RAW相关）
- DIV发射，F1, F2都准备好
- MUL1发射，F6没准备好，所以没有读数据
- ADD发射， F3, F4都准备好
- MUL2发射，F8没有准备好，所以没有读数据
- ADD完成，F0写回
- F6准备好，MUL1读数据
- DIV完成，F0写回
- F8准备好，MUL2读数据
1）为了避免MUL1读回ADD写的F0值，MUL2读回DIV写的F0值：
① 做法一：计分板方法
> 方法：控制在MUL读F0之前ADD不能写回，在DIV写回之前ADD不能写回；
> 问题本质：F0成为瓶颈，它必须保证DIV写、MUL1读、ADD写、MUL2读的串行次序；
> 真正相关：MUL1用DIV的结果，MUL2用ADD的结果，F0最终的结果为ADD的结果；
（在写回寄存器前，forward到下一条指令直接使用：MUL1用DIV的结果、MUL2用ADD结果不一定通过F0）
② 做法二：
> 方法：在MUL1的输入端指定只接收DIV的输出值，在MUL2的输入端指定只接收ADD的输出值，相当于DIV 直接把结果写到MUL1的输入端，ADD直接把结果写到MUL2的输入端。（记得Forward技术吗？）
> 要求：
- DIV的输出连到MUL1的输入，ADD的输出连接到MUL2的输入;
- MUL1和MUL2的输入端有寄存器，这些寄存器能够指定接收哪个部件的输出作为自己的值；
> 为了避免F0的最终值为DIV所写的值：
- 可以在F0记录它当前接收哪个功能部件所写的值；
- 要求F0有一个标志；
③ 上述方法要求：
- 每个功能部件的输入端有一些寄存器；
- 每个寄存器（包括功能部件输入端的寄存器以及通用寄存器）都记录一个功能部件号，指定它当前接收哪个功能部件的值；
- 每个功能部件的输出接到每个功能部件的输入；
④ 有了上述功能，WAR和WAW相关不用阻塞
⑤ 寄存器重命名技术：
Tomasulo算法
通过寄存器重命名消除WAR和WAW相关
历史
（1）IBM 360/91中首次使用：
• 1966年，比CDC 6600晚3年
• Robert Tomasulo提出
• 设计目标：编译器在360系列中通用
（2）主要思想现代处理器中普遍使用：
• 早期Alpha 21264, HP 8000, MIPS 10000, Pentium II, PowerPC 604, …
• 现在Intel、AMD、IBM的几乎所有CPU
Tomasulo算法结构
其中：
（1）保留站内容：
• Busy: 忙位
• Op：操作码
• Vj, Vk: 源操作数的值
• Qj, Qk: 保存没有准备好的源操作数保留站号（0表示操作数已经准备好）
（2）寄存器增加一个域：
• 结果状态域：空表示寄存器值可用，否则保存产生寄存器结果的保留站号
（3）结果总线：
• 除了送回结果值外，还要送回产生该结果的保留站号
Tomasulo算法的流水阶段
（1）发射：把操作队列的指令根据操作类型送到保留站（如果保留站有空），发射过程中读寄存器的值和结果状态域。
（2）执行：如果所需的操作数都准备好，则执行，否则侦听结果总线并接收结果总线的值。
（3）写回：把结果送到结果总线，释放保留站。
举例
小结
（1）通过动态调度缓解流水线阻塞
• 例如减少CACHE失效对性能的影响
（2）保留站：重命名寄存器+缓存源操作数
• 避免寄存器成为瓶颈
• 避免WAW和WAR阻塞
（3）缺点：
• 硬件复杂性
• 结果总线成为瓶颈，多条结果总线增加硬件复杂度
（4）在IBM 360/91后被广泛使用：
• 动态调度、寄存器重命名等思想一直被使用：Pentium II; PowerPC 604; MIPS R10000; HP-PA 8000; Alpha 21264
动态流水线的例外处理
例外（Exception）与流水线
①I/O请求：外部中断
②指令例外：用户请求中断
- 系统调用、断点、跟踪调试指令
③运算部件:
- 整数运算溢出、浮点异常
④存储管理部件:
- 访存地址不对齐、用户访问系统空间、TLB失效、缺页、存储保护错（写只读页）
⑤保留指令错：未实现指令
⑥硬件错
……….
动态流水线的精确例外处理
（1）精确例外的要求：
> 在处理例外时，发生例外指令前面的所有指令都执行完，例外指令后面的所有指令还未执行；
（2）非精确例外的原因：
> 在乱序执行时，前面的指令发生例外时，后面的指令已经执行完并修改了寄存器或存储单元；
（记分板和Tomasulo算法中都是非精确例外）
> 只要保证后面指令修改机器状态时，前面的指令都已经不会发生例外即可；
> 例子：
以上例子，没有任何相关，ADDF和SUBF指令可以比DIVF先结束。如果在ADDF结束后DIVF发生例外，此时无法恢复例外现场；
硬件支持动态流水线的精确例外处理
（1）实现精确例外处理的一个办法：
把后面指令对机器状态的修改延迟到前面指令都已经执行完
- 有些指令在EX阶段也修改机器状态，如运算指令修改结果状态
- 在执行阶段停止流水线会影响后面的指令执行
（2）具体做法：
可以用一些缓冲器来临时保存执行结果，当前面所有指令执行完后, 再把保存在缓冲器中的结果写回到寄存器或存储器：
• 在流水线修改机器状态时（在执行或写回阶段）写到缓冲器
• 增加提交（Commit）阶段，把缓冲器的内容写回到寄存器或存储器
• 提交阶段只有前面指令都结束后才能进行
• 有序提交：乱序执行，有序结束
• 所用的缓冲器通常被称为Reorder Buffer（ROB）
（猜测执行中也可用上述机制：都是在某些情况不确定的情况下先执行，但留有反悔的余地）
指令重排序缓存Reorder Buffer （ROB）
（1）ROB内容：目标地址（存数地址或寄存器号）、 值、 操作类型
（2）写回时写回到ROB, 因此后面指令有可能从ROB读操作数；
（3）使用ROB号作为重命名号（原来使用保留站号）， 一条指令的结果寄存器被重命名为其结果ROB号 ：
• 保留站重命名源寄存器号
• ROB重命名结果寄存器号
（4）提交时把结果写回寄存器或存储器；
（5）只要一条指令没有提交, 它就不会对寄存器或存储器的内容进行修改，在一条指令没有提交之前很容易取消该指令（由于前面指令发生了例外或由于猜测执行不正确）；
（6）ROB可以和Write Buffer合并；
（7）增加Reorder Buffer的流水线：
- 发射：把操作队列的指令根据操作类型送到保留站（如果保留站以及ROB有空），并在ROB中指定一项作为临时保存该指令结果之用；发射过程中读寄存器的值和结果状态域，如果结果状态域指出结果寄存器已被重命名到ROB，则读ROB。
- 执行：如果所需的操作数都准备好，则执行，否则根据结果ROB号侦听结果总线并接收结果总线的值。
- 写回：把结果送到结果总线，释放保留站；ROB根据结果总线修改相应项。
- 提交：如果队列中第一条指令的结果已经写回且没有发生例外，把该指令的结果从ROB写回到寄存器或存储器，释放ROB的相应项。如果队列头的指令发生了例外或是猜测错误的转移指令，清除操作队列以及ROB等。
对比：没有Reorder Buffer的流水线
（8）例子：
假设ADD发生了溢出例外
龙芯1号把ROB和队列合并
总结
- 有序进入、乱序执行（允许超车）、有序结束
- 主要数据结构：
• 保留站（发射队列）把有序变成乱序，临时存指令
• 重命名寄存器用于保存未提交的临时结果，临时存数据
• ROB把乱序重新变成有序 - 乱序的能力和有关队列大小紧密相关
- 现代高性能CPU一般都有100条以上指令在流水线中乱序执行
补：Meltdown攻击的基本原理（幽灵、熔断漏洞）
- 攻击者在用户态执行一条访问系统空间的load指令，发生例外，相关例外信息存在ROB中，访问数据X（假设为一个字节）目标寄存器为R1，重命名到PR1，返回值存到PR1，由于提交时会被取消。
- 攻击者读取R1并从PR1中读到内容X，作为下标访问一个事先准备好的用户态数组A，A中被访问的的数据带到Cache中，其它数据仍在内存。
- 非法load指令成为ROB头指令，load指令及其后续指令被取消，但A[x]内容已经在Cache。
- 攻击者访问数组A的所有数据并判断其延迟，其中有一个数据在Cache中，延迟最短，假设数组A第10号元素访问延迟最短，则X=10。
• 侧信道攻击 - Meltdown攻击确实由乱序执行引起，但很容易规避。
• Load操作执行阶段发生例外时，在ROB中置例外，但不要把返回值写入寄存器
来源：CSDN
作者：TheBetterKong
链接：https://blog.csdn.net/weixin_44849403/article/details/104039927