新聞中心

EEPW首頁 > 嵌入式系統(tǒng) > 設(shè)計應(yīng)用 > 關(guān)于可重入函數(shù)(可再入函數(shù))和模擬堆棧(仿真堆棧)

關(guān)于可重入函數(shù)(可再入函數(shù))和模擬堆棧(仿真堆棧)

作者: 時間:2016-11-27 來源:網(wǎng)絡(luò) 收藏

MOVDPH(0x83),?C_XBP(0x08)

MOVDPL(0x82),0x09;0x09就是?C_XBP+1

MOVA, R6

MOVX@DPTR,A

INCDPTR

MOVA,R7

MOVX@DPTR,A;計算結(jié)果j1壓入模擬棧

j2 = j1 + 10;

。。。。。。

。。。。。。

。。。。。。;省略,完成j2=j1+10,并把計算結(jié)果j1壓入模擬棧

return j2;

MOVDPH(0x83),?C_XBP(0x08)

MOVDPL(0x82),0x09

INCDPTR

INCDPTR

MOVXA,@DPTR

MOVR6,A

INCDPTR

MOVXA,@DPTR

MOVR7,A;從模擬棧取出j2送入R6,R7

}

MOVDPTR,#?C_XBP(0x0008)

LCALLC?ADDXBP(C:00A6);fun要返回,釋放模擬棧,使C_XBP指向0xffff

RET

說明:模擬棧結(jié)構(gòu)如下

參數(shù)4

參數(shù)3

參數(shù)2

參數(shù)1

j1低字節(jié)

j1高字節(jié)

J2低字節(jié)

J2高字節(jié)

接下來說明兩個重點子函數(shù)C_ADDXBP和C_XBPOFF

C?ADDXBP:

MOVA,0x09;0x09即為C_XBP

ADDA,DPL(0x82);以下到第一個RET之前即完成:C_XBP+DPTR

MOVDPL(0x82),A

MOVA,?C_XBP(0x08)

ADDCA,DPH(0x83)

MOVDPH(0x83),A

CJNEA,?C_XBP(0x08),C:00B9

MOV0x09,DPL(0x82)

RET

C:00B9

JBCEA(0xA8.7),C:00C2;中斷開著嗎?開著就把它關(guān)了(清0),然后跳到C:00C2

MOV0x09,DPL(0x82);中斷本來就關(guān)著,安全,下面的行動不會被打斷,把新

;的模擬棧指針賦給C_XBP

MOV?C_XBP(0x08),A

RET

C:00C2

MOV0x09,DPL(0x82)

MOV?C_XBP(0x08),A

SETBEA(0xA8.7);開中斷

RET

C?XBPOFF:;此函數(shù)的功能一看就明白,即完成DPTR=C_XBP+DPTR

MOVA,0x09

ADDA,DPL(0x82)

MOVDPL(0x82),A

MOVA,?C_XBP(0x08)

ADDCA,DPH(0x83)

MOVDPH(0x83),A

RET

終于到尾聲了,最后重點說明啦~~~

模擬堆棧是向下生長的,C_XBP最初等于0xffff+1,那么請看下面這句

MOVDPTR,#0xFFFF

LCALLC?ADDXBP(C:00A6)

(0xffff+1)+0xffff = 0xffff

即C_XBP -1;

再看

MOVDPTR,#0xFFFE

LCALLC?ADDXBP(C:00A6)

即C_XBP-2

再看

MOVDPTR,#0xFFFE

LCALLC?ADDXBP(C:00A6)

即C_XBP-3

。。。

其實是這樣:加0xffff相當(dāng)與減1,加0xfffe相當(dāng)與減2,加0xfffd相當(dāng)于減4。。。。。。為啥,就不用說了吧:)

結(jié)束語:

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

參考文獻(xiàn):

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

2、彭光紅,構(gòu)造一個51單片機(jī)的實時操作系統(tǒng)。

附錄:

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

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

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

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

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

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

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

51的指令系統(tǒng)沒有一個有效的相對尋址(變址尋址)的指令,這使得使用堆棧作為變量的代價太過昂貴.

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

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

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

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

都可以很好的解決這個問題.

但51缺少這樣的指令.

*其實,51中還是有2個可變址尋址的指令的,但不適合訪問堆棧的局部變量這樣的場合.

MOVC A, @A+DPTR

MOVC A, @A+PC所以,C51有個特別的關(guān)鍵字: reentrant用來解決函數(shù)重入的問題.


上一頁 1 2 下一頁

關(guān)鍵詞: 可重入函數(shù)模擬堆

評論


技術(shù)專區(qū)

關(guān)閉