課件，編譯原理，編譯原理課件，屬性文法，語法制導，2005課件說明，第八章(編輯修改稿)

　

【文章內容簡介】 存放過程 (函數 )的一次執行所需要的信息。 – 過程 (函數 )活動記錄的內容：聯系單元（靜態鏈 ,動態鏈和返回地址）、局部變量和臨時變量 棧式存儲分配的實現： ? 設置兩個指針：棧頂指針 Top和當前活動記錄指針 SP； ? 調用一個過程 (函數 )前，先把過程 (函數 )的參數壓入數據棧； ? 在數據棧中為過程 (函數 )的活動記錄分配空間； ? 填寫聯系單元內容； ? 執行過程 (函數 )代碼； ? 過程 (函數 )返回前，根據當前 SP恢復 Top指針，根據動態鏈恢復 SP為外層過程 (函數 )的活動記錄起始地址，根據返回地址得到下一條指令地址； ? 繼續執行外層過程 (函數 )代碼。 過程的活動記錄 (AR) C PL0 臨時工作單位 √ √ 局部變量 √ √ 機器狀態信息 存取鏈 √ 控制鏈 √ √ 實參 √ 返回地址 √ √ 過程 R的活動記錄 過程 Q的活動記錄 過程 P的活動記錄 主程序全局數據區 分程序結構 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。 分程序結構的存儲 分配方案 處理分程序結構存儲分配方案的一種簡單辦法是，把分程序看成 “無名無參過 程”，它在哪里定義就在哪里被調用。因此，可以把處理過程的存儲辦法應用到處理分程序中。但這種做法是極為低效的。 一則，每逢進入 一個分程序，就照樣建立連接數據和 DISPLAY表 ,這是不必要的。 二則 ，當從內層分程序向外層轉移時，可能同時要結束若干個分程序。 按照過程處理辦法，意味著必須一層一層地通過“返回” 來恢復所要到達的那個分程序的數據區，但不能直接到達。 例如：如果有一個從第 5層分程序轉出到達第 1層分程序的標號 L，雖然在第 5層分程序工作時知道 L所屬的層數，我們極易從DISPLAY中獲得第 1層分程序的活動記錄基址（ SP），但是怎么知道第 1層分程序進入時的 TOP呢？唯一的辦法是從 5,4,3和 2各層順序退出。但這種辦法是很浪費時間的。 為了解決上述問題，可采取兩種措施。第 一，對每個過程或分程序都建立有自己的棧頂指示器 TOP，代替原來僅有過程的棧頂指示器 , 每個 TOP的值保存在各自活動記錄中。這樣，上述的第二個問題便可解決。第二，不把分程序看作“無參過程”，每個分程序享用包圍它的那個最近過程的 DISPLAY。每個分程序都隸屬于某個確定的過程，分程序的層次是相對于它所屬的那個過程進行編號的。 ： 每個過程被當作是 0層分程序。而過程體分程序（假定是一個分程序）當作是它所管轄的第 1層分程序。 這樣，每個過程的活動記錄所含的內容有： TOP值，它指向過程活動記錄的棧頂位置。 ，共四項： （ 1)老 SP值； （ 2)返回地址； (3)全局 DISPAY地址； （ 4)調用時的棧頂單元地址，老 TOP。 3. 參數個數和形式單元 4. DISPAY表。 5. 過程所轄的各分程序的局部數據單元。 對于每個分程序來說，它們包括： （ 1)分程序的 TOP值。當進入分程序時它含現行棧頂地址，以后，用來定義棧的新高度（分程序的 TOP值）； （ 2)分程序的局部變量， 數組內情向量和臨時工作單元。 變 量 e B5 的 T O P 數 組 C 的 內 情 向 量 變 量 e 和 d B4 的 T O P B2的 T OP 數 組 B 的 內 情 向 量 變 量 zK B1 的 T O PD D I S P L A Y6 形 式 單 元 m ,n5 參 數 個 數： 24 調 用 時 的 棧 頂 地 址 （老 T O P ）3 全 局 D I S P L A Y 地 址2 返 回 地 址1 老 S P0 過 程 的 T O P ，指 向 活 動 記 錄 之 頂 D I S P L A Y 形式單元 m , n 2 連 接 數 據 A 的 T O P ∶ ∶ (a) 到 達 標 號 B1處 。 B 的 內 情 向 量 Z B1的 T O P D I S P L A Y 形式單元 m , n 2