編譯原理第六章運行時存儲空間的組織和管理

1、第六章第六章 運行時存儲空間的組織和管理運行時存儲空間的組織和管理 術(shù)語術(shù)語過程的過程的活動活動過程的一次執(zhí)行稱為過程的一次活動過程的一次執(zhí)行稱為過程的一次活動 活動記錄活動記錄過程的活動需要可執(zhí)行代碼和存放所需信息的存儲空間過程的活動需要可執(zhí)行代碼和存放所需信息的存儲空間, ,后者稱為活動記錄后者稱為活動記錄本章內(nèi)容本章內(nèi)容 討論一個活動記錄中的數(shù)據(jù)布局討論一個活動記錄中的數(shù)據(jù)布局 程序執(zhí)行過程中，所有活動記錄的組織方式程序執(zhí)行過程中，所有活動記錄的組織方式 第六章第六章 運行時存儲空間的組織和管理運行時存儲空間的組織和管理 影響存儲分配策略的語言特征影響存儲分配策略的語言特征 過程能否遞歸

2、過程能否遞歸 當控制從過程的活動返回時，局部變量的值是否要保留當控制從過程的活動返回時，局部變量的值是否要保留 過程能否訪問非局部變量過程能否訪問非局部變量 過程調(diào)用的參數(shù)傳遞方式過程調(diào)用的參數(shù)傳遞方式 過程能否作為參數(shù)被傳遞過程能否作為參數(shù)被傳遞 過程能否作為結(jié)果值傳遞過程能否作為結(jié)果值傳遞 存儲塊能否在程序控制下動態(tài)地分配存儲塊能否在程序控制下動態(tài)地分配存儲塊是否必須顯式地釋放存儲塊是否必須顯式地釋放6.1 局部存儲分配局部存儲分配6.1.1 過程過程語言概念：語言概念：過程定義、過程定義、過程過程調(diào)用、形式參數(shù)、實在參調(diào)用、形式參數(shù)、實在參數(shù)、數(shù)、活動的活動的生存期生存期6.1 局部存儲

3、分配局部存儲分配6.1.2 名字的作用域和綁定名字的作用域和綁定1、名字的作用域、名字的作用域 一個聲明起作用的程序部分稱為該聲明的一個聲明起作用的程序部分稱為該聲明的作作用域用域6.1 局部存儲分配局部存儲分配2、環(huán)境和狀態(tài)、環(huán)境和狀態(tài) 環(huán)境把名字映射到左值，而狀態(tài)把左值映射環(huán)境把名字映射到左值，而狀態(tài)把左值映射到右值（即到右值（即名字到值有兩步映射名字到值有兩步映射） 賦值改變狀態(tài)，但不改變環(huán)境賦值改變狀態(tài)，但不改變環(huán)境 過程調(diào)用改變環(huán)境過程調(diào)用改變環(huán)境 如果環(huán)境將名字如果環(huán)境將名字x映射到存儲單元映射到存儲單元s，則說則說x被被綁定綁定到到s名字名字存儲單元存儲單元狀態(tài)狀態(tài)值值環(huán)境環(huán)境6

4、.1 局部存儲分配局部存儲分配3、靜態(tài)概念和動態(tài)概念的對應(yīng)、靜態(tài)概念和動態(tài)概念的對應(yīng)靜靜 態(tài)態(tài) 概概 念念 動動 態(tài)態(tài) 對對 應(yīng)應(yīng) 過程的定義過程的定義 過程的活動過程的活動 6.1 局部存儲分配局部存儲分配3、靜態(tài)概念和動態(tài)概念的對應(yīng)、靜態(tài)概念和動態(tài)概念的對應(yīng)靜靜 態(tài)態(tài) 概概 念念 動動 態(tài)態(tài) 對對 應(yīng)應(yīng) 過程的定義過程的定義 過程的活動過程的活動 名字的聲明名字的聲明 名字的綁定名字的綁定 6.1 局部存儲分配局部存儲分配3、靜態(tài)概念和動態(tài)概念的對應(yīng)、靜態(tài)概念和動態(tài)概念的對應(yīng)靜靜 態(tài)態(tài) 概概 念念 動動 態(tài)態(tài) 對對 應(yīng)應(yīng) 過程的定義過程的定義 過程的活動過程的活動 名字的聲明名字的聲明 名

5、字的綁定名字的綁定 聲明的作用域聲明的作用域 綁定的生存期綁定的生存期 6.1 局部存儲分配局部存儲分配6.1.3 活動記錄活動記錄活動記錄的常見布局活動記錄的常見布局返返 回回 值值臨臨 時時 數(shù)數(shù) 據(jù)據(jù)參參 數(shù)數(shù)控控 制制 鏈鏈訪訪 問問 鏈鏈機機 器器 狀狀 態(tài)態(tài)局局 部部 數(shù)數(shù) 據(jù)據(jù)6.1 局部存儲分配局部存儲分配6.1.4 局部數(shù)據(jù)的布局局部數(shù)據(jù)的布局 字節(jié)是可編址內(nèi)存的最小單位字節(jié)是可編址內(nèi)存的最小單位 一個過程所聲明的局部變量，按這些變量聲明時出一個過程所聲明的局部變量，按這些變量聲明時出現(xiàn)的次序，在局部數(shù)據(jù)域中依次分配空間現(xiàn)的次序，在局部數(shù)據(jù)域中依次分配空間 局部數(shù)據(jù)的地址可以

6、用相對于某個位置的地址來表局部數(shù)據(jù)的地址可以用相對于某個位置的地址來表示示 數(shù)據(jù)對象的存儲布局還有一個數(shù)據(jù)對象的存儲布局還有一個對齊問題對齊問題6.1 局部存儲分配局部存儲分配 例例 在在SPARC/Solaris工作站上下面兩個結(jié)構(gòu)體的工作站上下面兩個結(jié)構(gòu)體的size分別是分別是24和和16，為什么不一樣？，為什么不一樣？typedef struct _atypedef struct _bchar c1; char c1;long i; char c2;char c2; long i;double f; double f;a; b;對齊：對齊：char : 1, long : 4, doub

7、le : 86.1 局部存儲分配局部存儲分配 例例 在在SPARC/Solaris工作站上下面兩個結(jié)構(gòu)體的工作站上下面兩個結(jié)構(gòu)體的size分別是分別是24和和16，為什么不一樣？，為什么不一樣？typedef struct _atypedef struct _bchar c1;0 char c1;0long i;4 char c2; 1char c2;8 long i; 4double f;16 double f; 8a; b;對齊：對齊：char : 1, long : 4, double : 86.1 局部存儲分配局部存儲分配 例例 在在X86/Linux機器的結(jié)果和機器的結(jié)果和SPARC

8、/Solaris工作工作站不一樣，是站不一樣，是20和和16。typedef struct _atypedef struct _bchar c1;0 char c1;0long i;4 char c2; 1char c2;8 long i; 4double f;12 double f; 8a; b;對齊：對齊：char : 1, long : 4, double : 46.1 局部存儲分配局部存儲分配6.1.5 程序塊程序塊 本身含有局部變量聲明的語句本身含有局部變量聲明的語句 可以嵌套可以嵌套 最接近的嵌套最接近的嵌套作用域規(guī)則作用域規(guī)則 并列程序塊不會同時活躍并列程序塊不會同時活躍 并列程

9、序塊的變量可以重疊分配并列程序塊的變量可以重疊分配6.1 局部存儲分配局部存儲分配main() / 例例 / / begin of B0 / int a = 0; int b = 0; / begin of B1 / int b = 1; / begin of B2 / int a = 2; / end of B2 / / begin of B3 / int b = 3; / end of B3 / / end of B1 / end of B0 /聲聲 明明 作作 用用 域域 int a = 0; B0 B2 int b = 0; B0 B1 int b = 1; B1 B3 int a =

10、 2;B2int b = 3; B3 a0b0b1a2, b3重疊分配存儲單元重疊分配存儲單元 6.2 全局棧式存儲分配全局棧式存儲分配本節(jié)介紹本節(jié)介紹 描述過程的目標代碼怎樣訪問綁定到局部名字的存描述過程的目標代碼怎樣訪問綁定到局部名字的存儲單元儲單元 介紹三種分配策略介紹三種分配策略 靜態(tài)分配策略靜態(tài)分配策略 棧式分配策略棧式分配策略 堆式分配策略堆式分配策略6.2 全局棧式存儲分配全局棧式存儲分配6.2.1 運行時內(nèi)存的劃分運行時內(nèi)存的劃分代代 碼碼靜靜 態(tài)態(tài) 數(shù)數(shù) 據(jù)據(jù)堆堆棧棧6.2 全局棧式存儲分配全局棧式存儲分配1、靜態(tài)分配、靜態(tài)分配 名字在程序被編譯時綁定到存儲單元，不需名字在程

11、序被編譯時綁定到存儲單元，不需要運行時的任何支持要運行時的任何支持 綁定的生存期是程序的整個運行期間綁定的生存期是程序的整個運行期間6.2 全局棧式存儲分配全局棧式存儲分配2、靜態(tài)分配給語言帶來限制、靜態(tài)分配給語言帶來限制 遞歸過程不被允許遞歸過程不被允許 數(shù)據(jù)對象的長度和它在內(nèi)存中位置的限制，數(shù)據(jù)對象的長度和它在內(nèi)存中位置的限制，必須是在編譯時可以知道的必須是在編譯時可以知道的 數(shù)據(jù)結(jié)構(gòu)不能動態(tài)建立數(shù)據(jù)結(jié)構(gòu)不能動態(tài)建立6.2 全局棧式存儲分配全局棧式存儲分配 例例 C程序的外部變量、靜態(tài)局部變量以及程程序的外部變量、靜態(tài)局部變量以及程序中出現(xiàn)的常量都可以靜態(tài)分配序中出現(xiàn)的常量都可以靜態(tài)分配

12、聲明在函數(shù)外面聲明在函數(shù)外面外部變量外部變量 靜態(tài)分配靜態(tài)分配靜態(tài)外部變量靜態(tài)外部變量 靜態(tài)分配靜態(tài)分配 聲明在函數(shù)里面聲明在函數(shù)里面靜態(tài)局部變量靜態(tài)局部變量 也是靜態(tài)分配也是靜態(tài)分配自動變量自動變量 不能靜態(tài)分配不能靜態(tài)分配6.2 全局棧式存儲分配全局棧式存儲分配6.2.2 活動樹和運行?；顒訕浜瓦\行棧1、活動樹、活動樹用樹來描繪控制進入和離開活動的方式用樹來描繪控制進入和離開活動的方式mq(1,9)rp(1,9)q(1,3)q(1,0)p(1,3)q(2,3)q(2,1)q(3,3)p(2,3)q(5,9)q(5,5)p(5,9)q(7,9)q(7,7)q(9,9)p(7,9)6.2 全局

13、棧式存儲分配全局棧式存儲分配 活動樹的特點活動樹的特點每個結(jié)點代表某過程的一個活動每個結(jié)點代表某過程的一個活動根結(jié)點代表主程序的活動根結(jié)點代表主程序的活動結(jié)點結(jié)點a是結(jié)點是結(jié)點b的父結(jié)點，當且僅當控制流從的父結(jié)點，當且僅當控制流從a的的活動進入活動進入b的活動的活動結(jié)點結(jié)點a處于結(jié)點處于結(jié)點b的左邊，當且僅當?shù)淖筮叄斍覂H當a的生存期先的生存期先于于b的生存期的生存期6.2 全局棧式存儲分配全局棧式存儲分配 當前活躍著的過程活動可以保存在一個棧中當前活躍著的過程活動可以保存在一個棧中 例例 控制棧的內(nèi)容：控制棧的內(nèi)容：m, q (1, 9), q (1, 3), q (2, 3) mq(1,9

14、)rp(1,9)q(1,3)q(1,0)p(1,3)q(2,3)q(2,1)q(3,3)p(2,3)q(5,9)q(5,5)p(5,9)q(7,9)q(7,7)q(9,9)p(7,9)6.2 全局棧式存儲分配全局棧式存儲分配2、運行棧：、運行棧：把控制棧中的信息拓廣到包括過程把控制棧中的信息拓廣到包括過程活動所需的所有局部信息（即活動記錄）活動所需的所有局部信息（即活動記錄） 6.2 全局棧式存儲分配全局棧式存儲分配2、運行棧：、運行棧：把控制棧中的信息拓廣到包括過程把控制棧中的信息拓廣到包括過程活動所需的所有局部信息（即活動記錄）活動所需的所有局部信息（即活動記錄） ma : arraym6

15、.2 全局棧式存儲分配全局棧式存儲分配2、運行棧：、運行棧：把控制棧中的信息拓廣到包括過程把控制棧中的信息拓廣到包括過程活動所需的所有局部信息（即活動記錄）活動所需的所有局部信息（即活動記錄） mint ira : arraymr6.2 全局棧式存儲分配全局棧式存儲分配2、運行棧：、運行棧：把控制棧中的信息拓廣到包括過程把控制棧中的信息拓廣到包括過程活動所需的所有局部信息（即活動記錄）活動所需的所有局部信息（即活動記錄） mq(1,9)rmint iq (1, 9)a : arrayint m, n6.2 全局棧式存儲分配全局棧式存儲分配2、運行棧：、運行棧：把控制棧中的信息拓廣到包括過程把控

16、制棧中的信息拓廣到包括過程活動所需的所有局部信息（即活動記錄）活動所需的所有局部信息（即活動記錄） mq(1,9)rp(1,9) q(1,3)q(1,0)p(1,3)q (1, 9)mint ia : arrayint m, nint m, nint iq (1, 3)6.2 全局棧式存儲分配全局棧式存儲分配6.2.3 調(diào)用序列調(diào)用序列 過程調(diào)用序列過程調(diào)用序列過程調(diào)用時執(zhí)行的分配活動記錄、把信息填入域中的代碼過程調(diào)用時執(zhí)行的分配活動記錄、把信息填入域中的代碼 過程返回序列過程返回序列過程返回時執(zhí)行的恢復(fù)機器狀態(tài)，釋放活動記錄，使調(diào)用過過程返回時執(zhí)行的恢復(fù)機器狀態(tài)，釋放活動記錄，使調(diào)用過程能夠

17、繼續(xù)執(zhí)行的代碼程能夠繼續(xù)執(zhí)行的代碼6.2 全局棧式存儲分配全局棧式存儲分配 即使是同一種語言，過程調(diào)用序列、返回序列和活即使是同一種語言，過程調(diào)用序列、返回序列和活動記錄中各域的排放次序，也會因?qū)崿F(xiàn)而異動記錄中各域的排放次序，也會因?qū)崿F(xiàn)而異 設(shè)計這些序列和活動記錄的原則設(shè)計這些序列和活動記錄的原則調(diào)用者和被調(diào)用者交流的數(shù)據(jù)放在調(diào)用者和被調(diào)用者交流的數(shù)據(jù)放在活動記錄開始處，并盡可能靠近調(diào)用活動記錄開始處，并盡可能靠近調(diào)用者的活動記錄者的活動記錄固定長度的項放在活動記錄中間。固定長度的項放在活動記錄中間。在編譯時不能及時知道大小的項目在編譯時不能及時知道大小的項目放在活動記錄末端放在活動記錄末端返

18、返 回回 值值臨臨 時時 數(shù)數(shù) 據(jù)據(jù)參參 數(shù)數(shù)控控 制制 鏈鏈訪訪 問問 鏈鏈機機 器器 狀狀 態(tài)態(tài)局局 部部 數(shù)數(shù) 據(jù)據(jù)6.2 全局棧式存儲分配全局棧式存儲分配1、過程、過程p調(diào)用過程調(diào)用過程q的調(diào)用序列的調(diào)用序列返回值和參數(shù)返回值和參數(shù)top_sp base_sp 臨時數(shù)據(jù)局部數(shù)據(jù)臨時數(shù)據(jù)局部數(shù)據(jù)控制鏈控制鏈 和保存的機器狀態(tài)和保存的機器狀態(tài) 6.2 全局棧式存儲分配全局棧式存儲分配1、過程、過程p調(diào)用過程調(diào)用過程q的調(diào)用序列的調(diào)用序列(1) p計算實參，依計算實參，依次放入棧頂，并在次放入棧頂，并在棧頂留出放返回值棧頂留出放返回值的空間。的空間。top_sp的的值在此過程中被改值在此過程

19、中被改變變返回值和參數(shù)返回值和參數(shù)top_sp base_sp 臨時數(shù)據(jù)局部數(shù)據(jù)臨時數(shù)據(jù)局部數(shù)據(jù)控制鏈控制鏈 和保存的機器狀態(tài)和保存的機器狀態(tài) 返回值和參數(shù)返回值和參數(shù)6.2 全局棧式存儲分配全局棧式存儲分配1、過程、過程p調(diào)用過程調(diào)用過程q的調(diào)用序列的調(diào)用序列(2) p把返回地址和把返回地址和當前當前base_sp的值的值存入存入q的活動記錄的活動記錄中，建立中，建立q的訪問的訪問鏈，增加鏈，增加base_sp的值的值返回值和參數(shù)返回值和參數(shù)top_sp base_sp 臨時數(shù)據(jù)局部數(shù)據(jù)臨時數(shù)據(jù)局部數(shù)據(jù)控制鏈控制鏈 和保存的機器狀態(tài)和保存的機器狀態(tài) 返回值和參數(shù)返回值和參數(shù)控制鏈和返回地址控

20、制鏈和返回地址6.2 全局棧式存儲分配全局棧式存儲分配1、過程、過程p調(diào)用過程調(diào)用過程q的調(diào)用序列的調(diào)用序列(3) q保存寄存器的保存寄存器的值和其它機器狀態(tài)值和其它機器狀態(tài)信息信息返回值和參數(shù)返回值和參數(shù)top_sp base_sp 臨時數(shù)據(jù)局部數(shù)據(jù)臨時數(shù)據(jù)局部數(shù)據(jù)控制鏈控制鏈 和保存的機器狀態(tài)和保存的機器狀態(tài) 返回值和參數(shù)返回值和參數(shù)控制鏈控制鏈 和保存的機器狀態(tài)和保存的機器狀態(tài)6.2 全局棧式存儲分配全局棧式存儲分配1、過程、過程p調(diào)用過程調(diào)用過程q的調(diào)用序列的調(diào)用序列(4) q根據(jù)局部數(shù)據(jù)根據(jù)局部數(shù)據(jù)域和臨時數(shù)據(jù)域的域和臨時數(shù)據(jù)域的大小增加大小增加top_sp的的值，初始化它的局值，初

21、始化它的局部數(shù)據(jù)，并開始執(zhí)部數(shù)據(jù)，并開始執(zhí)行過程體行過程體臨時數(shù)據(jù)局部數(shù)據(jù)臨時數(shù)據(jù)局部數(shù)據(jù)返回值和參數(shù)返回值和參數(shù)返回值和參數(shù)返回值和參數(shù) 控制鏈控制鏈 和保存的機器狀態(tài)和保存的機器狀態(tài)top_sp base_sp 臨時數(shù)據(jù)局部數(shù)據(jù)臨時數(shù)據(jù)局部數(shù)據(jù)控制鏈控制鏈 和保存的機器狀態(tài)和保存的機器狀態(tài) 6.2 全局棧式存儲分配全局棧式存儲分配調(diào)用者調(diào)用者p和被調(diào)用者和被調(diào)用者q之間的任務(wù)劃分之間的任務(wù)劃分被調(diào)用者被調(diào)用者q的責任的責任調(diào)用者調(diào)用者p的責任的責任調(diào)用者調(diào)用者p的的活動記錄活動記錄被被調(diào)用者調(diào)用者q的活動記錄的活動記錄臨時數(shù)據(jù)局部數(shù)據(jù)臨時數(shù)據(jù)局部數(shù)據(jù)返回值和參數(shù)返回值和參數(shù)返回值和參數(shù)返回

22、值和參數(shù) 控制鏈控制鏈 和保存的機器狀態(tài)和保存的機器狀態(tài)top_sp base_sp 棧棧增增長長方方向向臨時數(shù)據(jù)局部數(shù)據(jù)臨時數(shù)據(jù)局部數(shù)據(jù)控制鏈控制鏈 和保存的機器狀態(tài)和保存的機器狀態(tài) 6.2 全局棧式存儲分配全局棧式存儲分配2、過程、過程p調(diào)用過程調(diào)用過程q的返回序列的返回序列臨時數(shù)據(jù)局部數(shù)據(jù)臨時數(shù)據(jù)局部數(shù)據(jù)返回值和參數(shù)返回值和參數(shù)返回值和參數(shù)返回值和參數(shù) 控制鏈控制鏈 和保存的機器狀態(tài)和保存的機器狀態(tài)top_sp base_sp 棧棧增增長長方方向向臨時數(shù)據(jù)局部數(shù)據(jù)臨時數(shù)據(jù)局部數(shù)據(jù)控制鏈控制鏈 和保存的機器狀態(tài)和保存的機器狀態(tài) 6.2 全局棧式存儲分配全局棧式存儲分配2、過程、過程p調(diào)用過

23、程調(diào)用過程q的返回序列的返回序列臨時數(shù)據(jù)局部數(shù)據(jù)臨時數(shù)據(jù)局部數(shù)據(jù)返回值返回值和參數(shù)和參數(shù)返回值和參數(shù)返回值和參數(shù) 控制鏈控制鏈 和保存的機器狀態(tài)和保存的機器狀態(tài)top_sp base_sp 棧棧增增長長方方向向臨時數(shù)據(jù)局部數(shù)據(jù)臨時數(shù)據(jù)局部數(shù)據(jù)控制鏈控制鏈 和保存的機器狀態(tài)和保存的機器狀態(tài) (1) q把返回值置入鄰把返回值置入鄰近近p的活動記錄存放的活動記錄存放返回值的地方返回值的地方 6.2 全局棧式存儲分配全局棧式存儲分配2、過程、過程p調(diào)用過程調(diào)用過程q的返回序列的返回序列(2) q對應(yīng)調(diào)用序列對應(yīng)調(diào)用序列的步驟的步驟(4)，減小，減小top_sp的值的值返回值和參數(shù)返回值和參數(shù)top_s

24、p base_sp 臨時數(shù)據(jù)局部數(shù)據(jù)臨時數(shù)據(jù)局部數(shù)據(jù)控制鏈控制鏈 和保存的機器狀態(tài)和保存的機器狀態(tài) 返回值和參數(shù)返回值和參數(shù)控制鏈控制鏈 和保存的機器狀態(tài)和保存的機器狀態(tài)6.2 全局棧式存儲分配全局棧式存儲分配2、過程、過程p調(diào)用過程調(diào)用過程q的返回序列的返回序列(3) q恢復(fù)寄存器恢復(fù)寄存器(包包括括base_sp)和機器和機器狀態(tài)，返回狀態(tài)，返回p返回值和參數(shù)返回值和參數(shù)top_sp base_sp 臨時數(shù)據(jù)局部數(shù)據(jù)臨時數(shù)據(jù)局部數(shù)據(jù)控制鏈控制鏈 和保存的機器狀態(tài)和保存的機器狀態(tài) 返回值和參數(shù)返回值和參數(shù)6.2 全局棧式存儲分配全局棧式存儲分配2、過程、過程p調(diào)用過程調(diào)用過程q的返回序列的返

25、回序列返回值和參數(shù)返回值和參數(shù)top_sp base_sp 臨時數(shù)據(jù)局部數(shù)據(jù)臨時數(shù)據(jù)局部數(shù)據(jù)控制鏈控制鏈 和保存的機器狀態(tài)和保存的機器狀態(tài) (4) p根據(jù)參數(shù)個數(shù)根據(jù)參數(shù)個數(shù)與類型和返回值類與類型和返回值類型調(diào)整型調(diào)整top_sp，然然后取出返回值后取出返回值6.2 全局棧式存儲分配全局棧式存儲分配6.2.4 棧上可變長數(shù)據(jù)棧上可變長數(shù)據(jù)活動記錄的長度在編譯時不能確定的情況活動記錄的長度在編譯時不能確定的情況 例：局部數(shù)組的大小要等到過程激活時才能例：局部數(shù)組的大小要等到過程激活時才能確定確定備注：備注： Java語言的實現(xiàn)是將它們分配在堆上語言的實現(xiàn)是將它們分配在堆上6.2 全局棧式存儲分配

26、全局棧式存儲分配訪問動態(tài)分配的數(shù)組訪問動態(tài)分配的數(shù)組控制鏈控制鏈數(shù)組數(shù)組A的指針的指針數(shù)組數(shù)組B的指針的指針top_sp base_sp . . . . . . .棧棧(1) 編譯時，在活編譯時，在活動記錄中為這樣動記錄中為這樣的數(shù)組分別存放的數(shù)組分別存放數(shù)組指針的單元數(shù)組指針的單元6.2 全局棧式存儲分配全局棧式存儲分配訪問動態(tài)分配的數(shù)組訪問動態(tài)分配的數(shù)組(2) 運行時，運行時，這些指針指向這些指針指向分配在棧頂?shù)姆峙湓跅ｍ數(shù)拇鎯臻g存儲空間控制鏈控制鏈數(shù)組數(shù)組A的指針的指針數(shù)組數(shù)組B的指針的指針top_sp base_sp . . . . . . .棧棧數(shù)組數(shù)組A數(shù)組數(shù)組B6.2 全局棧式

27、存儲分配全局棧式存儲分配訪問動態(tài)分配的數(shù)組訪問動態(tài)分配的數(shù)組(3) 運行時，運行時，對數(shù)組對數(shù)組A和和B的訪問都要通的訪問都要通過相應(yīng)指針來過相應(yīng)指針來間接訪問間接訪問控制鏈控制鏈數(shù)組數(shù)組A的指針的指針數(shù)組數(shù)組B的指針的指針top_sp base_sp . . . . . . .棧棧數(shù)組數(shù)組A數(shù)組數(shù)組B6.2 全局棧式存儲分配全局棧式存儲分配訪問動態(tài)分配的數(shù)組訪問動態(tài)分配的數(shù)組q的數(shù)組的數(shù)組q的活動記錄的活動記錄p的數(shù)組的數(shù)組p的活動記錄的活動記錄控制鏈控制鏈top_sp base_sp 數(shù)組數(shù)組A的指針的指針數(shù)組數(shù)組B的指針的指針數(shù)組數(shù)組A數(shù)組數(shù)組B控制鏈控制鏈. . . . . . .棧棧

28、6.2 全局棧式存儲分配全局棧式存儲分配6.2.5 懸空引用懸空引用懸空引用：懸空引用：引用某個已被釋放的存儲單元引用某個已被釋放的存儲單元6.2 全局棧式存儲分配全局棧式存儲分配6.2.5 懸空引用懸空引用懸空引用：懸空引用：引用某個已被釋放的存儲單元引用某個已被釋放的存儲單元main()|int dangle ( ) |int q;|int j = 20; q = dangle ( ); |return &j;|*6.3 非局部名字的訪問非局部名字的訪問本節(jié)介紹本節(jié)介紹 無過程嵌套的靜態(tài)作用域（無過程嵌套的靜態(tài)作用域（C語言）語言） 有過程嵌套的靜態(tài)作用域有過程嵌套的靜態(tài)作用域（P

29、ascal語言）語言） 動態(tài)作用域動態(tài)作用域（Lisp語言）語言）* 6.3 非局部名字的訪問非局部名字的訪問6.3.1 無過程嵌套的靜態(tài)作用域無過程嵌套的靜態(tài)作用域 過程體中的非局部引用可以直接使用靜態(tài)確過程體中的非局部引用可以直接使用靜態(tài)確定的地址定的地址 局部變量在棧頂?shù)幕顒佑涗浿?，可以通過局部變量在棧頂?shù)幕顒佑涗浿?，可以通過base_sp指針來訪問指針來訪問 無須深入棧中取數(shù)據(jù)，無須訪問鏈無須深入棧中取數(shù)據(jù)，無須訪問鏈 過程可以作為參數(shù)來傳遞，也可以作為結(jié)果過程可以作為參數(shù)來傳遞，也可以作為結(jié)果來返回來返回*6.3 非局部名字的訪問非局部名字的訪問6.3.2 有過程嵌套的靜態(tài)作用域有過

30、程嵌套的靜態(tài)作用域sortreadarrayexchangequicksortpartition*6.3 非局部名字的訪問非局部名字的訪問6.3.2 有過程嵌套的靜態(tài)作用域有過程嵌套的靜態(tài)作用域 過程過程嵌套深度嵌套深度sort1readarray2exchange2quicksort2partition3 變量的嵌套深度：它的聲明所在過程的嵌套變量的嵌套深度：它的聲明所在過程的嵌套深度作為該名字的嵌套深度深度作為該名字的嵌套深度 訪問鏈訪問鏈用來尋找非局部用來尋找非局部名字的存儲單元名字的存儲單元sa, xq (1, 9)k, v訪問鏈訪問鏈sa, xq (1, 3)k, v訪問鏈訪問鏈q

31、(1, 9)k, v訪問鏈訪問鏈sa, xq (1, 3)k, v訪問鏈訪問鏈q (1, 9)k, v訪問鏈訪問鏈p (1, 3)i, j訪問鏈訪問鏈e (1, 3)訪問鏈訪問鏈sa, xq (1, 3)k, v訪問鏈訪問鏈q (1, 9)k, v訪問鏈訪問鏈p (1, 3)i, j訪問鏈訪問鏈*6.3 非局部名字的訪問非局部名字的訪問*6.3 非局部名字的訪問非局部名字的訪問 訪問非局部名字的存儲單元訪問非局部名字的存儲單元 假定過程假定過程p的嵌套深度為的嵌套深度為np，它引用嵌套深度為它引用嵌套深度為na的變量的變量a，na np。如何訪問如何訪問a的存儲單元的存儲單元sort1read

32、array2exchange2quicksort2partition3*6.3 非局部名字的訪問非局部名字的訪問 訪問非局部名字的存儲單元訪問非局部名字的存儲單元 假定過程假定過程p的嵌套深度為的嵌套深度為np，它引用嵌套深度為它引用嵌套深度為na的變量的變量a，na np。如何訪問如何訪問a的存儲單元的存儲單元 從棧頂?shù)幕顒佑涗涢_始，追蹤訪問鏈從棧頂?shù)幕顒佑涗涢_始，追蹤訪問鏈np na次次到達到達a的聲明所在過程的活動記錄的聲明所在過程的活動記錄 訪問鏈的追蹤用間接操作就可完成訪問鏈的追蹤用間接操作就可完成sort1readarray2exchange2quicksort2partition

33、3 訪問非局部名字的存儲單元訪問非局部名字的存儲單元 sort readarray exchange quicksort partitionsa, xq (1, 9)k, v訪問鏈訪問鏈sa, xq (1, 3)k, v訪問鏈訪問鏈q (1, 9)k, v訪問鏈訪問鏈sa, xq (1, 3)k, v訪問鏈訪問鏈q (1, 9)k, v訪問鏈訪問鏈p (1, 3)i, j訪問鏈訪問鏈e (1, 3)訪問鏈訪問鏈sa, xq (1, 3)k, v訪問鏈訪問鏈q (1, 9)k, v訪問鏈訪問鏈p (1, 3)i, j訪問鏈訪問鏈*6.3 非局部名字的訪問非局部名字的訪問*6.3 非局部名字的訪問

34、非局部名字的訪問 C語言的函數(shù)聲明不能嵌套，函數(shù)不論在什語言的函數(shù)聲明不能嵌套，函數(shù)不論在什么情況下激活，要訪問的數(shù)據(jù)分成兩種情況么情況下激活，要訪問的數(shù)據(jù)分成兩種情況非靜態(tài)局部變量（包括形式參數(shù)），它們分配在非靜態(tài)局部變量（包括形式參數(shù)），它們分配在活動記錄棧頂?shù)哪莻€活動記錄中活動記錄棧頂?shù)哪莻€活動記錄中外部變量（包括定義在其它源文件之中的外部變外部變量（包括定義在其它源文件之中的外部變量）和靜態(tài)的局部變量，它們都分配在靜態(tài)數(shù)據(jù)量）和靜態(tài)的局部變量，它們都分配在靜態(tài)數(shù)據(jù)區(qū)區(qū)6.4 參參 數(shù)數(shù) 傳傳 遞遞6.4.1 值調(diào)用值調(diào)用 實參的右值傳給被調(diào)用過程實參的右值傳給被調(diào)用過程 值調(diào)用可以如下

35、實現(xiàn)值調(diào)用可以如下實現(xiàn) 把形參當作所在過程的局部名看待，形參的存儲把形參當作所在過程的局部名看待，形參的存儲單元在該過程的活動記錄中單元在該過程的活動記錄中調(diào)用過程計算實參，并把其右值放入形參的存儲調(diào)用過程計算實參，并把其右值放入形參的存儲單元中單元中6.4 參參 數(shù)數(shù) 傳傳 遞遞6.4.2 引用調(diào)用引用調(diào)用 實參的左值傳給被調(diào)用過程實參的左值傳給被調(diào)用過程 引用調(diào)用可以如下實現(xiàn)：引用調(diào)用可以如下實現(xiàn)： 把形參當作所在過程的局部名看待，形參的存儲把形參當作所在過程的局部名看待，形參的存儲單元在該過程的活動記錄中單元在該過程的活動記錄中調(diào)用過程計算實參，調(diào)用過程計算實參，把實參的左值放入形參的存

36、把實參的左值放入形參的存儲單元儲單元 在被調(diào)用過程的目標代碼中，任何對形參的引用在被調(diào)用過程的目標代碼中，任何對形參的引用都是通過傳給該過程的指針來間接引用實參都是通過傳給該過程的指針來間接引用實參6.4 參參 數(shù)數(shù) 傳傳 遞遞6.4.3 換名調(diào)用換名調(diào)用從概念上說，每次調(diào)用時，用實參表達式對從概念上說，每次調(diào)用時，用實參表達式對形參進行正文替換，然后再執(zhí)行形參進行正文替換，然后再執(zhí)行procedure swap(var x, y: integer);var temp: integer; begin temp := x; x := y; y := temp end6.4 參參 數(shù)數(shù) 傳傳 遞遞

37、6.4.3 換名調(diào)用換名調(diào)用從概念上說，每次調(diào)用時，用實參表達式對從概念上說，每次調(diào)用時，用實參表達式對形參進行正文替換，然后再執(zhí)行形參進行正文替換，然后再執(zhí)行procedure swap(var x, y: integer);var temp: integer;例如：例如：調(diào)用調(diào)用swap(i, ai) begin temp := x; x := y; y := temp end6.4 參參 數(shù)數(shù) 傳傳 遞遞6.4.3 換名調(diào)用換名調(diào)用從概念上說，每次調(diào)用時，用實參表達式對從概念上說，每次調(diào)用時，用實參表達式對形參進行正文替換，然后再執(zhí)行形參進行正文替換，然后再執(zhí)行procedure swa

38、p(var x, y: integer);var temp: integer;例如：例如：調(diào)用調(diào)用swap(i, ai) begin 替換結(jié)果：替換結(jié)果： temp := i; temp := x; i := ai; x := y; ai := temp y := temp end6.4 參參 數(shù)數(shù) 傳傳 遞遞6.4.3 換名調(diào)用換名調(diào)用從概念上說，每次調(diào)用時，用實參表達式對從概念上說，每次調(diào)用時，用實參表達式對形參進行正文替換，然后再執(zhí)行形參進行正文替換，然后再執(zhí)行procedure swap(var x, y: integer);var temp: integer;例如：例如：調(diào)用調(diào)用sw

39、ap(i, ai) begin 替換結(jié)果：替換結(jié)果： temp := i; temp := x; i := ai; x := y; ai := temp y := temp 交換兩個數(shù)據(jù)的程序交換兩個數(shù)據(jù)的程序 end并非總是正確并非總是正確 棧式存儲分配策略在下列情況下不能使用：棧式存儲分配策略在下列情況下不能使用： 活動結(jié)束時必須保持局部名字的值活動結(jié)束時必須保持局部名字的值 被調(diào)用者的活動比調(diào)用者的活動的生存期長。被調(diào)用者的活動比調(diào)用者的活動的生存期長。 堆式存儲器的策略：（堆管理器管理堆空間）堆式存儲器的策略：（堆管理器管理堆空間） 把連續(xù)存儲區(qū)域分成塊，當活動記錄或其他對象把連續(xù)存儲

40、區(qū)域分成塊，當活動記錄或其他對象需要時就分配。需要時就分配。 塊的釋放可以按任意次序進行，所以經(jīng)過一段時塊的釋放可以按任意次序進行，所以經(jīng)過一段時間后，堆可能包含交錯的正在使用的和已經(jīng)釋放間后，堆可能包含交錯的正在使用的和已經(jīng)釋放的區(qū)域的區(qū)域6.5 堆堆 管管 理理6.5 堆堆 管管 理理堆式分配堆式分配 堆用來存放生存期不確定的數(shù)據(jù)堆用來存放生存期不確定的數(shù)據(jù) C+和和Java允許程序員用允許程序員用new創(chuàng)建對象，它們的生存期沒創(chuàng)建對象，它們的生存期沒有被約束在創(chuàng)建它們的過程活動的生成期之內(nèi)有被約束在創(chuàng)建它們的過程活動的生成期之內(nèi) 實現(xiàn)內(nèi)存回收是內(nèi)存管理器的責任實現(xiàn)內(nèi)存回收是內(nèi)存管理器的責

41、任 堆空間的回收有兩種不同方式堆空間的回收有兩種不同方式 程序顯式釋放空間：程序顯式釋放空間：free（C）或）或delete（C+） 垃圾收集器自動收集（垃圾收集器自動收集（Java）。）。6.5 堆堆 管管 理理6.5.1 內(nèi)存管理器內(nèi)存管理器 內(nèi)存管理器把握的基本信息是堆中空閑空間內(nèi)存管理器把握的基本信息是堆中空閑空間 分配函數(shù)分配函數(shù) 回收函數(shù)回收函數(shù) 內(nèi)存管理器應(yīng)具有下列性質(zhì)內(nèi)存管理器應(yīng)具有下列性質(zhì) 空間有效性：極小化程序需要的堆空間總量空間有效性：極小化程序需要的堆空間總量 程序有效性：較好地利用內(nèi)存子系統(tǒng)，使得程序能運行程序有效性：較好地利用內(nèi)存子系統(tǒng)，使得程序能運行得快一些得快

42、一些 低開銷低開銷：分配和回收操作所花時間在整個程序執(zhí)行時間分配和回收操作所花時間在整個程序執(zhí)行時間中的比例盡量小中的比例盡量小6.5 堆堆 管管 理理6.5.2 計算機內(nèi)存分層計算機內(nèi)存分層虛擬內(nèi)存虛擬內(nèi)存(磁盤磁盤)物理內(nèi)存物理內(nèi)存2級緩存級緩存1級緩存級緩存寄存器寄存器(處理器處理器)典型大小典型大小 2千兆字節(jié)千兆字節(jié)256兆兆 2千兆字節(jié)千兆字節(jié)128千千 4兆字節(jié)兆字節(jié)16 64千字節(jié)千字節(jié)32字字典型訪問時間典型訪問時間3 15微秒微秒100 150納秒納秒40 60納秒納秒5 10納秒納秒1納秒納秒6.5 堆堆 管管 理理6.5.2 計算機內(nèi)存分層計算機內(nèi)存分層 現(xiàn)代計算機都設(shè)

43、計成程序員不用關(guān)心內(nèi)存子系統(tǒng)的細節(jié)現(xiàn)代計算機都設(shè)計成程序員不用關(guān)心內(nèi)存子系統(tǒng)的細節(jié)就可以寫出正確的程序就可以寫出正確的程序 程序的效率不僅取決于被執(zhí)行的指令數(shù)，還取決于執(zhí)行程序的效率不僅取決于被執(zhí)行的指令數(shù)，還取決于執(zhí)行每條指令需要多長時間每條指令需要多長時間 執(zhí)行一條指令的時間區(qū)別非?？捎^執(zhí)行一條指令的時間區(qū)別非常可觀 差異源于硬件技術(shù)的基本局限：構(gòu)造不了大容量的高速差異源于硬件技術(shù)的基本局限：構(gòu)造不了大容量的高速存儲器存儲器 數(shù)據(jù)以塊（緩存行、頁）為單位在相鄰層次之間進行傳數(shù)據(jù)以塊（緩存行、頁）為單位在相鄰層次之間進行傳送送 數(shù)據(jù)密集型程序可從恰當利用內(nèi)存子系統(tǒng)中獲益數(shù)據(jù)密集型程序可從恰當

44、利用內(nèi)存子系統(tǒng)中獲益6.5 堆堆 管管 理理6.5.3 程序局部性程序局部性 大多數(shù)程序的大部分時間在執(zhí)行一小部分代碼，并大多數(shù)程序的大部分時間在執(zhí)行一小部分代碼，并且僅涉及一小部分數(shù)據(jù)且僅涉及一小部分數(shù)據(jù) 時間局部性時間局部性 程序訪問的內(nèi)存單元在很短的時間內(nèi)可能再次被程序訪程序訪問的內(nèi)存單元在很短的時間內(nèi)可能再次被程序訪問問 空間局部性空間局部性 毗鄰被訪問單元的內(nèi)存單元在很短的時間內(nèi)可能被訪問毗鄰被訪問單元的內(nèi)存單元在很短的時間內(nèi)可能被訪問6.5 堆堆 管管 理理6.5.3 程序局部性程序局部性 從代碼本身很難看出哪部分代碼會被頻繁使用從代碼本身很難看出哪部分代碼會被頻繁使用,必必須動態(tài)

45、調(diào)整最快緩存的內(nèi)容須動態(tài)調(diào)整最快緩存的內(nèi)容 把最近使用的指令保存在緩存是一種較好的最優(yōu)把最近使用的指令保存在緩存是一種較好的最優(yōu)化利用內(nèi)存分層的策略化利用內(nèi)存分層的策略 改變數(shù)據(jù)布局或計算次序也可以改進程序數(shù)據(jù)訪改變數(shù)據(jù)布局或計算次序也可以改進程序數(shù)據(jù)訪問的時間和空間局部性問的時間和空間局部性6.5 堆堆 管管 理理6.5.4 手工回收請求手工回收請求 程序員在程序中顯式釋放堆塊來達到回收堆塊的目程序員在程序中顯式釋放堆塊來達到回收堆塊的目的的 內(nèi)存泄漏：沒有釋放已經(jīng)引用不到的堆塊內(nèi)存泄漏：沒有釋放已經(jīng)引用不到的堆塊 只要內(nèi)存沒有用盡，它就不影響程序的正確性只要內(nèi)存沒有用盡，它就不影響程序的正

46、確性 自動無用單元收集通過回收所有無用單元來擺脫內(nèi)存自動無用單元收集通過回收所有無用單元來擺脫內(nèi)存泄漏泄漏 懸空引用：引用已經(jīng)被釋放的堆塊懸空引用：引用已經(jīng)被釋放的堆塊 過分熱心地釋放數(shù)據(jù)對象而引起過分熱心地釋放數(shù)據(jù)對象而引起 懸空引用容易導致不會被捕獲的錯誤懸空引用容易導致不會被捕獲的錯誤 本本 章章 要要 點點 影響存儲分配策略的語言特征影響存儲分配策略的語言特征 各種存儲分配策略，主要了解靜態(tài)分配和動各種存儲分配策略，主要了解靜態(tài)分配和動態(tài)棧式分配態(tài)棧式分配 活動記錄中各種數(shù)據(jù)域的作用和布局活動記錄中各種數(shù)據(jù)域的作用和布局 非局部數(shù)據(jù)訪問的實現(xiàn)方法非局部數(shù)據(jù)訪問的實現(xiàn)方法 各種參數(shù)傳遞方

47、式及其實現(xiàn)各種參數(shù)傳遞方式及其實現(xiàn) 堆管理堆管理例例 題題 1一個一個C語言程序及其在語言程序及其在X86/Linux操作系統(tǒng)上的編譯結(jié)操作系統(tǒng)上的編譯結(jié)果如下。果如下。根據(jù)所生成的匯編程序來解釋程序中四個變根據(jù)所生成的匯編程序來解釋程序中四個變量的存儲分配、作用域、生存期和置初值方式等方面量的存儲分配、作用域、生存期和置初值方式等方面的區(qū)別的區(qū)別static long aa = 10;short bb = 20;func() static long cc = 30; short dd = 40;例例 題題 1.data|.align 4.align 4|.type cc.2,object.t

48、ype aa,object|.size cc.2,4.size aa,4| cc.2:aa:|.long 30.long 10| .text.globl bb|.align 4.align 2| .globl func .type bb,object| func:.size bb,2|. . .bb:|movw $40,-2(%ebp).value 20|. . .例例 題題 1.data|.align 4.align 4|.type cc.2,object.type aa,object|.size cc.2,4.size aa,4| cc.2:aa:|.long 30.long 10| .t

49、ext.globl bb|.align 4.align 2| .globl func .type bb,object| func:.size bb,2|. . .bb:|movw $40,-2(%ebp).value 20|. . .例例 題題 1.data|.align 4.align 4|.type cc.2,object.type aa,object|.size cc.2,4.size aa,4| cc.2:aa:|.long 30.long 10| .text.globl bb|.align 4.align 2| .globl func .type bb,object| func:.s

50、ize bb,2|. . .bb:|movw $40,-2(%ebp).value 20|. . .例例 題題 1.data|.align 4.align 4|.type cc.2,object.type aa,object|.size cc.2,4.size aa,4| cc.2:aa:|.long 30.long 10| .text.globl bb|.align 4.align 2| .globl func .type bb,object| func:.size bb,2|. . .bb:|movw $40,-2(%ebp).value 20|. . .例例 題題 2func(i)lon

51、g i;long j;j= i -1;func(j);例例 題題 2func(i)func: long i; pushl %ebp 老的基地址指針壓棧老的基地址指針壓棧 movl %esp,%ebp修改修改基地址指針基地址指針 long j; subl $4,%esp 為為j分配空間分配空間 j= i -1; movl 8(%ebp),%edx 取取i到到寄存器寄存器 func(j); decl %edx i 1 movl %edx,-4(%ebp) i 1 j movl -4(%ebp),%eax pushl %eax 把實參把實參j的值壓棧的值壓棧 call func 函數(shù)調(diào)用函數(shù)調(diào)用 a

52、ddl $4,%esp 恢復(fù)棧頂指針恢復(fù)棧頂指針L1: leave 即即 mov ebp, esp; pop ebp ret 即即 pop eip(下條指令地址）下條指令地址）. . .參數(shù)參數(shù)i返址返址控制鏈控制鏈變量變量j. . .ebp esp 棧棧低低高高例例 題題 2func(i)func: long i; pushl %ebp 老的基地址指針壓棧老的基地址指針壓棧 movl %esp,%ebp修改修改基地址指針基地址指針 long j; subl $4,%esp 為為j分配空間分配空間 j= i -1; movl 8(%ebp),%edx 取取i到到寄存器寄存器 func(j);

53、decl %edx i 1 movl %edx,-4(%ebp) i 1 j movl -4(%ebp),%eax pushl %eax 把實參把實參j的值壓棧的值壓棧 call func 函數(shù)調(diào)用函數(shù)調(diào)用 addl $4,%esp 恢復(fù)棧頂指針恢復(fù)棧頂指針L1: leave 即即 mov ebp, esp; pop ebp ret 即即 pop eip(下條指令地址）下條指令地址）. . . . .ebp esp 例例 題題 2func(i)func: long i; pushl %ebp 老的基地址指針壓棧老的基地址指針壓棧 movl %esp,%ebp修改修改基地址指針基地址指針 lon

54、g j; subl $4,%esp 為為j分配空間分配空間 j= i -1; movl 8(%ebp),%edx 取取i到到寄存器寄存器 func(j); decl %edx i 1 movl %edx,-4(%ebp) i 1 j movl -4(%ebp),%eax pushl %eax 把實參把實參j的值壓棧的值壓棧 call func 函數(shù)調(diào)用函數(shù)調(diào)用 addl $4,%esp 恢復(fù)棧頂指針恢復(fù)棧頂指針L1: leave 即即 mov ebp, esp; pop ebp ret 即即 pop eip(下條指令地址）下條指令地址）. . . . .ebp esp 參數(shù)參數(shù)i例例 題題 2

55、func(i)func: long i; pushl %ebp 老的基地址指針壓棧老的基地址指針壓棧 movl %esp,%ebp修改修改基地址指針基地址指針 long j; subl $4,%esp 為為j分配空間分配空間 j= i -1; movl 8(%ebp),%edx 取取i到到寄存器寄存器 func(j); decl %edx i 1 movl %edx,-4(%ebp) i 1 j movl -4(%ebp),%eax pushl %eax 把實參把實參j的值壓棧的值壓棧 call func 函數(shù)調(diào)用函數(shù)調(diào)用 addl $4,%esp 恢復(fù)棧頂指針恢復(fù)棧頂指針L1: leave

56、即即 mov ebp, esp; pop ebp ret 即即 pop eip(下條指令地址）下條指令地址）. . . . .ebp esp 參數(shù)參數(shù)i返址返址例例 題題 2func(i)func: long i; pushl %ebp 老的基地址指針壓棧老的基地址指針壓棧 movl %esp,%ebp修改修改基地址指針基地址指針 long j; subl $4,%esp 為為j分配空間分配空間 j= i -1; movl 8(%ebp),%edx 取取i到到寄存器寄存器 func(j); decl %edx i 1 movl %edx,-4(%ebp) i 1 j movl -4(%ebp)

57、,%eax pushl %eax 把實參把實參j的值壓棧的值壓棧 call func 函數(shù)調(diào)用函數(shù)調(diào)用 addl $4,%esp 恢復(fù)棧頂指針恢復(fù)棧頂指針L1: leave 即即 mov ebp, esp; pop ebp ret 即即 pop eip(下條指令地址）下條指令地址）. . . . .ebp esp 參數(shù)參數(shù)i返址返址控制鏈控制鏈例例 題題 2func(i)func: long i; pushl %ebp 老的基地址指針壓棧老的基地址指針壓棧 movl %esp,%ebp修改修改基地址指針基地址指針 long j; subl $4,%esp 為為j分配空間分配空間 j= i -1

58、; movl 8(%ebp),%edx 取取i到到寄存器寄存器 func(j); decl %edx i 1 movl %edx,-4(%ebp) i 1 j movl -4(%ebp),%eax pushl %eax 把實參把實參j的值壓棧的值壓棧 call func 函數(shù)調(diào)用函數(shù)調(diào)用 addl $4,%esp 恢復(fù)棧頂指針恢復(fù)棧頂指針L1: leave 即即 mov ebp, esp; pop ebp ret 即即 pop eip(下條指令地址）下條指令地址）. . . . .ebp esp 參數(shù)參數(shù)i返址返址控制鏈控制鏈例例 題題 2func(i)func: long i; pushl

59、%ebp 老的基地址指針壓棧老的基地址指針壓棧 movl %esp,%ebp修改修改基地址指針基地址指針 long j; subl $4,%esp 為為j分配空間分配空間 j= i -1; movl 8(%ebp),%edx 取取i到到寄存器寄存器 func(j); decl %edx i 1 movl %edx,-4(%ebp) i 1 j movl -4(%ebp),%eax pushl %eax 把實參把實參j的值壓棧的值壓棧 call func 函數(shù)調(diào)用函數(shù)調(diào)用 addl $4,%esp 恢復(fù)棧頂指針恢復(fù)棧頂指針L1: leave 即即 mov ebp, esp; pop ebp re

60、t 即即 pop eip(下條指令地址）下條指令地址）. . .參數(shù)參數(shù)i返址返址控制鏈控制鏈變量變量j. . .ebp esp 棧棧低低高高例例 題題 2func(i)func: long i; pushl %ebp 老的基地址指針壓棧老的基地址指針壓棧 movl %esp,%ebp修改修改基地址指針基地址指針 long j; subl $4,%esp 為為j分配空間分配空間 j= i -1; movl 8(%ebp),%edx 取取i到到寄存器寄存器 func(j); decl %edx i 1 movl %edx,-4(%ebp) i 1 j movl -4(%ebp),%eax pushl %eax 把實參把實參j的值壓棧的值壓棧 call func 函數(shù)調(diào)用函數(shù)調(diào)用 addl $4,%esp 恢復(fù)棧頂指針