8hh第6章運行時存儲空間組織(編輯修改稿)
2025-02-01 07:32 本頁面
【文章內(nèi)容簡介】 ): 老 SP值 和 返回地址 , 其中 老 SP為前一活動記錄的起始地址 。 (2)參數(shù)個數(shù) 。 (3)形式單元 (存放實參的值或地址 )。 (4)過程的 局部變量 (簡單變量 )、 數(shù)組的內(nèi)情向量 和 臨時工作單元 。 1 TOP 臨時工作單元 內(nèi)情向量 簡單變量 形式單元 參數(shù)個數(shù) 返回地址 老 SP SP 2 0 圖 64 C過程的活動記錄 C語言 不 允許函數(shù)嵌套 , 即不允許一個過程的定義出現(xiàn)在另 一過程 的定義之內(nèi) 。 因此 , C語言的 非局部變量 僅能出現(xiàn)在源程序頭 , 非局部變量可采用 靜態(tài)存儲 并 在編譯時確定它們的地址 。 C語言中 , 過程的 每個局部變量或形參在活動記錄中的 位置是確定的 。 因此 , 變量和形參 運行時 在棧上的 絕對地址 : 絕對地址 =活動記錄基址 (SP)+相對地址 對于當前正在執(zhí)行的過程 , 其 任一 局部變量 或形參 A的引用均可表示為變址訪問 X[SP], 其中 X代表 A相對于活動記錄基址的 偏移量 , 這個偏移量在編譯時可完全確定下來 。 過程的 局部數(shù)組的內(nèi)情向量 的相對地址在編譯時同樣可完全確定下來 。 當數(shù)據(jù)空間在過程中獲得分配后 , 對數(shù)組元素的引用易于用變址 方式訪問 。 過程的執(zhí)行 1. 過程調(diào)用 過程調(diào)用的四元式序列為 : par T1 par T2 …… par Tn call P, n 由于此時 TOP指向被調(diào)過程 P之前的棧頂 , 而 P的 形式單元 與 活動記錄起點 之間的距離是確定的 (等于 3), 因而由 調(diào)用過程 給被調(diào)過程 P的 活動記錄 (正在形成 )的 形式單元 傳遞 實參值 或 實參地址 , 即每個 par Ti(i=1,… , n)可直接翻譯成如下指令 : (i+3)[TOP]=Ti //傳參數(shù)值 或 (i+3)[TOP]=addr[Ti] //參數(shù)地址 四元式 call P,n 翻譯成 : 1[TOP]=SP //保護現(xiàn)行 SP 3[TOP]=n //傳遞參數(shù)個數(shù) JSR P //轉向 P過程 參數(shù)個數(shù) n TOP+3 SP T2 T1 現(xiàn)行 SP值 P的活動記錄 調(diào)用過程 TOP 4 3 2 1 0 … … 圖 65 調(diào)用過程 P之前先構造 P 的活動記錄的部分內(nèi)容 2. 過程進入 轉入過程 P后 , 首先要做的是定義 新活動記錄的 SP, 保護 返回地址 和定義 新活動記錄的 TOP值 , 即執(zhí)行下述指令 : SP = TOP+1 //定義新 SP 1[SP]=返回地址 //保護返回地址 TOP=TOP+L //定義新 TOP 其中 L是過程 P的活動記錄所需的單元數(shù) , 該數(shù)在編譯時可靜態(tài)計算出 。 對 含可變數(shù)組 的情況 , 緊接上述指令之后是對數(shù)組進行存儲分配的指令 。 對數(shù)組進行存儲分配的指令 是在 翻譯數(shù)組說明 時產(chǎn)生的 , 對 每個數(shù)組說明 , 相應的目標指令組將做以下工作 : (1)計算各維的上下限 。 (2)調(diào)用 數(shù)組空間分配子程序 。 數(shù)組空間分配子程序 計算并填好內(nèi)情向量的所有信息 , 然后在 TOP所指位置之上 留出數(shù)組所需空間 , 并將 TOP調(diào)整為指向數(shù)組區(qū)頂端 。 P的數(shù)組區(qū) … 返回地址 P的活動記錄 (長度為 L) 1 調(diào)用過程 SP TOP 0 此后 , 在執(zhí)行語句過程中 , 凡 引用 形參 、局部變量或數(shù)組元素都
環(huán)評公示相關推薦
鄂ICP備17016276號-1