目標(biāo)程序運(yùn)行時(shí)的存儲(chǔ)組織概述

1、 目標(biāo)代碼區(qū)目標(biāo)代碼區(qū) 靜態(tài)數(shù)據(jù)區(qū)靜態(tài)數(shù)據(jù)區(qū) Stack heap靜靜態(tài)態(tài)文文本本中中 運(yùn)運(yùn)行行時(shí)時(shí)動(dòng)動(dòng)作作及及為為實(shí)實(shí)現(xiàn)現(xiàn)其其動(dòng)動(dòng)作作的的準(zhǔn)準(zhǔn)備備 （與與運(yùn)運(yùn)行行時(shí)時(shí)數(shù)數(shù)據(jù)據(jù)對(duì)對(duì)象象的的表表示示有有關(guān)關(guān)）過(guò)過(guò)程程定定義義 過(guò)過(guò)程程名名執(zhí)執(zhí)行行過(guò)過(guò)程程體體 過(guò)過(guò)程程體體 控控制制數(shù)數(shù)據(jù)據(jù)對(duì)對(duì)象象的的分分配配，為為執(zhí)執(zhí)行行過(guò)過(guò)程程體體使使用用源源文文本本中中同同樣樣的的名名字字 目目標(biāo)標(biāo)程程序序中中不不同同的的數(shù)數(shù)據(jù)據(jù)空空間間因因?yàn)闉橐灰粋€(gè)個(gè)過(guò)過(guò)程程可可以以是是遞遞歸歸的的，這這時(shí)時(shí)同同一一個(gè)個(gè)名名字字在在不不同同的的時(shí)時(shí)間間可可能能代代表表不不同同的的存存儲(chǔ)儲(chǔ)單單元元決決定定存存儲(chǔ)儲(chǔ)管管理理復(fù)

2、復(fù)雜雜程程度度的的因因素素源源語(yǔ)語(yǔ)言言本本身身1. 允允許許的的數(shù)數(shù)據(jù)據(jù)類類型型的的多多少少2語(yǔ)語(yǔ)言言中中允允許許的的數(shù)數(shù)據(jù)據(jù)項(xiàng)項(xiàng)是是 靜靜態(tài)態(tài)確確定定 動(dòng)動(dòng)態(tài)態(tài)確確定定3程程序序結(jié)結(jié)構(gòu)構(gòu) 決決定定名名字字的的作作用用域域的的規(guī)規(guī)則則和和結(jié)結(jié)構(gòu)構(gòu)A 段段結(jié)結(jié)構(gòu)構(gòu)B 過(guò)過(guò)程程定定義義不不嵌嵌套套，只只允允許許過(guò)過(guò)程程遞遞歸歸調(diào)調(diào)用用C 分分程程序序結(jié)結(jié)構(gòu)構(gòu)分分程程序序嵌嵌套套過(guò)過(guò)程程定定義義嵌嵌套套存存儲(chǔ)儲(chǔ)分分配配方方案案策策略略： 靜靜態(tài)態(tài)存存儲(chǔ)儲(chǔ)分分配配 動(dòng)動(dòng)態(tài)態(tài)存存儲(chǔ)儲(chǔ)分分配配棧棧式式 堆堆式式 數(shù)數(shù)組組內(nèi)內(nèi)情情向向量量: 編編譯譯中中，將將數(shù)數(shù)組組的的有有關(guān)關(guān)信信息息記記錄錄在在一一些些

3、單單元元中中，稱稱為為“內(nèi)內(nèi)情情向向量量”，確確定定數(shù)數(shù)組組，放放在在符符號(hào)號(hào)表表中中；可可變變數(shù)數(shù)組組，運(yùn)運(yùn)行行時(shí)時(shí)建建立立相相應(yīng)應(yīng)的的內(nèi)內(nèi)情情向向量量。Al 1:u 1,l 2:u 2, ,l ln n : : u un n l1 u1 l2 u2 : : type a（首首地地址址） n C 過(guò)程活動(dòng)記錄過(guò)程活動(dòng)記錄 AR:為說(shuō)明方便，假定程序是由過(guò)程組成，過(guò)程區(qū)分為源文本，為說(shuō)明方便，假定程序是由過(guò)程組成，過(guò)程區(qū)分為源文本，運(yùn)行時(shí)稱作過(guò)程的激活。運(yùn)行時(shí)稱作過(guò)程的激活。一個(gè)過(guò)程的一次執(zhí)行所需要的信息使用一個(gè)連續(xù)的存儲(chǔ)區(qū)來(lái)一個(gè)過(guò)程的一次執(zhí)行所需要的信息使用一個(gè)連續(xù)的存儲(chǔ)區(qū)來(lái)管理，這個(gè)區(qū)管理

4、，這個(gè)區(qū) （塊）叫做一個(gè)活動(dòng)記錄或（塊）叫做一個(gè)活動(dòng)記錄或 frame（幀幀）一般這個(gè)段要記錄：一般這個(gè)段要記錄： 臨時(shí)值，如計(jì)算表達(dá)式時(shí)的中間工作單元。臨時(shí)值，如計(jì)算表達(dá)式時(shí)的中間工作單元。 局部變量局部變量（數(shù)據(jù)）（數(shù)據(jù)） 保存運(yùn)行過(guò)程前的狀態(tài)保存運(yùn)行過(guò)程前的狀態(tài)（返回地址，寄存器值）（返回地址，寄存器值） 存取鏈存取鏈（可選）（可選） 對(duì)于非局部量的引用。對(duì)于非局部量的引用。 控制鏈控制鏈（可選）（可選） 指向調(diào)用者的活動(dòng)記錄，釋放棧。指向調(diào)用者的活動(dòng)記錄，釋放棧。 實(shí)參實(shí)參（形式單元）（形式單元） 返回值返回值（對(duì)函數(shù)）（對(duì)函數(shù)）（有時(shí)可使用寄存器存放返回值）（有時(shí)可使用寄存器存放返回

5、值）Main-Q-R Main-Q-Q TOP- R 的活動(dòng)記錄的活動(dòng)記錄 Q 的活動(dòng)記錄的活動(dòng)記錄 SP- Q 的活動(dòng)記錄的活動(dòng)記錄 Q 的活動(dòng)記錄的活動(dòng)記錄 主程序全局主程序全局 主程序全局主程序全局 數(shù)據(jù)區(qū)數(shù)據(jù)區(qū) 數(shù)據(jù)區(qū)數(shù)據(jù)區(qū)TOP- 臨時(shí)工作單元臨時(shí)工作單元 局部簡(jiǎn)單變量局部簡(jiǎn)單變量 局部數(shù)組的內(nèi)情向量局部數(shù)組的內(nèi)情向量 保存運(yùn)保存運(yùn) 行過(guò)程前的狀態(tài)行過(guò)程前的狀態(tài)（返回地址，寄存器值）（返回地址，寄存器值） 實(shí)參實(shí)參（形式單元）和參數(shù)個(gè)數(shù)（形式單元）和參數(shù)個(gè)數(shù) SP- 控制鏈控制鏈（老（老 SP） TOP R 的數(shù)組區(qū)的數(shù)組區(qū) SP R 的活動(dòng)記錄的活動(dòng)記錄 Q 的活動(dòng)記錄的活動(dòng)記錄

6、主程序全局主程序全局 數(shù)據(jù)區(qū)數(shù)據(jù)區(qū)例：例：program main(i,0); 程序結(jié)構(gòu)圖程序結(jié)構(gòu)圖 proc R(c,d); R end /*R*/ proc P (a); 主主 proc Q (b); P Q call R R(x,y); end /*Q*/ call Q Q(z); call P end /*P*/ call R P（W）；）； R（U，V）；）； end /*main*/ . P 的的活動(dòng)記錄活動(dòng)記錄主程序的主程序的活動(dòng)記錄活動(dòng)記錄 d1d0displaysptop主程序的主程序的活動(dòng)記錄活動(dòng)記錄 d0spdisplaytop（1）（2）R 的的活動(dòng)記錄活動(dòng)記錄 Q 的

7、的活動(dòng)記錄活動(dòng)記錄 P 的的活動(dòng)記錄活動(dòng)記錄主程序的主程序的活動(dòng)記錄活動(dòng)記錄Q 的的活動(dòng)記錄活動(dòng)記錄 P 的的活動(dòng)記錄活動(dòng)記錄主程序的主程序的活動(dòng)記錄活動(dòng)記錄 displayd2d1d0 d1d0 displaysptoptopsp（3）（4） 當(dāng)過(guò)程的層次為當(dāng)過(guò)程的層次為n，它的它的 display為為n+1個(gè)個(gè)值。值。 一個(gè)過(guò)程被調(diào)用時(shí)，一個(gè)過(guò)程被調(diào)用時(shí)，從調(diào)用過(guò)程的從調(diào)用過(guò)程的DISPLAY表中自下向表中自下向上抄錄上抄錄n個(gè)個(gè)SP值，再加值，再加上本層的上本層的SP值。值。全局全局DISPLAY地址地址Display作為活動(dòng)記錄的一部分 變 量 e B5 的 T O P 數(shù) 組 C 的

8、 內(nèi) 情 向 量 變 量 e 和 d B4 的 T O PB2的 TOP 數(shù) 組 B 的 內(nèi) 情 向 量 變 量 zKB1 的 T O PDD I S P L A Y6形 式 單 元 m,n5參 數(shù) 個(gè) 數(shù)：24調(diào) 用 時(shí) 的 棧 頂 地 址（老 T O P）3全 局 D I S P L A Y 地 址2返 回 地 址1老 S P0過(guò) 程 的 T O P，指 向 活 動(dòng) 記 錄 之 頂B的 內(nèi) 情 向 量 Z B1的 T O PD I S P L A YD I S P L A Y 形 式 單 元 m , n 2 形 式 單 元 m , n 2連 接 數(shù) 據(jù)連 接 數(shù) 據(jù) A 的 T O PA的

9、 T O P (a) (b)(a) 到 達(dá) 標(biāo) 號(hào) B1處 ; (b)進(jìn) 入 分 程 序 B1;B Z B1T O 數(shù) 組 B 數(shù) 組 B e dB22的 T O PB 的 內(nèi) 情 向 量B 的 內(nèi) 情 向 量 z zB1 的 T O PB1的 T O PD I S P L A YD I S P L A Y 形式單元 m,n 2 形式單元 m,n 2連 接 數(shù) 據(jù)連接 數(shù) 據(jù)A 的 T O PA 的 T O P (c) (d)(c )數(shù)組 B 分配之后； （d）進(jìn)入分程序 B22; 數(shù) 組C 數(shù) 組 C 數(shù) 組B 數(shù) 組 B C的 向 量 內(nèi) 情 eB5的T O PC 的 內(nèi) 情 向 量B4的T O PB4的T O PB 的 內(nèi) 情 向 量B的 內(nèi) 情 向 量 z ZB1的T O PB1 的T O PD I S P L