超标量处理器中的分支预测实现

2024-04-12 15:36

本文主要是介绍超标量处理器中的分支预测实现,希望对大家解决编程问题提供一定的参考价值,需要的开发者们随着小编来一起学习吧!

  • 超标量的分支预测与标量分支预测的不同点:
    • 在取指令时给出一个地址,会从 I-Cache 中取出多条指令,这些取出的指令组成了一个指令组(fetch group);
    • 处理器会自动根据指令组中的指令个数,调整取指令的地址,用来进行下个周期的取指令。
    • 因此超标量处理器中的取指令地址并不是连续的,每次增加的值等于指令组的字长,送入到I-Cache中取指令的地址其实只是指令组中第一条指令的地址而已。
    • 如果此时仍旧只是使用取指令时的地址(也就是PC值)进行分支预测,那么就相当于只是对指令组中的第一条指令进行了分支预测,而指令组中后面的指令根本就没有顾及到,使超标量处理器无法从分支预测中获得太大的好处。
  • 解决方式之一:对取指令进行限制;以4-way超标量处理器为例; 
    • 约束每次取指令位于4B对齐的边界内,此时可以使用PC[31:4]来寻址分支预测器;
    •  分支预测器中,记录这4条指令中,第一个分支指令的信息即可;因为大部分情况下,每个4B对齐的四条指令中,最多也就存在一条分支指令;
    • 此时还需要在分支预测器中,记录分支指令的位置,防止错误使用;
      • 如下图所示,在如下的4B对齐的指令中,此时取指令的PC值位于branch之后,那么这个pc就不应该使用分支指令的预测信息
      • 要想知道该信息,就需要在BTB中,记录分支指令的偏移值;
  • 解决方式之二:不进行限制,全部进行分支预测;
    • 此时没有对齐限制,需要对所有的指令,进行分支预测;
    • 第一个预测跳转的分支指令的目标地址,作为下一个周期取指令的地址;
    • 取指令阶段使用的 PC 值只给出了指令组中第一条指令的 PC 值,需要使用三个加法器来实现 PC+4、PC+8 和 PC+12 的功能;
    • 由于对目标地址的预测来说,需要在一个周期内提供四个PC值对应的目标地址,这就相当于需要BTB支持四个读端口,即使可以采用交叠(interleaving)的方式来避免真正的多端口,但是考虑到在使用过程中,最多只会使用其中的一个端口的值,所以这种方式对于硬件的利用效率是很低的。
  • 其他方式:
  1. 进入icache之前,预解码,这样取出来之后,马上就可以识别出分支指令,快速计算出跳转目标地址;当然,如果是return类型的指令,这种方式不行;
  2. 不一定在一个周期得到分支预测结果,可以这样做, 降低设计复杂度:
    1. 方向预测和目标地址预测串行,在方向预测完成后,再利用其结果信息进行目标地址的预测,可以避免对BTB部件的多端口需求;

  • 扩展:interleaving的处理,需要一个cycle内的pc值,译码到不同的bank, 从而不产生冲突,如果pc值做了hash, 但是又希望不同的pc hash后, 在同一个cycle内不会产生bank冲突,如何解决?
    • 最简单的方式,将PC的[3:2]作为寻址低位即可;

这篇关于超标量处理器中的分支预测实现的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!



http://www.chinasem.cn/article/897534

相关文章

Python使用python-can实现合并BLF文件

《Python使用python-can实现合并BLF文件》python-can库是Python生态中专注于CAN总线通信与数据处理的强大工具,本文将使用python-can为BLF文件合并提供高效灵活... 目录一、python-can 库:CAN 数据处理的利器二、BLF 文件合并核心代码解析1. 基础合

Python使用OpenCV实现获取视频时长的小工具

《Python使用OpenCV实现获取视频时长的小工具》在处理视频数据时,获取视频的时长是一项常见且基础的需求,本文将详细介绍如何使用Python和OpenCV获取视频时长,并对每一行代码进行深入解析... 目录一、代码实现二、代码解析1. 导入 OpenCV 库2. 定义获取视频时长的函数3. 打开视频文

golang版本升级如何实现

《golang版本升级如何实现》:本文主要介绍golang版本升级如何实现问题,具有很好的参考价值,希望对大家有所帮助,如有错误或未考虑完全的地方,望不吝赐教... 目录golanwww.chinasem.cng版本升级linux上golang版本升级删除golang旧版本安装golang最新版本总结gola

SpringBoot中SM2公钥加密、私钥解密的实现示例详解

《SpringBoot中SM2公钥加密、私钥解密的实现示例详解》本文介绍了如何在SpringBoot项目中实现SM2公钥加密和私钥解密的功能,通过使用Hutool库和BouncyCastle依赖,简化... 目录一、前言1、加密信息(示例)2、加密结果(示例)二、实现代码1、yml文件配置2、创建SM2工具

Mysql实现范围分区表(新增、删除、重组、查看)

《Mysql实现范围分区表(新增、删除、重组、查看)》MySQL分区表的四种类型(范围、哈希、列表、键值),主要介绍了范围分区的创建、查询、添加、删除及重组织操作,具有一定的参考价值,感兴趣的可以了解... 目录一、mysql分区表分类二、范围分区(Range Partitioning1、新建分区表:2、分

MySQL 定时新增分区的实现示例

《MySQL定时新增分区的实现示例》本文主要介绍了通过存储过程和定时任务实现MySQL分区的自动创建,解决大数据量下手动维护的繁琐问题,具有一定的参考价值,感兴趣的可以了解一下... mysql创建好分区之后,有时候会需要自动创建分区。比如,一些表数据量非常大,有些数据是热点数据,按照日期分区MululbU

MySQL中查找重复值的实现

《MySQL中查找重复值的实现》查找重复值是一项常见需求,比如在数据清理、数据分析、数据质量检查等场景下,我们常常需要找出表中某列或多列的重复值,具有一定的参考价值,感兴趣的可以了解一下... 目录技术背景实现步骤方法一:使用GROUP BY和HAVING子句方法二:仅返回重复值方法三:返回完整记录方法四:

IDEA中新建/切换Git分支的实现步骤

《IDEA中新建/切换Git分支的实现步骤》本文主要介绍了IDEA中新建/切换Git分支的实现步骤,通过菜单创建新分支并选择是否切换,创建后在Git详情或右键Checkout中切换分支,感兴趣的可以了... 前提:项目已被Git托管1、点击上方栏Git->NewBrancjsh...2、输入新的分支的

Python实现对阿里云OSS对象存储的操作详解

《Python实现对阿里云OSS对象存储的操作详解》这篇文章主要为大家详细介绍了Python实现对阿里云OSS对象存储的操作相关知识,包括连接,上传,下载,列举等功能,感兴趣的小伙伴可以了解下... 目录一、直接使用代码二、详细使用1. 环境准备2. 初始化配置3. bucket配置创建4. 文件上传到os

关于集合与数组转换实现方法

《关于集合与数组转换实现方法》:本文主要介绍关于集合与数组转换实现方法,具有很好的参考价值,希望对大家有所帮助,如有错误或未考虑完全的地方,望不吝赐教... 目录1、Arrays.asList()1.1、方法作用1.2、内部实现1.3、修改元素的影响1.4、注意事项2、list.toArray()2.1、方