01、編譯選項和內(nèi)核編譯
Linux內(nèi)核（英語：linux kernel），是一種計算機操作系統(tǒng)內(nèi)核，已C語言和匯編語言寫成，匹配POSIX標準，以GNU通用公共許可證發(fā)布。從技術上說Linux只是一個內(nèi)核。“內(nèi)核”指的是一個提供硬件抽象層、磁盤及文件控制、多任務等功能的系統(tǒng)軟件。
所以首先我們都知道,Linux內(nèi)核如果用O0編譯，是無法編譯過的，Linux的內(nèi)核編譯，要么是O2，要么是Os，這點從Linux的Makefile里面可以看出：
當選擇了
CONFIG_CC_OPTIMIZE_FOR_SIZE
它會是Os，否則就是O2。
其實O2和Os，都是一些優(yōu)化選項的集合：
gcc -c -Q -O2 --help=optimizers > /tmp/O2-opts
gcc -c -Q -Os --help=optimizers > /tmp/Os-opts
前者傾向于基于速度的優(yōu)化，后者傾向于基于size更小的優(yōu)化。對比二者的開關選項：
meld /tmp/O2-opts /tmp/Os-opts
發(fā)現(xiàn)差異小的可憐：
O2和Os都使能了inline small函數(shù)和called once的函數(shù)，但是O2里面-finline-functions是關閉的,而Os里面是開的。O2里面optimize-strlen是開的，Os里面這個選項是關閉的。相關選項的含義可以通過"man gcc"看出（有問題，找男人），譬如man gcc后檢索inline-functions：
從O0到O1，O2，O3，是一個開啟的優(yōu)化選項逐步加大的過程：
kernel用O0編譯不過，是因為kernel本身也沒有想用O0能夠編譯過，它的設計里面包含了編譯會優(yōu)化的假想。下面我們用一個簡單的例子來說明。
02、一個簡單的例子
下面的代碼：
O0編譯會報如下錯，說f()函數(shù)沒有定義：
$ gcc -O0 cc.c
cc.c:1:13: warning: ‘f' used but never defined [enabled by default]
void f(void);
^
/tmp/ccTwwtHG.o: In function `main':
cc.c:(.text+0x19): undefined reference to `f'
collect2: error: ld returned 1 exit status
但是用O2編譯，則沒有問題：
原因在于，O2編譯，它意識到a==1，所以if(a>2)，它不會成立，所以f()沒有定義也沒有關系。
把代碼稍微改一下后：
O2這個時候也不行了：
$ gcc -O2 cc.c
/tmp/ccXiyBHn.o: In function `main':
cc.c:(.text.startup+0x7): undefined reference to `f'
collect2: error: ld returned 1 exit status
所以，通過這個例子，大家可以看出來為什么同樣的代碼，用O2就可以過，用O0就過不了。內(nèi)核里面有許多類似設想編譯器會進行優(yōu)化的代碼。
3.我們不想inline了
由于編譯的優(yōu)化，有些函數(shù)(比如小函數(shù)和全工程里面只被一個人調(diào)用的函數(shù))雖然沒有顯示地寫成inline，但是編譯器優(yōu)化為inline了，這給調(diào)試造成了一些麻煩，因為找不到這個函數(shù)對應的symbol了。
這個時候，我們可以顯示地寫明某些函數(shù)我們不想inline:
否則，上面2個函數(shù)，即便你代碼里面沒有寫inline，由于O2和Os使能了相關的inline選項，也可能被編譯器自動inline掉，如果我們想拒絕inline，可以通過noline來標識。
4.我不想被優(yōu)化
在全局已經(jīng)使能O1， O2， O3， Os的情況下，某個單獨的函數(shù)我們不想做任何的優(yōu)化，可以用__attribute__((optimize("O0")))來修飾這個函數(shù)，比如我們把上述用O2可以編譯過的代碼進行如下修改：
重新用O2編譯：
$ gcc -O2 cc.c
/tmp/cc8M338p.o: In function `main':
cc.c:(.text+0x19): undefined reference to `f'
collect2: error: ld returned 1 exit status
5. 總結(jié)的話
下面給幾條實踐指南：
- 盡量不要嘗試用O0去編譯內(nèi)核，這不符合真實的工程實踐，也不太被主流Linux社區(qū)所支持；內(nèi)核依賴O2/Os去做較多的優(yōu)化；
- 追求你的代碼在O2的情況下，仍然是正確的，代碼要經(jīng)得起編譯優(yōu)化；比如O0工作正常，而O2不正常，應該盡可能從自身找原因，分析匯編；
- 如果在全局優(yōu)化的情況下，想針對某個局部避免優(yōu)化，可以嘗試用noinline，__attribute__((optimize("O0")))等進行外科手術式地調(diào)整。
總結(jié)
以上就是這篇文章的全部內(nèi)容了，希望本文的內(nèi)容對大家的學習或者工作具有一定的參考學習價值，如果有疑問大家可以留言交流，謝謝大家對腳本之家的支持。
