linux內核中的likely和unlikely
加入技術(shù)交流群
CPU architecture：ARM920T
本文引用地址：http://dyxdggzs.com/article/201611/320003.htmAuthor：ce123(http://blog.csdn.net/ce123)
GCCversion：arm-linux-gcc-3.4.1
看內核時(shí)經(jīng)常遇到if(likely( )){}或是if(unlikely( ))這樣的語(yǔ)句，不甚了解，例如(選自kernel/fork.c中copy_process)：
- SET_LINKS(p);
- if(unlikely(p->ptrace&PT_PTRACED))
- __ptrace_link(p,current->parent);
下面詳細分析一下。
likely() 與 unlikely()是內核中定義的兩個(gè)宏。位于/include/linux/compiler.h中，具體定義如下：
- #definelikely(x)__builtin_expect(!!(x),1)
- #defineunlikely(x)__builtin_expect(!!(x),0)
__builtin_expect是GCC(version>=2.9)引進(jìn)的內建函數，其作用就是幫助編譯器判斷條件跳轉的預期值，避免跳轉造成時(shí)間亂費，有利于代碼優(yōu)化。查閱GCC手冊，發(fā)現其定義如下(http://gcc.gnu.org/onlinedocs/gcc/Other-Builtins.html)：
-- Built-in Function: long __builtin_expect (long EXP, long C)
You may use `__builtin_expect to provide the compiler with branch
prediction information. In general, you should prefer to use
actual profile feedback for this (`-fprofile-arcs), as
programmers are notoriously bad at predicting how their programs
actually perform. However, there are applications in which this
data is hard to collect.
The return value is the value of EXP, which should be an integral
expression. The value of C must be a compile-time constant. The
semantics of the built-in are that it is expected that EXP == C.
For example:
if (__builtin_expect (x, 0))
foo ();
would indicate that we do not expect to call `foo, since we
expect `x to be zero. Since you are limited to integral
expressions for EXP, you should use constructions such as
if (__builtin_expect (ptr != NULL, 1))
error ();
when testing pointer or floating-point values.
大致意思是：可以使用。由于大部分程序員在分支預測方面做得很糟糕，所以GCC提供了__builtin_expect這個(gè)內建函數，給編譯器提供分支預測信息，以幫助程序員處理分支預測，優(yōu)化程序。其第一個(gè)參數EXP為一個(gè)整型表達式，這個(gè)內建函數的返回值也是這個(gè)EXP，而C為一個(gè)編譯期常量，這個(gè)函數的語(yǔ)義是：你期望EXP表達式的值等于常量C，從而GCC為你優(yōu)化程序，將符合這個(gè)條件的分支放在合適的地方。由于該內建函數只提供了整型表達式，所以如果你要優(yōu)化其他類(lèi)型的表達式，可以采用指針的形式。
當GCC的版本較低時(shí)(_GNUC_MINOR__ < 96)，__builtin_expect直接返回EXP。下面的代碼摘自/include/linux/compiler-gcc2.h。
- /*ThesedefinitionsareforGCCv2.x.*/
- /*SomewhereinthemiddleoftheGCC2.96developmentcycle,weimplemented
- amechanismbywhichtheusercanannotatelikelybranchdirectionsand
- expecttheblockstobereorderedappropriately.Define__builtin_expect
- tonothingforearliercompilers.*/
- #include
- #if__GNUC_MINOR__<96
- #define__builtin_expect(x,expected_value)(x)
- #endif
總結一下：if() 語(yǔ)句照常用， 和以前一樣， 只是 如果你覺(jué)得if()是1 的可能性非常大的時(shí)候， 就在表達式的外面加一個(gè)likely()，如果可能性非常小(比如幾率非常小)，就用unlikely()包裹上。下面我們看一個(gè)例子。
- //test_builtin_expect.c
- #definelikely(x)__builtin_expect(!!(x),1)
- #defineunlikely(x)__builtin_expect(!!(x),0)
- inttest_likely(intx)
- {
- if(likely(x))
- x=5;
- else
- x=6;
- returnx;
- }
- inttest_unlikely(intx)
- {
- if(unlikely(x))
- x=5;
- else
- x=6;
- returnx;
- }
root@czu:~/桌面/socket# arm-linux-gcc -fprofile-arcs -O2 -c test.c
root@czu:~/桌面/socket# arm-linux-gcc -fprofile-arcs -O2 -o test test.croot@czu:~/桌面/socket# arm-linux-objdump -D test > test.dis
- 000088cc
: - 88cc:e3500000cmpr0,#0;0x0
- 88d0:e92d4010stmdbsp!,{r4,lr}
- 88d4:e59fc044ldrip,[pc,#68];8920<.text+0x148>
- 88d8:e59fe044ldrlr,[pc,#68];8924<.text+0x14c>
- 88dc:e3a00005movr0,#5;0x5
- 88e0:0a000006beq8900
- 88e4:e89c0018ldmiaip,{r3,r4}
- 88e8:e3a02000movr2,#0;0x0
- 88ec:e3a01001movr1,#1;0x1
- 88f0:e0933001addsr3,r3,r1
- 88f4:e0a44002adcr4,r4,r2
- 88f8:e88c0018stmiaip,{r3,r4}
- 88fc:e8bd8010ldmiasp!,{r4,pc}
- 8900:e89e0006ldmialr,{r1,r2}
- 8904:e3a04000movr4,#0;0x0
- 8908:e3a03001movr3,#1;0x1
- 890c:e0911003addsr1,r1,r3
- 8910:e0a22004adcr2,r2,r4
- 8914:e3a00006movr0,#6;0x6
- 8918:e88e0006stmialr,{r1,r2}
- 891c:e8bd8010ldmiasp!,{r4,pc}
- 8920:000121e0andeqr2,r1,r0,ror#3
- 8924:000121e8andeqr2,r1,r8,ror#3
- 00008928
: - 8928:e3500000cmpr0,#0;0x0
- 892c:e92d4010stmdbsp!,{r4,lr}
- 8930:e59fc044ldrip,[pc,#68];897c<.text+0x1a4>
- 8934:e59fe044ldrlr,[pc,#68];8980<.text+0x1a8>
- 8938:e3a00005movr0,#5;0x5
- 893c:1a000007bne8960
- 8940:e89c0018ldmiaip,{r3,r4}
- 8944:e3a02000movr2,#0;0x0
- 8948:e3a01001movr1,#1;0x1
- 894c:e0933001addsr3,r3,r1
- 8950:e0a44002adcr4,r4,r2
- 8954:e3a00006movr0,#6;0x6
- 8958:e88c0018stmiaip,{r3,r4}
- 895c:e8bd8010ldmiasp!,{r4,pc}
- 8960:e89e0006ldmialr,{r1,r2}
- 8964:e3a04000movr4,#0;0x0
- 8968:e3a03001movr3,#1;0x1
- 896c:e0911003addsr1,r1,r3
- 8970:e0a22004adcr2,r2,r4
- 8974:e88e0006stmialr,{r1,r2}
- 8978:e8bd8010ldmiasp!,{r4,pc}
- 897c:000121f8streqdr2,[r1],-r8
- 8980:000121f0streqdr2,[r1],-r0
- //test_builtin_expect.c
- inttest_likely(intx)
- {
- if(x)
- x=5;
- else
- x=6;
- returnx;
- }
- inttest_unlikely(intx)
- {
- if(x)
- x=5;
- else
- x=6;
- returnx;
- }
- 00008460
: - 8460:e3500000cmpr0,#0;0x0
- 8464:03a00006moveqr0,#6;0x6
- 8468:13a00005movner0,#5;0x5
- 846c:e1a0f00emovpc,lr
- 00008470
: - 8470:e3500000cmpr0,#0;0x0
- 8474:03a00006moveqr0,#6;0x6
- 8478:13a00005movner0,#5;0x5
- 847c:e1a0f00emovpc,lr
如上述例子分析所示，兩個(gè)函數編譯生成的匯編語(yǔ)句所使用到的跳轉指令不一樣，仔細分析下會(huì )發(fā)現__builtin_expect實(shí)際上是為了滿(mǎn)足在大多數情況不執行跳轉指令，__builtin_expect僅僅是告訴編譯器優(yōu)化，并沒(méi)有改變其對真值的判斷。宏likely和宏unlikely唯一的作用就是選擇”將if分支還是else分支放在跳轉指令之后，從而優(yōu)化程序的執行效率”。 因為likely(EXP)代表條件表達式EXP很可能成立，而unlikely(EXP)代表條件表達式EXP很可能不成立，當程序員清楚EXP表達式 多數情況成立(不成立)時(shí)，就可使用likely(unlikely)，使if分支(else分支)緊跟跳轉指令其后，從而在大多數情況下不用執行跳轉指令，避開(kāi)跳轉指令所帶來(lái)的開(kāi)銷(xiāo)，從而達到優(yōu)化的目的。
還有一點(diǎn)需要注意的是，在生成匯編時(shí)用的是arm-linux-gcc -fprofile-arcs -O2 -c test_builtin_expect.c，而不是arm-linux-gcc-O2 -c test_builtin_expect.c。
評論