Keil C51里關(guān)于堆棧指針的處理
加入技術(shù)交流群
但，今天發(fā)生的事情證明我錯(cuò)了。
手頭上有個(gè)產(chǎn)品的代碼，代碼量很大。程序跑起來(lái)的效果不大好，因此打算把代碼優(yōu)化一下。代碼量越大，通常可優(yōu)化的地方也越多。對(duì)8051來(lái)說(shuō)，訪問(wèn)芯片內(nèi)部的data區(qū)（0~7FH）內(nèi)存速度是最快的，直接訪問(wèn)，一條指令就能讀寫，而idata區(qū)（80H~FFH）雖然還是內(nèi)存區(qū)，但由于地址分配上跟特殊寄存器SFR重合，只能間接地址訪問(wèn)，兩條指令才能讀寫，速度稍慢點(diǎn)，而外存xdata區(qū)（0~7FFFH）必須使用DPTR指針才能訪問(wèn)，速度是最慢的。很明顯，優(yōu)化的原則就是盡量把頻繁讀寫的變量?jī)?yōu)先安排在data區(qū)，然后是idata區(qū)，最后才是xdata區(qū)。
當(dāng)我做完變量手工優(yōu)化工作后，把編譯模式設(shè)為SMALL，這樣C51編譯器會(huì)自動(dòng)把那些我沒(méi)手工指定存放區(qū)的變量?jī)?yōu)先安排進(jìn)data區(qū)，如果超出有效地址范圍，它會(huì)報(bào)錯(cuò)，因此我大可以放心。按下rebuild all按鈕后，編譯器提示：
Program Size: data=236.2 xdata=19321 code=43372
"ipphone_main" - 0 Error(s), 0Warning(s).
編譯器提示的data區(qū)包括了idata在內(nèi)，按以往的經(jīng)驗(yàn)來(lái)看，data區(qū)有256個(gè)byte，程序才使用了236.2個(gè)，還剩下19個(gè)，沒(méi)有溢出，而xdata有32k，現(xiàn)在才使用了19k，遠(yuǎn)沒(méi)有溢出，編譯結(jié)果一切很正常。
把代碼燒錄進(jìn)芯片跑起來(lái)后，結(jié)果出人意料，從現(xiàn)象來(lái)看，上電約1秒后就自動(dòng)重啟，重啟后過(guò)1秒又重啟，非常有規(guī)律的重啟。
我沒(méi)有懷疑是編譯器的原因，當(dāng)時(shí)第一念頭是懷疑是看門狗，代碼里上電后就打開(kāi)了看門狗，可能某些子程序代碼執(zhí)行時(shí)間過(guò)長(zhǎng)，看門狗復(fù)位了，于是在有懷疑的地方插入了喂狗代碼，重新編譯后再測(cè)試，依然自動(dòng)重啟。于是干脆就把看門狗的代碼注釋了，不使用看門狗，以為這回沒(méi)問(wèn)題了吧，結(jié)果出人意料，還是重啟。
我仔細(xì)想了一下，能造成8051的重啟的原因不多，一是看門狗引起的重啟，這點(diǎn)可以排除；二是某些8051支持重啟指令，我手頭上用的這款雖然支持，但我沒(méi)用過(guò)那指令，這點(diǎn)也可以排除；三是8051被強(qiáng)干擾，把取指寄存器PC的內(nèi)容改變了，改成0，于是就重啟了，這點(diǎn)也可以排除，因?yàn)槿绻F(xiàn)場(chǎng)有強(qiáng)干擾，沒(méi)優(yōu)化前也會(huì)重啟才對(duì)。
由于沒(méi)想出來(lái)是什么原因，于是開(kāi)始折騰，把優(yōu)化的變量一個(gè)個(gè)恢復(fù)成未恢復(fù)優(yōu)化的狀態(tài)，每恢復(fù)一步就重新測(cè)試一次。終于在恢復(fù)一個(gè)16字節(jié)的數(shù)組時(shí)發(fā)現(xiàn)程序正常了，仔細(xì)看了一下，那數(shù)組定義在xdata區(qū)的時(shí)候程序就完全正常，而定義在idata區(qū)的時(shí)候程序就復(fù)位了，雖然奇怪的是，定義在idata區(qū)時(shí)，編譯器并沒(méi)有報(bào)告內(nèi)存溢出。跟蹤匯編指令也沒(méi)發(fā)現(xiàn)異常，無(wú)論定義在idata還是xdata，編譯器為該數(shù)組分配的地址證明確實(shí)都是有效地址，確實(shí)沒(méi)有溢出，編譯器的安排還是正確。
雖然還沒(méi)找到根源，但問(wèn)題既然是出現(xiàn)在內(nèi)存上，我于是決定查看當(dāng)那個(gè)數(shù)組指定為idata類型時(shí)的內(nèi)存分配。Keil C51在編譯時(shí)會(huì)輸出一個(gè)M51文件，該文件包含了大量的內(nèi)存分配信息，非常詳細(xì)，包括哪個(gè)變量被編譯器分配到哪個(gè)內(nèi)存地址，占用多少個(gè)字節(jié)，哪些變量是局部變量，可以重復(fù)利用……這個(gè)M51文件里都有詳細(xì)的列表。
從列表里的變量分配地址一路看下來(lái)，都沒(méi)錯(cuò)，邊看還邊驚嘆編譯器對(duì)變量的分配安排非常精確，但看到最后一個(gè)堆棧指針的安排時(shí)，終于發(fā)現(xiàn)問(wèn)題所在了，它是這樣安排的：
TYPE BASE LENGTH RELOCATION SEGMENT NAME
----------------------------------------------------------------------------------------------
IDATA 0080H 0034H UNIT _IDATA_GROUP_
IDATA 00B4H 0022H UNIT ?ID?IPPHONE_MAIN
IDATA 00D6H 001FH UNIT ?ID?DNS_NICRCV?IPPHONE_DNS
IDATA 00F5H 0004H UNIT ?ID?DISP
IDATA 00F9H 0001H UNIT ?STACK
這上面標(biāo)有STACK的段就是堆棧分配，上面的數(shù)據(jù)表明，SP堆棧指針安排在F9H這個(gè)地址，堆?？臻g是1個(gè)字節(jié)！表面看沒(méi)有溢出，但我的程序里使用了中斷服務(wù)，進(jìn)入中斷服務(wù)時(shí)，至少需要8個(gè)字節(jié)的堆?？臻g（保存R0~R7寄存器）來(lái)進(jìn)行保護(hù)現(xiàn)場(chǎng)，8051使用的是遞增壓棧的設(shè)計(jì)，堆棧指針往往被安排在內(nèi)存空間的后面可用部分，每壓棧一個(gè)字節(jié)，SP指針往上加1，進(jìn)中斷服務(wù)時(shí)，至少壓棧8個(gè)字節(jié)，F(xiàn)9H+8，超出了FFH，堆棧指針不能超過(guò)FFH，也就是說(shuō)堆棧溢出了！原來(lái)這就是導(dǎo)致程序不斷重啟的原因，不是變量?jī)?nèi)存溢出，而是堆棧溢出！
而當(dāng)我把那個(gè)數(shù)組指定為xdata類型后，由于該數(shù)組不再占用idata區(qū)，于是IDATA一下子多了16個(gè)字節(jié)的可用空間，重新編譯后的M51這樣安排：
IDATA 0080H 0024H UNIT _IDATA_GROUP_
IDATA 00A4H 0022H UNIT ?ID?IPPHONE_MAIN
IDATA 00C6H 001FH UNIT ?ID?DNS_NICRCV?IPPHONE_DNS
IDATA 00E5H 0004H UNIT ?ID?DISP
IDATA 00E9H 0001H UNIT ?STACK
從這組數(shù)據(jù)來(lái)看，SP指針安排到在E9H這個(gè)地址，堆?？臻g有FFH-E9H+1=23個(gè)字節(jié)，對(duì)于程序來(lái)說(shuō)已經(jīng)夠用，因此程序運(yùn)行正常。
多次調(diào)整變量類型的編譯結(jié)果表明，C51對(duì)于堆?？臻g需求大小不作計(jì)算，任何代碼都只是按堆?？臻g只有1個(gè)字節(jié)需求來(lái)分配（在我眼里看來(lái)這明顯是胡來(lái)，稍復(fù)雜點(diǎn)的子程序調(diào)用都不可能只要1個(gè)字節(jié)就能完成現(xiàn)場(chǎng)保護(hù)），由于堆棧只能分配在data區(qū)和idata區(qū)，因此當(dāng)一個(gè)程序?yàn)榱藘?yōu)化而data區(qū)占用太多時(shí)，雖然編譯器能編譯成功，但往往SP堆棧指針被分配在data區(qū)的最后面，很容易造成堆?？臻g不夠而溢出。為保險(xiǎn)起見(jiàn)，最好保證編譯后的SP值安排在F0H之前，那樣至少有16個(gè)字節(jié)的堆?？臻g，才能最大限度保證程序不會(huì)跑飛。
看樣子不能太相信Keil C51，以后編譯完后，還得查看一下M51才能確保程序的質(zhì)量，不知道這個(gè)算不算Keil C51的bug。
評(píng)論