1 前言

我們平時做項目的時候，隨著代碼量的增加，工程變得更加臃腫，但是實際上可能只使用到其中一部分函數，與此同時，還有一部分是已經定義但是沒有被使用的函數，雖然我們不使用這些功能和函數，但它們往往會浪費我們的ROM和RAM的空間。

或者在使用靜態庫的時候，這種現象更加明顯。比如，我們只需要使用靜態庫中的幾個功能，但是編譯器默認會把整個靜態庫全部鏈接到可執行程序中，從而導致可執行程序的大小大大增加。

那該如何避免這種情況呢？大部分工作交給編譯器，我們只要告訴編譯器不要把這些程序編譯到可執行文件中即可。下面會繼續解釋。

2 ELF格式

ELF（Executable and Linkable Format）是可執行和可鏈接格式。在Linux上ELF包括了鏈接過程中的目標文件（.o），共享庫（.so）和可執行文件，同時還用于可加載的內核模塊，因此作為鏈接過程中的目標文件也是通過ELF格式的文件來表示的；

ELF的結構至少包含兩個頭：

ELF頭

程序頭

通常還會有一個節標頭；

具體如下圖所示；

從圖中我們可以看到，這里可以分為兩種情況；

Linking：鏈接是按節劃分的，在鏈接程序或庫時會這樣使用，這些部分包含一些目標文件信息，例如：數據，指令，重定位信息，符號，調試信息等等；

Exection：程序執行期間使用按段劃分的執行視圖。

下面是ELF格式文件的詳細布局圖；

3 編譯器

通常在做ARM開發的時候會使用ARMCC和GCC，可以參考相應編譯器的手冊，使用相應的編譯命令就可以實現對程序的優化。

3.1 ARMCC

在ARMCC中，編譯器通常將函數和數據放在一起，并且將每一個類別規整到同一個section中，如果在鏈接的時候發現某個section沒有被使用，那么就會將這個section刪除，從而減少可執行文件的大小。

可以使用--split_sections編譯器命令行選項來指示編譯器為源文件中的每個函數生成一個ELF節，這樣在鏈接的時候可以通過--remove命令讓鏈接器刪除未使用的section。

3.2 GCC

GCC在編譯時可以使用 -ffunction-sections和 -fdata-sections 將每個函數或符號創建為一個section；鏈接階段的時候，使用 -Wl，–gc-sections 來告訴鏈接器刪除不需要的section（其中-Wl, 表示后面的參數 -gc-sections 傳遞給鏈接器），這樣就能減少最終的可執行程序的大小了。

4 IDE

通常我們使用IDE的過程中，它已經幫我們做好了很多工作，比如上面提到的編譯器命令需要我們自己手動寫到Makefile中，但是在IDE只需要勾選相應的選項即可；

4.1 MDK的設置

MDK中使用的是ARMCC編譯器，以STM32為例，純凈的HAL編譯之后的結果如下圖所示；

在工程的Opentios下勾選One ELF Section per Function，發現在編譯器命令自動追加了--splot_sections；

最終編譯的結果如下，發現最終固件變小了很多；

4.2 CubeIDE

CubeIDE中使用的是arm-none-eabi-gcc，相同的代碼與上面的基本相同，創建CubeIDE的工程，編譯之后如下圖所示；

同樣在項目的屬性設置中，增加--ffunction-sections選項和-fdata-sections選項之后，構建項目；

最終結果如下所示，發現固件的大小減小很多；

5 結論

本文對于如何刪除編譯過程中未使用的section做了簡單的介紹，從ELF文件格式的角度出發，介紹了編譯器ARMCC和GCC相應的命令以及MDK，CubeIDE中的相應配置，最終實驗表明可以減少程序大小，另外編譯器的優化等級-O1，-O2，-O3也可以優化程序的大小以及執行時間，但是由于存在太多不可控性，不太建議開編譯器的優化等級。

責任編輯：lq