1、正文部分

1先說幾句

前些日子bug交流群里的小哥調試了一個堆棧溢出的bug，動不動數據就被篡改了，應該也是搞得焦頭爛額，頭皮發麻！當時bug菌看了下，于是拋出了自己的一些調試經驗，一般這樣的問題80%是越界和堆棧溢出造成的，沒想到還真是堆棧溢出。

所以對于一些問題的處理不僅僅是經驗的積累，還需要多多交流！堆棧溢出問題bug菌和他算是“老朋友”了，所以非常想讓相關文章跟大家見面，沒想到這幾天事情頗多，每天回家都沒有太多的精力去更文，但是作為一名有態度的號主還是要堅持為大家帶來點東西！

2理一理堆棧溢出

1堆棧名稱

認識堆棧溢出首先我們要知道什么是" 堆棧 " ? 堆棧從名字上理解似乎是堆和棧的結合，而我們在數據結構中知道堆和棧是兩種不同的數據結構，但這里的堆棧指的僅僅是棧，從英文名我們就可以知道 : 堆棧(stack)和堆(heap) , 至于把stack叫做堆棧是有一定的歷史和翻譯原因的，bug菌就不追溯了。 對于棧，在bug菌的往期文章中也有提及，其實就是一種先進后出的數據結構；而在CPU層面有著堆棧寄存器，push和pop堆棧操作指令等等都是用于操作棧區的。 在C語言環境中棧是為了保存現場的信息，當程序需要執行函數調用，任務切換等等都會把相應的數據push到棧中，一旦回到原來函數和任務又會pop彈出之前的數據繼續往下執行。 但棧是有具體大小的，一旦入棧的數據過多，就會導致罪惡的"堆棧溢出"問題。

2圖解堆棧溢出

來我們首先看一個函數:

voidRecvData(void);
{
intCnt;
intBuff[6];
......
dosomething...
}

這樣的代碼打死我也不敢相信會有什么大問題，然而一名經驗老道、飽經bug洗禮的嵌入式程序員會自然而然的考慮是否有堆棧溢出的風險，如下圖所示:

上圖就不區分堆棧增長方向了，僅僅只是表述堆棧溢出現象，由于SP_end以外的內容未知，一般都由編譯器分配決定，如果編譯器把重要數據分配到此區域，一旦程序訪問到Buff[3]往下的數據便會導致數據篡改，從而程序發生一些奇怪的行為，甚至奔潰。

那么很多朋友就會想，直接給這個任務或者系統分配一個1024或者4096個字節的堆棧，這總不會造成堆棧溢出了吧！我只想說："你太秀了！"。

3如何分配堆棧空間大小

1堆棧內容

盲目的分配過大的堆棧空間，無非就是對資源的浪費。如果你的項目能夠讓你這樣任性，那你們產品成本估算就真是個形式。所以合理的分配堆棧大小是非常重要的，首先我們得看看堆棧中主要放些什么 ?

局部變量的分配。

函數調用嵌套的返回地址等等數據的push，這個需要根據具體的CPU進行函數調用約定來進行分析。

函數的參數，因為有時候編譯器為了增加執行效率會把相關參數放在寄存器中傳遞，但是畢竟這樣的寄存器有限，過多的參數還是會通過堆棧來傳遞。

當我們觸發中斷CPU一般會自動把相應的信息壓入堆棧中，從而保存中斷現場。

對于RTOS進行任務切換、中斷等過程中一般系統僅自動保存了部分寄存器等信息，而為了全面的保存好現場，還需要手動的壓入一些其他的信息，比如stm32中的FPU相關寄存器信息等。

2計算最大堆棧空間難題

有了前面堆棧中放了些啥的分析，要確定堆棧的空間大小自然而然的就會想到把一個個加起來算堆棧最大暫用情況，算出該值以后預留一定的空間就再合適不過了。

現在對于比較強大的IDE，比如keil和IAR，都可以提供計算堆棧占用最大的情況，而對于我們采用函數指針這樣的間接調用函數的方式或者是C嵌入式匯編等等，那IDE也無能為力。

更加可怕的是使用printf這種可變參數的函數，其堆棧的占用情況是根據參數的多少而動態變化的，其并不那么容易確定。

當然還有最讓bug菌難以忘記的情況 : 遞歸 , 遞歸就是反復的函數調用，那么一系列的返回現場數據都會壓入棧中，堆棧占用情況也是未知的，所以在嵌入式中使用遞歸一定要限制遞歸的深度，防止堆棧溢出。

4確定堆棧大小的好辦法

既然正面計算堆棧占用最糟糕的情形如此麻煩，那我們從側面出擊，那就是我們常用的檢測堆棧使用峰值法，實時的采集和輸出堆棧的使用信息，我們根據堆棧的最大值*1.5倍的樣子，基本上就可以把堆棧大小確定下來。

像目前的RTOS(如ucos、freertos等)都提供了對應的堆棧信息輸出API，比如ucos中的OSTaskStkChk函數 :

typedefstructos_stk_data
{
INT32UOSFree;/*Numberoffreeentriesonthestack*/
INT32UOSUsed;/*Numberofentriesusedonthestack*/
}OS_STK_DATA;
......
INT8UOSTaskStkChk(
INT8Uprio,
OS_STK_DATA*p_stk_data
);

通過調用該函數獲得已經使用的和沒有使用的堆棧大小，便可以獲得堆棧的使用情況，如:

堆棧占用率 = (OSUsed/(OSUsed + OSFree)) * 100%

從而可以將該參數輸出作為我們評估每個任務分配的堆棧是否合適，當然你需要讓程序運行足夠長的時間和盡量多的情況，從而獲得最差的情況，再考慮預留>20%的空間，最終重新調整每個堆棧大小到合適狀態。

版權聲明：本文來源公眾號最后一個bug

審核編輯：湯梓紅