運行時存儲空間組織(ppt 53頁)

第一章、 概述
第二章、 運行環境和存儲分配
第三章、 設計分析
第四章、 術語
第五章、 簡單的棧式分配方案
第六章、 嵌套過程語言的棧式
第七章、 分配方案
第八章、 過程調用的四元式序列

運行環境和存儲分配設計分析
邏輯階段：在目標代碼生成前，作準備
實質：
關聯（Binding）
將源程序的文本 ? 程序運行動作的實現
源文件中的名字N ? 運行時的存儲S

在語義學中，使用術語environment函數表示
env: N→S (N到S的映射)

靜態文本中 運行時動作及為實現其動作的準備
（與運行時數據對象的表示有關）
過程定義
過程名 執行過程體
過程體 控製數據對象的分配，為執行過程體使用
源文本中同樣的名字 目標程序中不同的數據空間
因為一個過程可以是遞歸的，這時同一個名字在不同的時間可能代表不同的存儲單元

決定存儲管理複雜程度的因素——源語言本身
1. 允許的數據類型的多少
2．語言中允許的數據項是 靜態確定
動態確定
3．程序結構 決定名字的作用域的規則和結構
A． 段結構
B． 過程定義不嵌套，隻允許過程遞歸調用
C． 分程序結構
分程序嵌套
過程定義嵌套

存儲分配方案策略：
l 靜態存儲分配
l 動態存儲分配——棧式
堆式

..............................