目標(biāo)程序運(yùn)行時(shí)的存儲(chǔ)組織概論(ppt54頁)(編輯修改稿)
2025-03-11 13:07 本頁面
【文章內(nèi)容簡介】 ray的過程頭 (5) var i: integer。 (6) begin?a?end{readarray}。 //readarray 的過程體 (7) procedure exchange(i,j: integer)。 //sort內(nèi)嵌套定義的 exchange的過程頭 (8) begin (9) x∶=a[i]。 a[i]∶=a[j]。 a[j]∶=x。 //exchange 的過程體 (10) end{exchange}。 (11) procedure quicksort(m,n: integer)。 //sort內(nèi)嵌套定義的 quicksort的過程頭 (12) var k,v: integer。 (13) function partition(y,z:integer):integer。 //quicksort內(nèi)嵌套定義的 partition的函數(shù)頭 (14) var :integer。 (15) begin ?a? //partition 的函數(shù)體 (16) ?v? (17) ? exchange(i,j)。? (18) end{partition}。 (19) begin?end{quicksort}。 //quicksort 的過程體 (20) begin?end{sort}. //sort 的例程體 圖 具有嵌套過程的 PASCAL程序 圖 PASCAL程序中過程定義的嵌套情況如下： sort readarray exchange quicksort partition 局部變量 a,x 局部變量 k,v 過程 quicksort的活動(dòng)記錄 過程 sort的活動(dòng)記錄 圖 存儲(chǔ)棧布局 記錄下列信息： 可以引用過程 sort的局部變量 關(guān)鍵技術(shù)：解決對(duì)非局部量的引用（存?。? 設(shè)法跟蹤每個(gè)外層過程的最新活動(dòng)記錄 AR的位置。 跟蹤辦法： 1. 用靜態(tài)鏈（如 PL/0的 SL）。 2. 用 DISPLAY表。 跟蹤的辦法很多，我們介紹兩種，一種是在過程活動(dòng)記錄中增設(shè)存取鏈，指向包含該過程的直接外層過程的最新活動(dòng)記錄的起始位置。過程活動(dòng)記錄的內(nèi)容如圖 （ a）所示。圖 況可用圖 （ b）說明。 圖 嵌套定義過程的活動(dòng)記錄和存儲(chǔ)棧 (a) 局部變量 ┆ 存取鏈 控制鏈 TOP SP ┆ ┆ 存取鏈 控制鏈 (老 SP) ┆ ┆ TOP SP (b) quicksort的 AR sort的 AR 再回到圖 。如果該程序的某次執(zhí)行順序?yàn)椋? sort→quicksort→quicksort→partition→exchange… 即主程序 (最外層過程 )sort開始執(zhí)行 ,繼而進(jìn)入過程quicksort，而又一次進(jìn)入過程 quicksort，接著進(jìn)入過程 partition，進(jìn)入過程 exchange…。 圖 exchange之后運(yùn)行棧的示意，我們僅把存取鏈和控制鏈的值標(biāo)明。 可以看出，過程 exchange由過程（函數(shù)）partition調(diào)用，但 exchange的直接外層過程是 sort，所以過程 exchange的活動(dòng)記錄的存取鏈指向 sort的活動(dòng)記錄的始址。 圖 運(yùn)行棧 靜態(tài)鏈，指向靜態(tài)直接外層最新活動(dòng)記錄的起始地址， 動(dòng)態(tài)鏈 ，指向 調(diào)用 該過程前正在運(yùn)行過程的數(shù)據(jù)段基地址。 exchange的活動(dòng)記錄 partition的活動(dòng)記錄 quicksort的活動(dòng)記錄 quicksort的活動(dòng)記錄 sort的活動(dòng)記錄 解決對(duì)非局部量的引用（存?。┑挠行мk法是用 Display表。 Display表 嵌套層次顯示表 ，即每進(jìn)入一個(gè)過程后，在建立它的活動(dòng)記錄的同時(shí)建立一張 Display表。 DISPLAY表是一個(gè)指針數(shù)組 d，也可看做是一個(gè)小棧，自頂向下每個(gè)單元依次存放著現(xiàn)行層，直接外層， ……直至最外層（ 0層，主程序?qū)樱┑?每一層過程的最新活動(dòng)記錄的基地址（ SP）， 當(dāng)前激活過程的層次為 K，則Display表就含有 K+1個(gè)單元 。 例：見 P238239 分程序結(jié)構(gòu) Procedure A(m,n)。 integer m,n。 B1:begin real z。 array B[m:n]。 B2:begin real d, e。 L3: 2 end。 B4:begin array C[1:m]。 1 B5:begin real e。 L6: 5 4 end。 end。 L8:end。 分程序結(jié)構(gòu)的存儲(chǔ)分配方案 處理分程序結(jié)構(gòu)存儲(chǔ)分配方案的一種簡單辦法是，把分程序看成 “無名無參過 程”，它在哪里定義就在哪里被調(diào)用。因此，可以把處理過程的存儲(chǔ)辦法應(yīng)用到處理分程序中。但這種做法是極為低效的。 一則，每逢進(jìn)入 一個(gè)分程序，就照樣建立連接數(shù)據(jù)和 DISPLAY表 ,這是不必要的。
教學(xué)課件相關(guān)推薦
鄂ICP備17016276號(hào)-1