keilc51可重入函數(shù)及模擬棧淺析
說明:模擬棧結(jié)構(gòu)如下
接下來說明兩個(gè)重點(diǎn)子函數(shù)C_ADDXBP和C_XBPOFF
終于到尾聲了,最后重點(diǎn)說明啦~~~
模擬堆棧是向下生長的,C_XBP最初等于0xffff+1,那么請(qǐng)看下面這句
其實(shí)是這樣:加0xffff相當(dāng)與減1,加0xfffe相當(dāng)與減2,加0xfffd相當(dāng)于減4。。。。。。為啥,就不用說了吧:)
結(jié)束語:
經(jīng)過了幾天的研究,終于寫了個(gè)總結(jié)報(bào)告,算是自己的一點(diǎn)小小成就吧,錯(cuò)誤之處在所難免,希望能夠同大家一起討論問題,共同進(jìn)步。
參考文獻(xiàn):
1、徐愛鈞,彭秀華 《單片機(jī)高級(jí)語言C51windows環(huán)境編程與應(yīng)用》電子工業(yè)出版社 2001
2、彭光紅,構(gòu)造一個(gè)51單片機(jī)的實(shí)時(shí)操作系統(tǒng)。
附錄:
在其它環(huán)境下(比如PC,比如ARM),函數(shù)重入的問題一般不是要特別注意的問題.只要你沒有使用static變量,或者指向static變量的指針,一般情況下,函數(shù)自然而然地就是可重入的.
但C51不一樣,如果你不特別設(shè)計(jì)你的函數(shù),它就是不可重入的.
引起這個(gè)差別的原因在于:一般的C編譯器(或者更確切點(diǎn)地說:基于一般的處理器上的C編譯器),其函數(shù)的局部變量是存放于堆棧中的,而C51是存放于一個(gè)可覆蓋的(數(shù)據(jù))段中的.
至于C51這樣做的原因,不是象有些人說的那樣,為了節(jié)約內(nèi)存.事實(shí)上,這樣做根本節(jié)約不了內(nèi)存.理由如下:
1) 如果一個(gè)函數(shù)func1調(diào)用另一個(gè)函數(shù)func2,那么func1,func2的局部變量根本就不能是同一塊內(nèi)存.C51還是要為他們分配不同的RAM.這跟使用堆棧相比,節(jié)約不了內(nèi)存.
2) 如果func1,func2不是在一個(gè)調(diào)用鏈上,那么C51可以通過覆蓋分析,讓它們的局部變量共享相同的內(nèi)存地址.但這樣也不會(huì)比使用堆棧節(jié)約內(nèi)存.因?yàn)榧热凰鼈兪窃诓煌恼{(diào)用鏈上,那么當(dāng)其中一個(gè)函數(shù)運(yùn)行時(shí),那么另外一個(gè)函數(shù)必然不在其生命期內(nèi),它所占用的堆棧也已釋放,歸還給系統(tǒng).
真實(shí)的原因(C51使用覆蓋段作為局部變量的存放地的原因)是:
51的指令系統(tǒng)沒有一個(gè)有效的相對(duì)尋址(變址尋址)的指令,這使得使用堆棧作為變量的代價(jià)太過昂貴.
使用堆棧存放變量的一般做法是:
進(jìn)入函數(shù)時(shí),保留一段堆棧空間,作為變量的存放空間,用一個(gè)可作為基址尋址的寄存器指向這個(gè)空間,通過加上一個(gè)偏移量,就可以訪問不同的變量了.
例如: MOV EAX, [EBP + 14];X86指令
LDR R0, [R12, #14];ARM指令
都可以很好的解決這個(gè)問題.
但51缺少這樣的指令.
*其實(shí),51中還是有2個(gè)可變址尋址的指令的,但不適合訪問堆棧的局部變量這樣的場(chǎng)合.
MOVC A, @A+DPTR
MOVC A, @A+PC
所以,C51有個(gè)特別的關(guān)鍵字: reentrant 用來解決函數(shù)重入的問題.
評(píng)論