__builtin_expect分支预测优化

函数：long __builtin_expect (long exp, long c)

• exp：exp 为一个整型表达式, 例如: (ptr != NULL)

• c：c 必须是一个编译期常量, 不能使用变量

• 返回值：返回值等于 第一个参数 exp

glibc源码：

#define __builtin_expect(expr, val) (expr)

#define __plugin_unlikely(cond) __builtin_expect (!!(cond), 0)
#define __plugin_likely(cond) __builtin_expect (!!(cond), 1)

原理：

1. CPU在运行程序时，每次会取多个指令并行处理，如果遇到跳转指令，会重新取指令
2. 在if else里，如果需要运行else的代码，需要jmp指令跳转，在大量次数执行的代码里会降低执行效率
3. __builtin_expect 函数可以进行分支预测，减少jmp指令跳转的次数，优化执行效率

注意：

1. 使用gcc编译，至少使用-O2（在x86上）进行编译
2. 该函数不需要包含头文件

汇编区别：

int x = 0;
if (__builtin_expect(x == 0, 1)) {
    printf("X is zero.\n");
} else {
    printf("X is not zero.\n");
}

使用__builtin_expect汇编：

movl    $0, -4(%rbp)
cmpl    $0, -4(%rbp)
jne     .L2
movl    $.LC0, %edi
call    printf
jmp     .L3
.L2:
movl    $.LC1, %edi
call    printf
.L3:

不使用__builtin_expect汇编：

movl    $0, -4(%rbp)
cmpl    $0, -4(%rbp)
je      .L2
movl    $.LC1, %edi
call    printf
jmp     .L3
.L2:
movl    $.LC0, %edi
call    printf
.L3:

可以看到汇编编排有区别

• 使用__builtin_expect后，预测cmpl为1，使用jne，不跳转
• 不使用__builtin_expect，使用je，跳转.L2