作者：gfree.wind@gmail.com
博客：blog.focus-linux.net ? linuxfocus.blog.chinaunix.net?
博客：blog.focus-linux.net ? linuxfocus.blog.chinaunix.net?
?
本文的copyleft歸gfree.wind@gmail.com所有，使用GPL發布，可以自由拷貝，轉載。但轉載請保持文檔的完整性，注明原作者及原鏈接，嚴禁用于任何商業用途。
======================================================================================================
雖然不是內核工程師，但是也經常使用這兩個宏，不過一直沒有深究。剛才看了Bean_lee評論了一篇關于likely()和unlikely()的文章，于是也過去湊了個熱鬧。
該文章前面沒有什么問題，我也不再重復，但是最后有個錯誤。“另外有一點要注意的是，由于likely定義時用的常量是1，unlikely用的常量是0，這正好符合c/c++語言中bool變量的實際值，而_builtin_expect()函數對exp與c進行嚴格相等的比較的，
因此使用likely和unlikely時，其參數應該只使用邏輯表達式，因為邏輯表達式的值只有0或1。除非真要判斷某個變量的值是1或0時，才會將其它類型的參數傳給likely或unlikely。這一點可能很多人會不小心用錯。”，引自：http://blog.chinaunix.net/space.php?uid=24708340&do=blog&id=3047035
我看到這段文字時，嚇了一跳。我使用likely和unlikely時從來沒注意過參數非得是邏輯表達式的值啊，即0和1。難道都用錯了。。。想了一下，就知道該博主想錯了。
當使用likely和unlikely的時候，參數可以為任何表達式。不是邏輯表達式沒有關系，絕不會有錯。我來解釋一下：
- #define likely(x)?__builtin_expect(!!(x),1)
- #define unlikely(x)?__builtin_expect(!!(x),0)
這是likely和unlikely的定義。看一眼定義，!!(x)這個用法就會讓人覺得奇怪，為什么要!!呢？否定的否定，不就是肯定嗎？干嘛多此一舉呢？這就是一個技巧，學習kernel的時候，可以學到不少類似的技巧。
按照__builtin_expect的定義，要用第一個參數和第二個參數比較，它期望的值是true。第二個值是1。這里的!!(x)就是為了保證當x本身作為邏輯值為true的時候，其!!(x)值為1。舉個簡單的例子：
- if?(likely(5))?{
- ????printf("Hit!\n");
- }
- else?{
- ????printf("Not hit\n");
- }
本身if (5)為true，因為C標準里面規定任何非0的值均為true。Ok，!(5)為0，而!!(5)為1。這就是為啥likely和unlikely要使用!!(x)，就為了其邏輯判斷的值為1或者0。
關于為什么likely和unlikely可以提高程序的performance，我就不獻丑了。給個官方的文獻鏈接：http://kernelnewbies.org/FAQ/LikelyUnlikely
總的來說，它們是對編譯器的一種指示，告訴編譯器哪個分支更有可能發生，來最大的滿足CPU的流水線作業。
