Linux 內核源碼中likely()和unlikely()釋疑

ikely()與unlikely()在2.6內核中，隨處可見，那爲何要用它們？它們之間有什麼區別呢？

首先明確：

 if (likely(value))等價於if (value)
if (likely(a>b)) {
fun1();

 if (unlikely(value))等價於if (value)

也就是說likely()和unlikely()從閱讀和理解的角度是同樣的。

這兩個宏在內核中定義以下：

<linux/compiler>

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

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

這裏的__built_expect()函數是gcc(version >= 2.96)的內建函數,提供給程序員使用的，目的是將"分支轉移"的信

息提供給編譯器，這樣編譯器對代碼進行優化，以減小指令跳轉帶來的性能降低。

__buildin_expect((x), 1)表示x的值爲真的可能性更大。

__buildin_expect((x), 0)表示x的值爲假的可能性更大。

也就是說，使用likely(),執行if後面的語句的機會更大，使用unlikely(),執行else後面的語句機會更大一些。經過這種

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

好比 ：

if (likely(a>b)) {

fun1();

}

這裏就是程序員能夠肯定 a>b 在程序執行流程中出現的可能相比較大，所以運用了likely()告訴編譯器將fun1()函數

的二進制代碼緊跟在前面程序的後面，這樣就cache在預取數據時就能夠將fun1()函數的二進制代碼拿到cache中。

這樣，也就添加了cache的命中率。

一樣的，unlikely()的做用就是告訴編譯器，a<b 的可能性很小因此這裏在編譯時，將fun2()的二進制代碼儘可能

不要和前邊的編譯在一塊。我們不用對likely和unlikely感到迷惑，需要知曉的就是 if(likely(a>b)) 和 if(a>b)在功能

上是等價的，一樣 if(unlikely(a<b)) 和 if(a<b) 的功能也是同樣的。不同的只是他們聲稱的二進制代碼有所不一

樣，這一點我們也能夠從他們的彙編代碼中看到。總之，likely和unlikely的功能就是添加 cache的命中率，提升系統

執行速度。