Linux 核心源碼中likely()和unlikely()

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

首先明確：

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

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

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

這兩個宏在核心中定義如下：

1. <linux/compiler>
   
2. 
   
3. #define likely(x) __builtin_expect(!!(x), 1)
   
4. 
   
5. #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後面的語句機會更大一些。通過這種

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

比如 ：

1. if (likely(a>b)) {
   
2. 
   
3. fun1();
   
4. 
   
5. }

複製代碼

這裡就是程式員可以確定 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的命中率，提高系統

執行速度。