keilc51可重入函數及模擬棧淺析

　　說(shuō)明：模擬棧結構如下

　　接下來(lái)說(shuō)明兩個(gè)重點(diǎn)子函數C_ADDXBP和C_XBPOFF

　　終于到尾聲了，最后重點(diǎn)說(shuō)明啦~~~

　　模擬堆棧是向下生長(cháng)的，C_XBP最初等于0xffff+1，那么請看下面這句

　　其實(shí)是這樣：加0xffff相當與減1，加0xfffe相當與減2，加0xfffd相當于減4。。。。。。為啥，就不用說(shuō)了吧：）

　　結束語(yǔ)：

　　經(jīng)過(guò)了幾天的研究，終于寫(xiě)了個(gè)總結報告，算是自己的一點(diǎn)小小成就吧，錯誤之處在所難免，希望能夠同大家一起討論問(wèn)題，共同進(jìn)步。

　　參考文獻：

　　1、徐愛(ài)鈞，彭秀華 《單片機高級語(yǔ)言C51windows環(huán)境編程與應用》電子工業(yè)出版社 2001

　　2、彭光紅，構造一個(gè)51單片機的實(shí)時(shí)操作系統。

　　附錄：

　　在其它環(huán)境下(比如PC,比如ARM),函數重入的問(wèn)題一般不是要特別注意的問(wèn)題.只要你沒(méi)有使用static變量,或者指向static變量的指針,一般情況下,函數自然而然地就是可重入的.

　　但C51不一樣,如果你不特別設計你的函數,它就是不可重入的.

　　引起這個(gè)差別的原因在于:一般的C編譯器(或者更確切點(diǎn)地說(shuō):基于一般的處理器上的C編譯器),其函數的局部變量是存放于堆棧中的,而C51是存放于一個(gè)可覆蓋的(數據)段中的.

　　至于C51這樣做的原因,不是象有些人說(shuō)的那樣,為了節約內存.事實(shí)上,這樣做根本節約不了內存.理由如下:

　　1) 如果一個(gè)函數func1調用另一個(gè)函數func2,那么func1,func2的局部變量根本就不能是同一塊內存.C51還是要為他們分配不同的RAM.這跟使用堆棧相比,節約不了內存.

　　2) 如果func1,func2不是在一個(gè)調用鏈上,那么C51可以通過(guò)覆蓋分析,讓它們的局部變量共享相同的內存地址.但這樣也不會(huì )比使用堆棧節約內存.因為既然它們是在不同的調用鏈上,那么當其中一個(gè)函數運行時(shí),那么另外一個(gè)函數必然不在其生命期內,它所占用的堆棧也已釋放,歸還給系統.

　　真實(shí)的原因(C51使用覆蓋段作為局部變量的存放地的原因)是:

　　51的指令系統沒(méi)有一個(gè)有效的相對尋址(變址尋址)的指令,這使得使用堆棧作為變量的代價(jià)太過(guò)昂貴.

　　使用堆棧存放變量的一般做法是:

　　進(jìn)入函數時(shí),保留一段堆?？臻g,作為變量的存放空間,用一個(gè)可作為基址尋址的寄存器指向這個(gè)空間,通過(guò)加上一個(gè)偏移量,就可以訪(fǎng)問(wèn)不同的變量了.

　　例如: MOV EAX, [EBP + 14];X86指令

　　LDR R0, [R12, #14];ARM指令

　　都可以很好的解決這個(gè)問(wèn)題.

　　但51缺少這樣的指令.

　　*其實(shí),51中還是有2個(gè)可變址尋址的指令的,但不適合訪(fǎng)問(wèn)堆棧的局部變量這樣的場(chǎng)合.

　　MOVC A, @A+DPTR

　　MOVC A, @A+PC

　　所以,C51有個(gè)特別的關(guān)鍵字: reentrant 用來(lái)解決函數重入的問(wèn)題.