likely() && unlikely() && __builtin_expect((x), 1

在Linux2.6內核中，看到一對奇怪的函數，likely(), unlikely()。

追蹤回去，發現實際上是一對宏，以下實現：

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

查了一下是這樣說的：

例如：

if( likely(val))  
if( unlikely (val))

他們都等於if(val)，也就是在理解上來講，是等價的。那麼爲何要這樣用呢？

__builtin_expect() 是 GCC (version >= 2.96)提供給程序員使用的，目的是將「分支轉移」的信息提供給編譯器，這樣編譯器能夠對代碼進行優化，以減小指令跳轉帶來的性能降低。

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

也就是說，使用 likely() ，執行 if 後面的語句 的機會更大，使用unlikely()，執行else 後面的語句的機會更大。
例以下面這段代碼，做者就認爲 prev 不等於 next 的可能性更大，

if (likely(prev != next)) {
       next->timestamp = now;
        ...
} else {
        ...;
 }

經過這種方式，編譯器在編譯過程當中，會將可能性更大的代碼緊跟着起面的代碼，從而減小指令跳轉帶來的性能上的降低。

還有一個有趣的例子

__builtin_expect(!!(x), 1)

這個是說，若是x == 0，那麼結果就是 0，若是x == 1， 那麼結果就是1，使用了！！是爲了讓x轉化成bool型的。