if的分支预测

本文探讨了CPU缓存的作用,如何解决CPU速度与内存差距,以及分支预测的原理和在C语言中的应用,特别是GCC内建函数用于分支预测的实例。通过介绍并行执行与分支预测,展示了如何利用程序员的倾向性提高程序运行效率。
摘要由CSDN通过智能技术生成

1.计算的缓存(引)

缓存可以是一个很广义的概念,这里主要讲的是CPU缓存。

CPU缓存是CPU和内存之间的临时存储区域,它得特点是小但是读取非常快,主要是为了解决CPU运算速度和内存读写速度不匹配的矛盾,由于CPU运算速度要比内存读写速度快很多,当CPU运算完了以后,需要等待内存的读写操作,造成整个程序计算缓慢。因此有了缓存的设计,缓存的制造工艺(SRAM技术)比内存(DRAM)更高,成本也更贵,因此它容量做得相对较小。当CPU在运行是,短时间内用得到的数据就会存放在缓存里,CPU会先去缓存里寻找数据,如果缓存里找不到,再回去内存里找。

而缓存内部也分为了一级缓存、二级缓存、三级缓存甚至现在有的CPU会有四级缓存。每一级缓存中所储存的全部数据都是下一级缓存的一部分,一级缓存最快,不同缓存的技术难度和制造成本是相对递减的,所以其容量也是相对递增的。

2.分支预测

2.1 产生的原因(引)

我们拿C语言举例,当我们编译好C语言文件后,计算机会将程序读入内存当中,计算机会将代码从头读入缓存交予CPU执行。

CPU可以简单得理解为一堆寄存器的集合,一般来说CPU的运算流程可以分为取指令、分析指令、执行指令、写回内存。也有更细的划分。每个过程都是由一个或多个寄存器按顺序进行处理的。

例如,取指令时,程序寄存器会告知地址寄存器当前执行代码的地址,取址寄存器通过地址总线和数据总线,会将二进制程序传入到指令寄存器完成取指令的操作。分析指令则是将指令寄存器中的指令操作码取出后进行译码,分析其指令性质。如指令要求对数进行加法,那寻找被加数的地址。执行指令过程,例如我们的加操作,就要用到加法寄存器等。总之,CPU在执行一条指令的过程中也是分成了好多环节,由不同的寄存器进行顺序处理。(不通指令用到的寄存器并非完全相同)

因此如果我们的CPU在处理指令时如果通过串行执行指令,如处理完一条指令,在处理下一条,即使缓存的读写速度较快还是无法完全匹配CPU的速度,因此采用串联运行的话还是会有CPU等待缓存。所以我们目前用的都是并联执行,也就是CPU执行一条指令时,当一个寄存器完成自己的任务后,不管这条指令有没有完全执行完,它便会去执行下一条指令,例如取址寄存器取完第一条指令后,后面的寄存器还未完成第一条指令的执行,但是取址寄存器不管他们,立马取第二条指令(有点像流水线工程)。这就大大提高了程序的运算效率。

并行的执行方式效率很高,但是当我们碰到选择语句时候会碰到一些问题。例如:

if (age >= 65) {
	old = 1;
	func(); // 忽略它,为了凑行数哈哈
}
else old = 0;

假设我们一个if条件的时候,是用来判断年纪大还是小的,当我们的输入的样本的中大多数人的age都是小于65时候,我们的程序大多数都是需要执行else语句后面的内容。
这时候对于并联的执行方法,当if的条件age >= 65还没执行完的时候,取址寄存器变开区取old = 1指令的地址了,但是当我们的条件计算完后发现要跳转到old = 0的地址,那么说明取址寄存器之前的工作白干了,要从头开始工作。也就是抛弃之前if条件成立下的处理,转而执行if不成立后面的代码,这个时候并行的执行方式就被打破了,后面寄存器就要等待前面的寄存器重新操作完了再完成自己的操作,由此造成了程序运行时长的增加。

分支预测呢,就是程序员主动告诉计算机,if条件成立或者不成立哪个可能性大,来让CPU的寄存器预先处理可能性更大的代码块,来帮助我们提高运算效率。

2.2 分支预测使用(C)

GCC提供了内建函数来帮我们进行分支预测。
likely 和 unlikely 是 gcc 扩展的跟处理器相关的宏:

#define  likely(x)        __builtin_expect(!!(x), 1) 
#define  unlikely(x)      __builtin_expect(!!(x), 0)

likely(x)是一个宏,表示x是很有可能发生的,x一般就是我们if语句的条件
反之,unlikely(x)便是不太可能发生的的情况。

__builtin_expect(!!(x), 1)是内建函数,!!x是对x操作的一个归一化,及成立与不成立。

下面举个实际应用的例子。
例:给定一个数,请判断这个数是不是回文数。回文数如:1234321–>true, 123456->flase。同时,负数不存在回文数。

// palindrome.c
bool isPalindrome(int x) {
    if (__builtin_expect(!!(x < 0), 0)) return false; // 负数必定不是回文数
    int y = 0, z = x;
    while (x) {
        y = y * 10 + x % 10;
        x /= 10;
    }
    return z == y;
}

代码中,if的条件是x < 0,同时也通过__builtin_expect(!!(x < 0), 0))告诉计算机x < 0的可能性不多(大多数回文数判断都是正数),由于这个if没有else,程序就会预先加载int y = 0, z = x;

其实整个分支预测便是基于概率,让程序员告诉if条件的倾向性来加快运算速率。

废话有点多哈哈哈,迷惘了好久了,写这篇也是给自己下个方向吧。

  • 0
    点赞
  • 0
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值