静态转移预测技术

最新推荐文章于 2024-05-13 14:58:47 发布

shuiliusheng

最新推荐文章于 2024-05-13 14:58:47 发布

阅读量810

点赞数

分类专栏： computer architecture

本文链接：https://blog.csdn.net/shuiliusheng/article/details/109199187

版权

89 篇文章 18 订阅

订阅专栏

优点：实现非常简单，只需要很少的硬件资源。问题在于在现代处理器中，晶体管的资源足够，因此足够提供动态转移预测的资源，但是静态的预测仍旧可以作为复杂的混合预测器中的组件，提供后备的预测方案使用。
缺点：没有使用程序运行时的动态行为特征，预测器也将无法使用分支结果模式的变化，而这些变化通常是由于不同的程序输入和程序不同阶段的执行行为所决定的。

预测所有分支不跳转：1997年，Intel i486
- 优点：简化了前端取指，因为不需要计算跳转的目标地址，也不会打断前端的取指流
- 缺点：1997年有论文分析，对于整数程序，60%的分支都会发生跳转
预测所有分支跳转：
- 优点：通常情况下，比上一类更加准确
- 缺点：硬件会更加复杂。因为预测跳转需要跳转地址的计算，这将导致处理器需要等待目标地址得到之后才能够进行跳转
- 优化：MIPS的转移延迟槽，用于在分支指令在计算目标地址的时间内执行一条一定会被执行的指令。1986年有论文研究，编译器无法有效的使用所有可用的延迟槽，并且随着流水线级数增加，计算地址延迟会更大，浪费也会更多。

示例：对于异常处理的分支指令通常不会发生，而这些信息需要高级语言才能够反映出来
```
void *p=malloc(bytes);
if(p==NULL){
    errorHandlingFuc();
}
```
1993年，Ball和Larus提供了一组基于程序结构的启发式静态条件转移预测方案。这些方案充分的利用了分支指令的操作码，操作数和分支指令之后的指令块的特点，尝试基于常见的编程习惯提供分支预测

剖视技术会在样本输入数据上执行一个工具版（instrumented）的程序，收集执行过程中的数据，然后将这些信息反馈给编译器。编译器利用这些信息进行静态的转移预测，并且预测结果通过ISA中的hint接口传递给硬件使用
简单的分析方法：分析在执行时每条静态分支指令发生跳转的频率，然后指导预测。1992年，Fisher和Freudenberger测试了这样的方法，结果表明也仅是在部分程序中会带来较好的结果，而其它程序的执行行为将取决于程序实际的输入。
优点：在硬件上容易实现
来较好的结果，而其它程序的执行行为将取决于程序实际的输入。
优点：在硬件上容易实现
缺点：每条静态分支指令的预测结果固定，无法应对所有可能的程序输入和行为。ISA必须要提供接口给程序员或者编译器，用于传递hint信息。在硬件上，为了使用hint信息，流水线前端需要获取到分支指令之后才能够根据hint信息进行预测

关注

专栏目录