第13章運行時存儲空間的組織(編輯修改稿)
2025-01-24 00:58 本頁面
【文章內(nèi)容簡介】 ? 程序單元間通信方式是通過非局部環(huán)境和參數(shù)傳遞來實現(xiàn)的。 ? 對非局部環(huán)境的引用必須考慮變量的作用域，變量的作用域是指可訪問該變量的程序范圍。 第三節(jié) 非局部環(huán)境 1. 動態(tài)作用域規(guī)則 這是一種最近活動規(guī)則，對非局部變量，引用的應(yīng)是最近的 “調(diào)用外層” 中說明的變量。 例： ACF的調(diào)用序列， F的直接調(diào)用外層為C、 C的直接調(diào)用外層為 A。 2. 引用方法 通過 “動態(tài)鏈” 找到最近的 “調(diào)用外層”中說明的變量。 一、動態(tài)作用域規(guī)則 1. 靜態(tài)作用域規(guī)則 這是一種最近嵌套規(guī)則，對非局部變量，引用的應(yīng)是最近的 “嵌套外層” 中說明的變量。 例：嵌套的層次 若 A是 B的直接外層，則 B的層次 =A的層次 +1。 A(0)、 B(1)、 C(2)、 D(3)、 E(1)、 F(2)、 G(2) 二、靜態(tài)作用域規(guī)則 unit A。 y: int。 unit B。 end B。 y: int。 unit C。 end D。 end C。 …... unit D。 …… …... A B C D E F G end E。 z: int。 unit F。 end G。 unit G。 x,y: int。 …... …… …... unit E。 z:=x+y。 end F。 …… …... end A。 x: int。 A B C D E F G 2. 引用方法 通過 “靜態(tài)鏈” 找到最近的 “嵌套外層”中說明的變量。 (1) 靜態(tài)連接和靜態(tài)鏈 靜態(tài)連接：指向 嵌套直接外層 的 最新 活動記錄的指針。 靜態(tài)鏈：各嵌套程序單元的活動記錄中，靜態(tài)連接的序列構(gòu)成一個靜態(tài)鏈。 A E F G F 例： A call E。 E call F。 F call G。 G call F。 ... ... ... ... ... 假設(shè)當(dāng)前處在棧頂?shù)氖菃卧?B的活動記錄，單元 B中引用了單元 A中的變量 x。單元 A的層次為 nA、單元B的層次為 nB。要找到變量 x的存放地址，即： DA + offset(x) 關(guān)鍵是要找到單元 A的活動記錄 DA。 (2) 非局部變量 x的地址的求法 ? nB nA = 0： A和 B是同一層（ A就是 B） DA = current ? nB nA = 1： A是 B的直接外層（第 1個外層） DA ＝ D[current + 2] ? nB nA = 2： A是 B的第 2個外層 DA = D[D[current + 2] + 2] ? nB nA = 3： A是 B的第 3個外層 DA = D[D[D[current + 2] ＋ 2] ＋ 2] DA的求法 令 nB nA = d，定義函數(shù) f(d)，表示從 B的活動記錄出發(fā)，沿靜態(tài)鏈搜索 d步，可以到達 A的活動記錄。 f(d) { if(d=0) then return current 。 else return D[ f(d1) + 2 ] 。 } (3) 靜態(tài)連接的建立（ 單元 X調(diào)用單元 B時 ） 當(dāng)前棧頂為 X的活動記錄，需要建立 B的活動記錄。 (3)nXnB=1 (4)nXnB1 (1)nXnB=1 X B call B B X call B B call B X (2)nXnB=0 B X call B … … …
教學(xué)課件相關(guān)推薦
鄂ICP備17016276號-1