轉(zhuǎn)自http://blog.csdn.net/rstevens/archive/2007/09/24/1798561.aspx
在 2.6 內(nèi)核中，隨處可以見到 likely() 和 unlikely() 的身影，那么為什么要用它們？它們之間有什么區(qū)別？
首先要明確：
if(likely(value)) 等價于 if(value)
if(unlikely(value)) 也等價于 if(value)
也就是說 likely() 和 unlikely() 從閱讀和理解代碼的角度來看，是一樣的?。?！
這兩個宏在內(nèi)核中定義如下：
#define likely(x) __builtin_expect((x),1)
#define unlikely(x) __builtin_expect((x),0)
__builtin_expect() 是 GCC (version >= 2.96）提供給程序員使用的，目的是將“分支轉(zhuǎn)移”的信息提供給編譯器，這樣編譯器可以對代碼進(jìn)行優(yōu)化，
以減少指令跳轉(zhuǎn)帶來的性能下降。__builtin_expect((x),1) 表示 x 的值為真的可能性更大；
__builtin_expect((x),0) 表示 x 的值為假的可能性更大。
也就是說，使用 likely() ，執(zhí)行 if 后面的語句 的機(jī)會更大，使用unlikely()，執(zhí)行else 后面的語句的機(jī)會更大。
例如下面這段代碼，作者就認(rèn)為 prev 不等于 next 的可能性更大，
if (likely(prev != next)) {
next->timestamp = now;
...
} else {
...;
}
通過這種方式，編譯器在編譯過程中，會將可能性更大的代碼緊跟著起面的代碼，從而減少指令跳轉(zhuǎn)帶來的性能上的下降。
下面以兩個例子來加深這種理解：
第一個例子： example1.c
int testfun(int x)
{
if(__builtin_expect(x, 0)) {
^^^--- We instruct the compiler, "else" block is more probable
x = 5;
x = x * x;
} else {
x = 6;
}
return x;
}
在這個例子中，我們認(rèn)為 x 為0的可能性更大
編譯以后，通過 objdump 來觀察匯編指令，在我的 2.4 內(nèi)核機(jī)器上，結(jié)果如下：
# gcc -O2 -c example1.c
# objdump -d example1.o
Disassembly of section .text:
00000000 <testfun>:
0: 55 push %ebp
1: 89 e5 mov %esp,%ebp
3: 8b 45 08 mov 0x8(%ebp),%eax
6: 85 c0 test %eax,%eax
8: 75 07 jne 11 <testfun+0x11>
a: b8 06 00 00 00 mov $0x6,%eax
f: c9 leave
10: c3 ret
11: b8 19 00 00 00 mov $0x19,%eax
16: eb f7 jmp f <testfun+0xf>
可以看到，編譯器使用的是 jne （不相等跳轉(zhuǎn)）指令，并且 else block 中的代碼緊跟在后面。
8: 75 07 jne 11 <testfun+0x11>
a: b8 06 00 00 00 mov $0x6,%eax
第二個例子： example2.c
int testfun(int x)
{
if(__builtin_expect(x, 1)) {
^^^ --- We instruct the compiler, "if" block is more probable
x = 5;
x = x * x;
} else {
x = 6;
}
return x;
}
在這個例子中，我們認(rèn)為 x 不為 0 的可能性更大
編譯以后，通過 objdump 來觀察匯編指令，在我的 2.4 內(nèi)核機(jī)器上，結(jié)果如下：
# gcc -O2 -c example2.c
# objdump -d example2.o
Disassembly of section .text:
00000000 <testfun>:
0: 55 push %ebp
1: 89 e5 mov %esp,%ebp
3: 8b 45 08 mov 0x8(%ebp),%eax
6: 85 c0 test %eax,%eax
8: 74 07 je 11 <testfun+0x11>
a: b8 19 00 00 00 mov $0x19,%eax
f: c9 leave
10: c3 ret
11: b8 06 00 00 00 mov $0x6,%eax
16: eb f7 jmp f <testfun+0xf>
這次編譯器使用的是 je （相等跳轉(zhuǎn)）指令，并且 if block 中的代碼緊跟在后面。
8: 74 07 je 11 <testfun+0x11>
a: b8 19 00 00 00 mov $0x19,%eax