likely\unlikely\__builtin_expect

注：Linux内核版本2.6.36

在查看kernel\sched.c中内联函数rt_policy时，遇到了unlikely，如下：

static inline int rt_policy(int policy)
{
 if (unlikely(policy == SCHED_FIFO || policy == SCHED_RR))
  return 1;
 return 0;
}

追踪unlikely，在include\linux\compiler.h中找到原型，遇到了__builtin_expect，如下：

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

追踪__builtin_expect，没有找到原型，百度后，明白其作用：【下面__builtin_expect讲解摘抄于：likely() && unlikely() && __builtin_expect((x), 1)http://blog.csdn.net/joker0910/article/details/6670436】

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

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

综合可知，likely(x)表明x为非0值的可能性比较大，unlikely(x)为0值的可能性比较大。由于在系统中，大部分进程均为普通进程，使用的调度策略为SCHED_NORMAL策略，只有实时进程才使用SCHED_FIFO或者SCHED_RR策略，因而从平均水平上看，执行rt_policy()函数时，遇到条件为假的情况比条件为真的概率要大，即条件取0的概率大，因此rt_policy()函数使用unlikely()而不是likely()。

另，!为逻辑非运算符，非0值得逻辑非为0,0值的逻辑非为1，因此!!x的值为1或者0。