__builtin_expect作用

文章目录

__builtin_expect作用
- 引言
- cyberRT中对__builtin_expect的封装
- __builtin_expect作用

引言

最近在看cyberRT代码中，发现在协程croutine中频繁使用cyber_likely和cyber_unlikely，看了下这两个都是对__builtin_expect的封装，那__builtin_expect具体是什么作用？

cyberRT中对__builtin_expect的封装

#if __GNUC__ >= 3
#define cyber_likely(x) (__builtin_expect((x), 1))
#define cyber_unlikely(x) (__builtin_expect((x), 0))
#else
#define cyber_likely(x) (x)
#define cyber_unlikely(x) (x)
#endif

__builtin_expect作用

__builtin_expect() 是 GCC (version >= 2.96）提供给程序员使用的，目的是将“分支转移”的信息提供给编译器，这样编译器可以对代码进行优化，以减少指令跳转带来的性能下降。

__builtin_expect((x),1)  // 表示 x 的值为真的可能性更大；
__builtin_expect((x),0)  // 表示 x 的值为假的可能性更大。

也就是说，使用likely()，执行 if 后面的语句的机会更大，使用 unlikely()，执行 else 后面的语句的机会更大。通过这种方式，编译器在编译过程中，会将可能性更大的代码紧跟着起面的代码，从而减少指令跳转带来的性能上的下降。

现代 CPU 内部，都有 cache 这个缓存器件。CPU 的运行速度很高，而外部 RAM 的速度相对来说就低了不少，所以当 CPU 从内存 RAM 读写数据时就会有一定的性能瓶颈。为了提高程序执行效率，CPU 都会通过 cache 这个 CPU 内部缓冲区来缓存一定的指令或数据。CPU 读写内存 RAM 中的数据时，会先到 cache 里面去看看能不能找到。找到的话就直接进行读写；找不到的话，cache 会重新缓存一部分内存数据进来。CPU 读写 cache 的速度远远大于内存 RAM，所以通过这种方式，可以提高系统的性能。

那 cache 如何缓存内存数据呢？简单来说，就是依据空间相近原则。比如 CPU 正在执行一条指令，那么下一个指令周期，CPU 就会大概率执行当前指令的下一条指令。如果此时 cache 将下面几条指令都缓存到 cache 里面，下一个指令周期 CPU 就可以直接到 cache 里取指、翻译、执行，从而使运算效率大大提高。

但有时候也会出现意外。比如程序在执行过程中遇到函数调用、if 分支、goto 跳转等程序结构，会跳到其它地址执行，那么缓存到 cache 中的指令就不是 CPU 要获取的指令。此时，我们就说 cache 没有命中，cache 会重新缓存正确的指令代码给 CPU 读取，这就是 cache 工作的基本流程。

有了这个理论基础，我们在编写程序时，遇到 if/switch 这种选择分支的程序结构，可以将大概率发生的分支写在前面，这样程序运行时，因为大概率发生，所以大部分时间就不需要跳转，程序就相当于一个顺序结构，从而提高 cache 的命中率。内核中已经实现一些相关的宏，如 likely 和 unlikely，用来提醒程序员优化程序。

__builtin_expect作用相关推荐

__builtin_expect用法
__builtin_expect说明 GCC提供了一系列builtin函数,下面对__builtin_expect(EXP, N)函数进行说明. __builtin_expect(EXP, N)说明 ...
__builtin_expect的作用
将流水线引入cpu,可以提高cpu的效率.更简单的说,让cpu可以预先取出下一条指令,减少cpu等待取指令的耗时,从而可以提供cpu的效率. 如果存在跳转指令,那么预先取出的指令就无用了.cpu在执行 ...
__builtin_expect详解
在GTK+2.0源码中有很多这样的宏:G_LIKELY和G_UNLIKELY.比如下面这段代码: if (G_LIKELY (acat == 1)) /* allocate through magaz ...
__builtin_expect提高运行效率
这个指令是gcc引入的,作用是"允许程序员将最有可能执行的分支告诉编译器".这个指令的写法为:__builtin_expect(EXP, N).意思是:EXP==N的概率很大. 给 ...
unlikely 与 likely的作用
unlikely与likely在linux kernel中经常出现. 函数定义: # define likely(x) __builtin_expect(!!(x), 1) # define unli ...
分支预测优化之__builtin_expect
1.引言在很多源码如Linux内核.Glib等,我们都能看到likely()和unlikely()这两个宏,通常这两个宏定义是下面这样的形式. #define likely(x) __builtin ...
《C语言杂记》编译优化之__builtin_expect
最近在研究压缩算法的时候,看到了以下代码: #define LIKELY(c) (__builtin_expect(!!(c), 1)) #define UNLIKELY(c) (__builtin_ ...
likely(x)与unlikely(x)函数，即__builtin_expect的使用
目录 1.引言 2. 函数声明 2.1. 功能描述 2.2. 参数详解 ① exp ② c 2.3. 返回值 2.4. 使用方法 3. RATIONALE(原理) 4. likely()和unlik ...
unlikely和likely函数作用
在linux内核中的判断语句里常见到unlikely和likely函数. 如: if(unlikely(a)) // if(likely(a)) {... } else {... } 两函数实质是__ ...

__builtin_expect作用

__builtin_expect作用

文章目录

引言

cyberRT中对__builtin_expect的封装

__builtin_expect作用

__builtin_expect作用相关推荐

最新文章

热门文章