【论文导读】Target Prediction for Indirect Jumps

分支(branch) 按照跳转类型分为

• 条件conditional 跳转
• 无条件 unconditional跳转
  按照分支地址的类型分为:
• 直接跳转分支 direct branch 在指令中包含分支地址，因此只能跳转到特定的地址
• 间接跳转分支 undirect branch 是通过读取内存中的内容进行跳转， 这时内存中的内容是任意的，因此可以跳转到任意的地址

常见的BTB是通过Program Pointer进行索引，PC经过hash之后，对应到特定唯一的Branch Target中。

在面向对象语言的多态的特性中，我们在使用父类指针指向派生类对象中实现的虚函数。由于派生类可以包含各个类型，这样实际上跳转的地址的潜在的个数就是派生类个个数。这样早先的BTB这样一对一的索引就不适用了。因此该Paper提出了专门用于Indirect Jump的Target Prediction。

SPECint95(Paper是1997年的)中indirect jump的个数如下图所示：

Paper所实现的Target Cache可以理解为使用分支地址与历史信息进行Hash，使用得到的结果，索引Target Cache。
该结构包含以下两个维度：

• Accessing Target Cache
  1） 使用分支历史
  广泛使用的2-level 自适应分支预测会使用历史信息索引Pattern History Table, 因为我们也可以直接使用这个分支历史信息，而不增加额外的硬件。
  2） 使用Path History
  考虑到Path History也会提供有益的历史信息，因此我们也可以使用路径信息。
  a) 可以使用per-address，即使用当前分支的历史Address信息。每个N-bit path history register包括该分支最近的k次的target address，因此该分支每次被solve之后，都会将分支的中的n/k bit移入分支历史信息寄存器。
  b) 使用global Scheme，使用所有的分支的历史信息。考虑到所有的分支历史信息过长，我们可以只采纳一些特定的分支信息：
  • Control Redirect 指令流的信息
  • Branch 条件分支信息
  • Call/Ret 调用/返回函数
  • Ind Jump 间接跳转信息
• Target Cache Structure
  1）Tagless Target Cache
  即使用不包含Tag的Target Cache
  2）Tagged Target Cache
  考虑到一旦地址存在alias hit到 Target Cache，因为预测的是目标地址就会大概率导致miss Prediction，因此可以在Cache中增加Tag的信息，进行比对。

Tagged Target Cache 如下图所示：

最终在Perl的程序上运行的结果如下：

欢迎关注我的公众号《处理器与AI芯片》