【glibc】浅析 __builtin_expect

大约一年之前看过，今天又看了一遍。总结一下。

对于程序员来说，有时我们是知道if判断之后最有可能会去执行哪个分支的。

对于CPU而言，流水线机制使得CPU会在执行当前指令时，就已经会完成对下一条指令的取指操作。如果下一条已经取出来的指令没有被执行，取指操作就浪费了！如果执行了，就节省了取指令的操作。

为了不让CPU浪费取指操作，我们需要让执行if判断后，下一条指令是最有可能被执行的指令。对应到汇编，就是jmp的下一条指令，最好要被执行。因此诞生了 __builtin_expect指令。

在C语言中，if(a){printf("1");else{printf("0");}}。假设程序员知道a很有可能是True，为了提高效率，就增加 __builtin_expect。写成if( __builtin_expect(!!(x),1))，那么编译器在汇编时会把printf("1");放在jmp语句的下面，这样就节省了效率。

$ cat  buildinexpect.c
#include <stdio.h>

void Amight1(int a){
    if(__builtin_expect(a,1)){
        printf("a is 1\n");
    }
    else{
        printf("a is 0\n");
    }
}

void Amight0(int a){
    if(__builtin_expect(a,0)){
        printf("a is 1");
    }
    else{
        printf("a is 0");
    }
}


int main()
{
    int a;
    a = 1;
    printf("Hello world\n");
    Amight1(a);
    a = 0;
    Amight0(a);
    return 0;
}
           

编译：gcc -fprofile-arcs -O2 -c buildinexpect.c

查看反汇编：objdump -d buildinexpect.o -M intel

最有可能执行的放在jmp语句的后面。

参考：https://blog.csdn.net/shuimuniao/article/details/8017971