第六章運(yùn)行時(shí)刻環(huán)境序61源語(yǔ)言中的一些問(wèn)題62存儲(chǔ)組織-資料下載頁(yè)
【導(dǎo)讀】源程序中的名字?它受命于源程序的執(zhí)行語(yǔ)義。源程序由一組過(guò)程按某種規(guī)則組成。環(huán)境，由運(yùn)行支持程序組織好。計(jì)語(yǔ)言，由過(guò)程構(gòu)成源程序的方法不同。的，要么是不相交的。vari，j，x，v：integer；1．程序執(zhí)行的控制是順序的；程被調(diào)用點(diǎn)的后面。過(guò)程的一次活動(dòng):過(guò)程體的每一次執(zhí)行。存期要么是不重疊的，要么是嵌套的。一個(gè)過(guò)程中插入兩個(gè)打印語(yǔ)句來(lái)加以說(shuō)明。用一顆樹(shù)來(lái)描繪控制進(jìn)入和離開(kāi)活動(dòng)的途徑。這祥的樹(shù)稱(chēng)作活動(dòng)樹(shù)。發(fā)生在b的生存期之前。用活動(dòng)樹(shù)來(lái)討論正在這個(gè)結(jié)點(diǎn)上的控制。根次序遍歷活動(dòng)樹(shù)。因此，用一個(gè)棧保存過(guò)。程活動(dòng)的生存蹤跡?；顒?dòng)的生存期的嵌套關(guān)系。這個(gè)活動(dòng)所使用的存儲(chǔ)空間；這個(gè)活動(dòng)結(jié)束，中綁定的屬性信息。數(shù)據(jù)名字映射到目標(biāo)機(jī)存儲(chǔ)單元的過(guò)程。引進(jìn)兩個(gè)函數(shù)，environment和state。要取決于對(duì)源程序中下面的問(wèn)題的回答。3．一個(gè)過(guò)程可以訪問(wèn)非局部名嗎？4．當(dāng)調(diào)用過(guò)程時(shí)參數(shù)是怎樣傳遞的？
【正文】 人或彈出運(yùn)行時(shí)刻的棧中的情況，設(shè)寄存器 top標(biāo)記棧頂。 33 s S a:array top r r i:integer top top q(1,9) q(1,9) p(1,9) p(1,9) i:integer top q(1,3) q 3top 圖 棧式分配活動(dòng)記錄在棧中的變化 34 確定活動(dòng)記錄中局部數(shù)據(jù)的地址：假設(shè) topsp標(biāo)記一個(gè)活動(dòng)記錄的開(kāi)始的位置， dx表 示 x的地址相對(duì)于 topsp的偏移量。那么， x在 過(guò)程的目標(biāo)代碼中的地址可寫(xiě)成 dx（ topsp） 在運(yùn)行時(shí)刻，當(dāng)把 x的 活動(dòng)記錄筑于棧頂時(shí)，寄 存器 top sp被賦于實(shí)際的地址， top sp可以是 一個(gè)寄存器。 調(diào)用序列和返回序列 通過(guò)在目標(biāo)代碼中生成調(diào)用序列和返回序列 實(shí)現(xiàn)過(guò)程的調(diào)用 。 激活一個(gè)過(guò)程的活動(dòng)是執(zhí)行 35 過(guò)程語(yǔ)句的結(jié)果。過(guò)程語(yǔ)句 p(e1,e2,…… ,en) 的目標(biāo)代碼（調(diào)用序列）完成任務(wù)： 1. 調(diào)用者對(duì)實(shí)在參數(shù)求值，并把它們傳送給 被調(diào)用過(guò)程的活動(dòng)記錄的參數(shù)域。 2．調(diào)用者在被調(diào)用者的活動(dòng)記錄中存放返 回地址和老 topsp之值。之后調(diào)用者把 top一 sp之值增加到圖 。 3．被調(diào)用者存放寄存器值和其它狀態(tài)信息。 4．被調(diào)用者初始化其局部數(shù)據(jù)并開(kāi)始執(zhí)行。 36 返回序列， return目標(biāo)代碼完成的任務(wù)是： 1．被調(diào)用者在自己的活動(dòng)記錄的返回值域 中放一個(gè)返回值。 2．利用狀態(tài)域中的信息，被調(diào)用者恢復(fù) topsp和其它寄存器，并且按返回地址轉(zhuǎn) 移到調(diào)用者的代碼之中。 3．調(diào)用者復(fù)制返回值到自己的活動(dòng)記錄中。 任務(wù)的劃分，根據(jù)源語(yǔ)言、目標(biāo)機(jī)器和操 作系統(tǒng)等具體情況而定。 上述任務(wù)，由運(yùn)行支持子程序完成，可視為虛機(jī)指令。 37 可變長(zhǎng)度的數(shù)據(jù) 源程序的例子 PROCEDURE exam(l,m,n:integer)。 VAR a:array [1..l] of real。 b:array [1..m] of real。 c:array [1..n] of real。 BEGIN …… END。 編譯時(shí)，不知 a,b,c的 大小，僅對(duì)每個(gè)數(shù)組設(shè)置一個(gè)指針。 38 Control link ?a ?b ?c Topsp top Array a Array b Array c top P的活動(dòng)記錄 P的動(dòng)態(tài)數(shù)組 圖 動(dòng)態(tài)分配的數(shù)組 39 活動(dòng)記錄的進(jìn)棧和推棧 棧頂活動(dòng)記錄用兩個(gè)指針 top和 topsp指示。 topsp指向棧頂活動(dòng)記錄保存機(jī)器狀態(tài)域的末 端，用于訪問(wèn)局部數(shù)據(jù)。 top指向棧頂。 P調(diào)用 q： 棧 [top+h]:=topsp。 topsp:=top+h。 top:=top+q的活動(dòng)記錄長(zhǎng)度 從 q的活動(dòng)返回： top:=topsp–q (h) topsp:=棧 [topsp] 40 p q topsp topsp top top h 41 堆式存儲(chǔ)分配 1．局部名的值在活動(dòng)結(jié)束時(shí)必須被保存。 2. 被調(diào)用者的活動(dòng)生存期超過(guò)調(diào)用者。 用活動(dòng)樹(shù)不能夠正確描繪這種語(yǔ)言的過(guò) 程之間的控制流。 new(p)。 dispose(p)。
鄂ICP備17016276號(hào)-1