运行时存储空间组织(ppt 53页)

第一章、 概述
第二章、 运行环境和存储分配
第三章、 设计分析
第四章、 术语
第五章、 简单的栈式分配方案
第六章、 嵌套过程语言的栈式
第七章、 分配方案
第八章、 过程调用的四元式序列

 

运行环境和存储分配设计分析
逻辑阶段：在目标代码生成前，作准备
实质：  
       关联（Binding）
将源程序的文本          程序运行动作的实现
 源文件中的名字N        运行时的存储S

在语义学中，使用术语environment函数表示
env:     N→S    (N到S的映射)

静态文本中       运行时动作及为实现其动作的准备
                     （与运行时数据对象的表示有关）
过程定义    
  过程名    执行过程体
  过程体                 控制数据对象的分配，为执行过程体使用
源文本中同样的名字       目标程序中不同的数据空间
 因为一个过程可以是递归的，这时同一个名字在不同的时间可能代表不同的存储单元

决定存储管理复杂程度的因素——源语言本身
1.  允许的数据类型的多少
2．语言中允许的数据项是      静态确定
            动态确定
3．程序结构   决定名字的作用域的规则和结构
A． 段结构
B． 过程定义不嵌套，只允许过程递归调用
C． 分程序结构
分程序嵌套
过程定义嵌套

 

存储分配方案策略：
l 静态存储分配
l 动态存储分配——栈式
 堆式

 

 

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