目標(biāo)程序運行時的存儲組織概論(ppt 54頁)(文件)
【正文】 向量 返回地址 實參 （形式單元） SP? 參數(shù)個數(shù) 控制鏈 （老 SP） 圖 無嵌套定義 的過程活動記錄內(nèi)容 常常使用兩個指針指示棧最頂端的數(shù)據(jù)區(qū)，一個稱為 SP，一個稱為 TOP。 嵌套過程語言的棧式實現(xiàn) 主要特點： ? （語言）一個過程可以引用包圍它的任一外層過程所定義的標(biāo)識符（如變量，數(shù)組或過程等）。 (3) x: integer。 //readarray 的過程體 (7) procedure exchange(i,j: integer)。 //exchange 的過程體 (10) end{exchange}。 //quicksort內(nèi)嵌套定義的 partition的函數(shù)頭 (14) var :integer。 //quicksort 的過程體 (20) begin?end{sort}. //sort 的例程體 圖 具有嵌套過程的 PASCAL程序 圖 PASCAL程序中過程定義的嵌套情況如下： sort readarray exchange quicksort partition 局部變量 a,x 局部變量 k,v 過程 quicksort的活動記錄 過程 sort的活動記錄 圖 存儲棧布局 記錄下列信息： 可以引用過程 sort的局部變量 關(guān)鍵技術(shù)：解決對非局部量的引用（存?。? 跟蹤的辦法很多，我們介紹兩種，一種是在過程活動記錄中增設(shè)存取鏈，指向包含該過程的直接外層過程的最新活動記錄的起始位置。如果該程序的某次執(zhí)行順序為： sort→quicksort→quicksort→partition→exchange… 即主程序 (最外層過程 )sort開始執(zhí)行 ,繼而進(jìn)入過程quicksort，而又一次進(jìn)入過程 quicksort，接著進(jìn)入過程 partition，進(jìn)入過程 exchange…。 exchange的活動記錄 partition的活動記錄 quicksort的活動記錄 quicksort的活動記錄 sort的活動記錄 解決對非局部量的引用（存?。┑挠行мk法是用 Display表。 integer m,n。 L3: 2 end。 end。但這種做法是極為低效的。 例如：如果有一個從第 5層分程序轉(zhuǎn)出到達(dá)第 1層分程序的標(biāo)號 L，雖然在第 5層分程序工作時知道 L所屬的層數(shù)，我們極易從 DISPLAY中獲得第 1層分程序的活動記錄基址（ SP），但是怎么知道第 1層分程序進(jìn)入時的 TOP呢？唯一的辦法是從 5,4,3和 2各層順序退出。這樣，上述的第二個問題便可解決。而過程體分程序（假定是一個分程序）當(dāng)作是它所管轄的第 1層分程序。 5. 過程所轄的各分程序的局部數(shù)據(jù)單元。 (2) var x:integer。 a[j]:=x (5) end。 (4) var temp:integer。 (10)begin (11) a:=1。writeln(‘b=‘,b) (14)end. 帶有過程 swap的 PASCAL程序 傳值（值調(diào)用 callbyvalue） 特點是對形式參數(shù)的任何運算不影響實參的值。 （ 2）調(diào)用過程計算實參的值，并將其放在對應(yīng)形式單元開辟的空間中。 begin temp:=x。 傳地址的實現(xiàn) 把實在參數(shù)的地址傳遞給相應(yīng)的形參，即 調(diào)用過程把一個指向?qū)崊⒌拇鎯Φ刂返闹羔槀鬟f給被調(diào)用過程相應(yīng)的形參： （ 1）實在參數(shù)是一個名字，或具有左值的表達(dá)式 傳遞左值 （ 2）實在參數(shù)是無左值的表達(dá)式 計算值，放入一存儲單元，傳此存儲單元地址 （ 3）目標(biāo)代碼中，被調(diào)用過程對形參的引用變成對傳遞給被調(diào)用過程的指針的間接引用 procedure swap( x,y:integer)。) a1所指單元 的內(nèi)容置為 a2所指單元值 4( y :=temp) a2所指單元 的內(nèi)容置為 temp的 值 (1)swap(x,y) (2)int *x,*y。 *y=temp。 (10)} 在一個值調(diào)用過程中使用指針的 C程序，在 C程序中無傳地址所以用指針實現(xiàn)。 ? (2)procedure b(function h(n:integer):integer)。 ? (6) function f(n:integer):integr。 ? (9)begin ? (10) c ? (11)end 圖 1027 嵌套過程作為參數(shù)傳遞 param c 存取鏈 m b f. 存取鏈 圖 1028 連同存取鏈一起 傳遞過程實參 本 章 作 業(yè) ? P247： 1， 2， 3 。 ? (8)begin m := 0。 ? (4)procedure c。 除了實參是過程的情況外，還有實參為數(shù)組的情況，實參為標(biāo)號的情況以及實參為形式參數(shù)的情況。 (8) swap(a,b)。 (4) temp=*x。 begin temp:=x。 其結(jié)果等價于執(zhí)行下列運算： x :=a； y :=b；
教學(xué)課件相關(guān)推薦
鄂ICP備17016276號-1