[发明专利]一种实现值关联间接跳转预测的方法

说明书

技术领域

本发明属于微处理器设计和应用微处理器的系统设计领域，尤其涉及现代处理器实现值关联间接跳转预测的方法。

背景技术

在现代处理器中，推测式执行是挖掘指令级并行性的重要手段之一。为了提高推测式执行的效率，减少错误的推测执行，准确的转移预测技术是至关重要的。

在现代的宽发射、深度流水的超标量处理器体系结构中，采用转移预测的主要目的是为了提高CPU的运算速度。推测执行是依托于转移预测基础之上的，即如果CPU能够在流水线执行的前条指令结果出来之前能够预测到是否程序转移，就可以提前执行相应的指令，由此可避免处理器中流水线的空闲等待，从而提高CPU的运行速度。另一方面，如果前一指令结果出来后证明转移预测错误，则必须将已装入流水线执行的指令和结果全部清除，然后再将正确的指令装入流水线重新处理，从而降低了处理器性能。

由此可见，准确的转移指令预测技术能够为处理器提供连续的指令流输入，弥补了在转移指令跳转方向和跳转目标地址尚未计算出来时处理器无法继续执行而造成的处理器时钟周期的浪费；而一旦发生转移指令误预测，处理器推测执行的错误步骤上的几十条甚至上百条指令将被丢弃，所有推测执行的工作将被取消，又会造成处理器时钟周期的浪费。因此，提高转移指令预测准确度是转移指令预测设计和应用的关键目标，对现代处理器挖掘指令级并行性具有重要意义。

转移指令根据转移的目标特性可以分为有条件转移与无条件转移，或者分为直接转移与间接转移。其中有条件直接转移(简称“条件转移”)和无条件间接转移(简称“间接跳转”)是两类最重要的转移指令。条件转移指令通常与转移历史具有较强的关联性，因此基于历史的条件转移预测器能够达到较高的预测准确率；而间接跳转指令因具有多个目标地址而难以准确预测。

间接跳转指令被广泛应用于现代面向对象程序和虚拟机解释器程序中，由此而引发了大量间接跳转预测失效。据统计，约45％的转移预测失效是由间接跳转指令所引起的，因此，间接跳转指令的预测失效问题是影响现代处理器性能的重要因素之一，如何设计高效准确的间接跳转预测器是目前处理器设计中面临的一个难题。

在现有的间接跳转预测器中，关联预测器是目前使用最为广泛的一类预测器。为了提高关联预测器的预测准确率，先后有基于历史、基于数据值和基于提前计算等多种间接跳转预测器被提出。其中，基于历史的间接跳转预测器使用跳转方向历史和执行路径历史等信息，指导间接跳转目标地址的预测；基于数据值的间接跳转预测器使用某些数据值指导间接跳转预测；而基于提前计算的间接跳转预测器则使用特殊硬件对虚函数调用这一类特殊的间接跳转指令提前计算其跳转目标地址。

目前，最新研究表明，由于间接跳转指令与某些数据值必然存在较强的关联性，因此基于数据值的间接跳转预测器相对来说通常能够取得较高的预测准确率。尽管如此，现有的基于数据值的间接跳转预测器存在两个难以解决的问题：首先是寻找有效的关联数据值是非常困难的；其次，这些关联数据值很可能在间接跳转预测时是无法得到的。这两个问题导致了现有的基于数据值的间接跳转预测器难以取得理想的预测结果。

发明内容

本发明所要解决的技术问题是提供一种实现值关联间接跳转预测的方法，能够根据间接跳转指令的有效关联值准确地进行间接跳转预测。

为了解决上述技术问题，本发明提供了一种实现值关联间接跳转预测的方法，涉及编译器和处理器，该方法包括：

编译器对处理器执行可执行程序的过程进行剖视，并获取剖视信息；

编译器根据该剖视信息通过再次编译过程识别源程序中间接跳转指令对应的子程序结构及其关联数据值，并在源程序中插入用以标识关联数据值的引导指令，再次生成可执行程序。

进一步地，编译器通过对所述过程进行剖视获取的剖视信息，包括间接跳转指令的执行次数、动态跳转目标数量以及目标地址预测失效次数中的一种或多种。

进一步地，编译器根据剖视信息通过再次编译过程识别源程序中间接跳转指令对应的子程序结构及其关联数据值，具体包括：

选取执行次数多于次数阈值和预测失效率高于失效率阈值的间接跳转指令为难预测指令；

识别难预测指令对应的所述子程序结构，包括虚函数调用、Switch-case语句以及函数指针调用中的一种或多种；其中：

对于虚函数调用，将虚函数表地址识别为相应的间接跳转指令的关联数据值；

对于所述Switch-case语句，将标准化case变量值识别为相应的间接跳转指令的关联数据值；