供编译器进行分支预测，是的编译器对代码进行优化，减少指令跳转代

GCC提供内建函数之 __builtin_expect

分支预测，目的是将“分支转移”的信息提供给编译器，这样编译器可以对代码进行优化，以减少指令跳转带来的性能下降。

这个指令是gcc引入的，作用是允许程序员将最有可能执行的分支告诉编译器。这个指令的写法为：__builtin_expect(EXP, N)。
意思是：EXP==N 的概率很大。

一般的使用方法是将 __builtin_expect 指令封装为 likely 和 unlikely 宏。这两个宏的写法如下：

#define likely(x)   __builtin_expect(!!(x), 1) //x 很可能为真       
#define unlikely(x) __builtin_expect(!!(x), 0) //x 很可能为假

内核中的 likely() 与 unlikely()

首先要明确：

if(likely(value))  //等价于 if(value)
if(unlikely(value))  //也等价于 if(value)

__builtin_expect() 是 GCC (version >= 2.96）提供给程序员使用的，目的是将“分支转移”的信息提供给编译器，这样编译器可以对代码进行优化，以减少指令跳转带来的性能下降。
__builtin_expect( !!(x), 1) 表示 x 的值为真的可能性更大；
__builtin_expect( !!(x), 0) 表示 x 的值为假的可能性更大。
也就是说，使用likely()，执行 if 后面的语句的机会更大，使用 unlikely()，执行 else 后面的语句的机会更大。通过这种方式，编译器在编译过程中，会将可能性更大的代码紧跟着起面的代码，从而减少指令跳转带来的性能上的下降。

例子

int x, y;
 if(unlikely(x > 0))
    y = 1; 
else 
    y = -1;

上面的代码中 gcc 编译的指令会预先读取 y = -1 这条指令，这适合 x 的值大于 0 的概率比较小的情况。如果 x 的值在大部分情况下是大于 0 的，就应该用 likely(x > 0)，这样编译出的指令是预先读取 y = 1 这条指令了。这样系统在运行时就会减少重新取指了。

libeio中的定义就好理解了

#if ECB_GCC_VERSION(3,1) || ECB_CLANG_BUILTIN(__builtin_expect)
  #define ecb_expect(expr,value)         __builtin_expect ((expr),(value))
#else
  #define ecb_expect(expr,value)         (expr)
#endif
/* put around conditional expressions if you are very sure that the  */
/* expression is mostly true or mostly false. note that these return */
/* booleans, not the expression.                                     */
#define ecb_expect_false(expr) ecb_expect (!!(expr), 0)
#define ecb_expect_true(expr)  ecb_expect (!!(expr), 1)
/* for compatibility to the rest of the world */
#define ecb_likely(expr)   ecb_expect_true  (expr)
#define ecb_unlikely(expr) ecb_expect_false (expr)

如果 gcc 版本是 3.1 或者 是使用 clang 编译器 ，那么定义宏:
ecb_expect(expr,value) __builtin_expect ((expr),(value))
不是的话， ecb_expect(expr,value) 宏就是表达式。

所以 宏ecb_expect_false 表示 表达式为假的可能性更大，宏 ecb_expect_true 表达式为真的可能性更大。

参考：

作者：大明白
链接：https://www.jianshu.com/p/2684613a300f
来源：简书
简书著作权归作者所有，任何形式的转载都请联系作者获得授权并注明出处。