Welkin小窩

likely() and unlikely() macro in Linux kernel Linux核心原始碼，經常出現兩個巨集：likely() and unlikely()，如下所示: #define likely(x) __builtin_expect(!!(x), 1) #define unlikely(x) __builtin_expect(!!(x), 0) 重點就是__builtin_expect這個函式的意義。此函式用來告訴編譯器，哪些程式區段可做預測。 底下為__builtin_expect的原型: long __builtin_expect(long EXP, long C) 此函式__builtin_expect有兩大重點: __builtin_expect的回傳值即EXP這個判斷式。 __builtin_expect語意上，是期待(EXP == C)。 例子一: if (__builtin_expect(x, 1)) do_something(); 此敘述告知編譯器，x變數期待是1 (上述重點2), 且由於x=1, 所以__builtin_expect回傳值便是1(上述重點1)，因此編譯器可以大膽預測do_something()一定會被執行到。因此便能將處理器的管線(Pipe Line)功能發揮的淋漓盡致。 例子二: if (__builtin_expect(x, 0)) do_something1(); else do_something2(); 此敘述告知編譯器，x變數期待是0 (上述重點2), 且由於x=0, 所以__builtin_expect回傳值便是0(上述重點1)，因此編譯器可以大膽預測do_something2()一定會被執行到，而不是預測執行do_something1()。 總結likely()與unlikely()巨集: if(likely(x)) { 預測想要執行的原始碼 } else { } if(unlikely(x)) { } else { 預測想要執行的原始碼 }