ucos在s3c2410上運(yùn)行過(guò)程整體剖析之基礎(chǔ)知識(shí)-c語(yǔ)言和堆棧
我們知道C語(yǔ)言是一種高級(jí)語(yǔ)言，所謂高級(jí)語(yǔ)言就是要經(jīng)過(guò)翻譯才能在具體平臺(tái)上運(yùn)行的程序。而編譯程序是一種比較繁瑣的程序，它要把高級(jí)語(yǔ)言編譯和鏈接后，成為能夠在具體平臺(tái)運(yùn)行的程序。這其中有很多知識(shí)是和操作系統(tǒng)和具體硬件平臺(tái)相關(guān)的，如果你想弄清楚編譯程序請(qǐng)學(xué)習(xí)編譯原理，有一本書(shū)可以參考《linkers_and_loaders》。
我們這里只是說(shuō)明一下C語(yǔ)言運(yùn)行的環(huán)境以及和棧的關(guān)系。讓我們從匯編語(yǔ)言和底層硬件來(lái)了解C語(yǔ)言的一些概念和C語(yǔ)言是如何利用棧來(lái)進(jìn)控制過(guò)程調(diào)用的。
先講一下棧：
棧是這樣一種結(jié)構(gòu):本事是一段連續(xù)的內(nèi)存空間，怎么使用這樣一種內(nèi)存空間才算是起到了棧的實(shí)際作用那，首先要規(guī)定這一段連續(xù)空間的基地址，然后就從這個(gè)地址開(kāi)始依次放東西。取東西時(shí)也是從最上面的開(kāi)始取。按照上面的方案管理這一段存儲(chǔ)空間，就是發(fā)揮了棧的作用。因?yàn)闂Ｊ褂玫念l率實(shí)在是太高了，所以在計(jì)算機(jī)匯編層次就有專門(mén)操作棧的指令。包括push（入棧）、pop（出棧）等。
其實(shí)棧又有一些邏輯上的分類：
根據(jù)先騰出空間再用還是先用再騰空間分為：
1,滿堆棧：即入棧后堆棧指針sp指向最后一個(gè)入棧的元素。也就是sp先減一（加一）再入棧。
2，空堆棧：即入棧后堆棧指針指向最后一個(gè)入棧元素的下一個(gè)元素。也就是先入棧sp再減一（或加一）。
根據(jù)從高地址開(kāi)始用還是從低地址開(kāi)始用分為：
1，遞增堆棧：即堆棧一開(kāi)始的地址是低地址，向高地址開(kāi)始遞增。就如同一個(gè)水杯（假設(shè)上面地址大）開(kāi)口的是大地址，從杯底開(kāi)始裝水。自己畫(huà)一畫(huà)圖就清楚了。我就偷懶一下不畫(huà)了。
2，遞減堆棧：即堆棧一開(kāi)始的地址是高地址，向低地址開(kāi)始遞增。就如同還是剛才說(shuō)的那個(gè)水杯，現(xiàn)在開(kāi)口的是小地址，從大地址開(kāi)始用，往下走，相當(dāng)于杯子口朝下。我們用的時(shí)候是把水往上一點(diǎn)點(diǎn)壓上去。呵呵呵，不過(guò)這樣的杯子就失去了用途。但在內(nèi)存上還是可以的。
那么根據(jù)這兩種分類方法，我們就可以得到四種棧的類型，而ARM920T中使用的是遞減滿堆棧。
下面重點(diǎn)說(shuō)明c語(yǔ)言運(yùn)行時(shí)是怎么用棧來(lái)控制函數(shù)調(diào)用過(guò)程的。
大家想一想，我們寫(xiě)c語(yǔ)言時(shí)用到函數(shù)調(diào)用，有時(shí)候還嵌套調(diào)用很多函數(shù)。還有有些函數(shù)還需要參數(shù)和返回值。怎么處理各個(gè)函數(shù)的參數(shù)和返回值，以及當(dāng)每一個(gè)函數(shù)完成工作時(shí)該返回到那個(gè)地方。這些都是要解決的問(wèn)題。當(dāng)然最容易想到的也是必須做的是在進(jìn)行調(diào)用跳轉(zhuǎn)之前，把我這個(gè)函數(shù)現(xiàn)有的狀態(tài)保存起來(lái)，保存什么那，調(diào)用函數(shù)返回后的下一條指令，還有我這個(gè)函數(shù)需要的哪些數(shù)據(jù)。還有就是保存這些信息到哪些地方哪？這些都是我們要解決的問(wèn)題。還有就是你不光要保存這些信息，還要保存這些信息的順序。因?yàn)楹瘮?shù)調(diào)用本身有順序，你像a調(diào)用b，b又接著調(diào)用c。在c執(zhí)行完后要返回到b，b執(zhí)行完再返回a。呵呵，有順序。
我們一一想辦法來(lái)解決，當(dāng)然別人已經(jīng)用棧的策略解決的很完美了，我們只是想一些更簡(jiǎn)潔的最容易想起來(lái)的但是不完善的方法，也正說(shuō)明了人家的策略是多么的優(yōu)秀。
關(guān)于調(diào)用函數(shù)的問(wèn)題，我們可以把返回地址保存到一些地方，當(dāng)然程序員知道在那？還知道順序，再根據(jù)順序返回就好了，但做這樣的工作太累了，除了寫(xiě)程序還要記這些東西。哎肯定不好也不這樣做。關(guān)于傳參，有這樣可以考慮的，用專門(mén)規(guī)定好的寄存器來(lái)做傳參。行，但有缺陷,如果傳的參數(shù)很多或者是變化的，就不好用寄存器傳參了。而且我們有操作系統(tǒng)時(shí)往往要求編譯器產(chǎn)生的代碼具有可重入性，也就是保證代碼和數(shù)據(jù)的相對(duì)獨(dú)立性。一個(gè)函數(shù)被調(diào)用兩次，都有兩次的參數(shù)環(huán)境。到底現(xiàn)在我們是怎么做的那。答案是用棧。
怎么用，嘻嘻，下面一一道來(lái)：
函數(shù)在執(zhí)行一個(gè)函數(shù)調(diào)用調(diào)用時(shí)，用棧不僅保存函數(shù)的返回地址，并且一起把函數(shù)所需要的參數(shù)和返回值都保存在堆棧中。
也就是每一個(gè)函數(shù)都有一個(gè)這樣的棧，保存著一些信息。先說(shuō)一下棧幀的概念，在函數(shù)調(diào)用過(guò)程中要保存的整個(gè)參數(shù)集合，包括返回地址稱作一個(gè)棧幀。
如上圖所示，我們以這個(gè)圖為例，分析一下棧在函數(shù)調(diào)用中的應(yīng)用。函數(shù)p有兩個(gè)參數(shù) x1、x2，函數(shù)p 調(diào)用函數(shù)q ，且有兩個(gè)參數(shù)。儲(chǔ)存在棧幀的第一幀是上一個(gè)棧幀的地址，當(dāng)前棧幀的地址就是正在使用的棧幀的基值，使用這個(gè)指針能方便的找到函數(shù)所需的變量和參數(shù)等。那為什么每一針的第一個(gè)地址要保存上一個(gè)棧幀的地址那，和保存返回地址一個(gè)初衷，當(dāng)你當(dāng)前用的棧幀用完時(shí)，把在當(dāng)前棧幀保存的上一個(gè)棧幀的地址取出就還原了上一個(gè)棧幀。
接著是返回地址，如果函數(shù)有返回值的話，返回值放在返回地址的下面。接著為函數(shù)所需要的變量申請(qǐng)空間。
下面說(shuō)說(shuō)函數(shù)p調(diào)用函數(shù)q時(shí)的具體情況。當(dāng)執(zhí)行call q（y1）時(shí)，會(huì)為函數(shù)q創(chuàng)建一個(gè)新的棧幀，具體過(guò)程是：先保存丄一幀的地址，如果有返回值的話為返回值分配存儲(chǔ)空間，然后保存返回地址。然后為y1分配空間并把它初始化為調(diào)用q時(shí)給的參數(shù)。接著分配另一個(gè)參數(shù)的空間y2，這個(gè)參數(shù)用于在函數(shù)內(nèi)部計(jì)算。
在任何狀態(tài)下，都有一個(gè)當(dāng)前棧幀的指針fp，這個(gè)指針用來(lái)保存當(dāng)前棧幀的地址，那這個(gè)值怎么保證是當(dāng)前的那，先說(shuō)q函數(shù)的吧，是把棧的指針sp先保存下來(lái)，然后接著保存fp。然后把fp的值改為sp-4 ，因?yàn)槲覀冎烂總€(gè)棧幀的第一個(gè)要保存的是fp。
其實(shí)整個(gè)過(guò)程是動(dòng)態(tài)的，所謂我說(shuō)是動(dòng)態(tài)的是因?yàn)閟p指針一直是快速移動(dòng)的。所以要在每一幀開(kāi)始的時(shí)候先把這個(gè)sp保存住。然后往減4的地址處放fp。當(dāng)這個(gè)棧幀全彈出時(shí)，就把你保存的fp又恢復(fù)到原來(lái)你保存的fp了。就一直有fp代表當(dāng)前棧幀底部。也是唯一一個(gè)不變的基地址，用它來(lái)找其他的變量。
好了，下面我們看一個(gè)在ARM下C語(yǔ)言寫(xiě)的程序然后編譯成匯編語(yǔ)言分析其棧的應(yīng)用。（在linux2.4內(nèi)核下寫(xiě)的c語(yǔ)言程序，用arm-linux-gcc3.4.1編譯器編譯）
C語(yǔ)言源程序如下：
#include
int max(int,int);
int main(int argc,char *argv[])
{
int a=3,b=5;
max(a,b);
return 0;
}
int max(int x,int y)
{
if(x>y)
return x;
else
return y
}
函數(shù)很簡(jiǎn)單，在主函數(shù)里調(diào)用一個(gè)外部函數(shù)max用于兩個(gè)數(shù)中數(shù)值較大的那個(gè)數(shù)并返回。
下面看ARM的匯編是怎么實(shí)現(xiàn)的這些功能，以及這中間棧的使用情況。
.file "max.c"
.text
.align 2
.global main
.type main, %function
main:
@ args = 0, pretend = 0, frame = 16
@ frame_needed = 1, uses_anonymous_args = 0
mov ip, sp
stmfd sp!, {fp, ip, lr, pc}
sub fp, ip, #4
sub sp, sp, #16
str r0, [fp, #-16]
str r1, [fp, #-20]
mov r3, #3
str r3, [fp, #-24]
mov r3, #5
str r3, [fp, #-28]
ldr r0, [fp, #-24]
ldr r1, [fp, #-28]
bl max //開(kāi)始調(diào)用max函數(shù)
mov r3, #0
mov r0, r3
sub sp, fp, #12
ldmfd sp, {fp, sp, pc}
.size main, .-main
.align 2
.global max
.type max, %function
max:
@ args = 0, pretend = 0, frame = 12
@ frame_needed = 1, uses_anonymous_args = 0
mov ip, sp
stmfd sp!, {fp, ip, lr, pc}
sub fp, ip, #4
sub sp, sp, #12
str r0, [fp, #-16]
str r1, [fp, #-20]
ldr r2, [fp, #-16]
ldr r3, [fp, #-20]
cmp r2, r3
ble .L3
ldr r3, [fp, #-16]
str
下載文檔
