linux內(nèi)核中的likely和unlikely
加入技術(shù)交流群
CPU architecture：ARM920T
本文引用地址：http://www.ex-cimer.com/article/201611/320003.htmAuthor：ce123(http://blog.csdn.net/ce123)
GCCversion：arm-linux-gcc-3.4.1
看內(nèi)核時(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);
下面詳細(xì)分析一下。
likely() 與 unlikely()是內(nèi)核中定義的兩個(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)的內(nèi)建函數(shù)，其作用就是幫助編譯器判斷條件跳轉(zhuǎn)的預(yù)期值，避免跳轉(zhuǎn)造成時(shí)間亂費(fèi)，有利于代碼優(yōu)化。查閱GCC手冊(cè)，發(fā)現(xiàn)其定義如下(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.
大致意思是：可以使用。由于大部分程序員在分支預(yù)測(cè)方面做得很糟糕，所以GCC提供了__builtin_expect這個(gè)內(nèi)建函數(shù)，給編譯器提供分支預(yù)測(cè)信息，以幫助程序員處理分支預(yù)測(cè)，優(yōu)化程序。其第一個(gè)參數(shù)EXP為一個(gè)整型表達(dá)式，這個(gè)內(nèi)建函數(shù)的返回值也是這個(gè)EXP，而C為一個(gè)編譯期常量，這個(gè)函數(shù)的語(yǔ)義是：你期望EXP表達(dá)式的值等于常量C，從而GCC為你優(yōu)化程序，將符合這個(gè)條件的分支放在合適的地方。由于該內(nèi)建函數(shù)只提供了整型表達(dá)式，所以如果你要優(yōu)化其他類型的表達(dá)式，可以采用指針的形式。
當(dāng)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
總結(jié)一下：if() 語(yǔ)句照常用， 和以前一樣， 只是 如果你覺(jué)得if()是1 的可能性非常大的時(shí)候， 就在表達(dá)式的外面加一個(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è)函數(shù)編譯生成的匯編語(yǔ)句所使用到的跳轉(zhuǎn)指令不一樣，仔細(xì)分析下會(huì)發(fā)現(xiàn)__builtin_expect實(shí)際上是為了滿足在大多數(shù)情況不執(zhí)行跳轉(zhuǎn)指令，__builtin_expect僅僅是告訴編譯器優(yōu)化，并沒(méi)有改變其對(duì)真值的判斷。宏likely和宏unlikely唯一的作用就是選擇”將if分支還是else分支放在跳轉(zhuǎn)指令之后，從而優(yōu)化程序的執(zhí)行效率”。 因?yàn)閘ikely(EXP)代表?xiàng)l件表達(dá)式EXP很可能成立，而unlikely(EXP)代表?xiàng)l件表達(dá)式EXP很可能不成立，當(dāng)程序員清楚EXP表達(dá)式 多數(shù)情況成立(不成立)時(shí)，就可使用likely(unlikely)，使if分支(else分支)緊跟跳轉(zhuǎn)指令其后，從而在大多數(shù)情況下不用執(zhí)行跳轉(zhuǎn)指令，避開跳轉(zhuǎn)指令所帶來(lái)的開銷，從而達(dá)到優(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。
評(píng)論