概述 任务：编译程序对目标程序运行时的组织（设 计运行环境和分配存储) 如通常存储区布局可为： 目标代码区 静态数据区 Stack ↓ heap 第10章运行空间存储
第10章 运行空间存储 1 概述 任务：编译程序对目标程序运行时的组织（设 计运行环境和分配存储） 如通常存储区布局可为： 目标代码区 静态数据区 Stack heap
运行环境和存储分配 设计分析 逻辑阶段：在目标代码生成前，作准备 实质： 关联（Binding) 将源程序的文本〉 程序运行动作的实现 源文件中的名字N> 运行时的存储S 在语义学中，使用术语environment函数表示 env: N→S (N到S的映射) 第10章运行空间存储
第10章 运行空间存储 2 运行环境和存储分配 设计分析 逻辑阶段：在目标代码生成前，作准备 实质： 关联（Binding） 将源程序的文本 程序运行动作的实现 源文件中的名字N 运行时的存储S 在语义学中，使用术语environment函数表示 env: N→S (N到S的映射)
静态文本中 运行时动作及为实现其动作的准备 (与运行时数据对象的表示有关) 过程定义 过程名 执行过程体 过程体 控制数据对象的分配，为执行 过程体使用 源文本中同样的名字 目标程序中不同的数据空间 因为一个过程可以是递归的， 这时同一个名字在不同的时间 可能代表不同的存储单元 第0章运行空间存
第10章 运行空间存储 3 静态文本中 运行时动作及为实现其动作的准备 （与运行时数据对象的表示有关） 过程定义 过程名 执行过程体 过程体 控制数据对象的分配，为执行 过程体使用 源文本中同样的名字 目标程序中不同的数据空间 因为一个过程可以是递归的， 这时同一个名字在不同的时间 可能代表不同的存储单元
决定运行管理复杂程度的因素 源语言本身 1.允许的数据类型的多少 2.语言中允许的数据项是 静态确定 动态确定 3.程序结构决定名字的作用域的规则和结构 A.段结构 B.过程定义不嵌套， 只允许过程递归调用 C. 分程序结构 分程序嵌套 过程定义嵌套 4存储类别的多少 Global Static Local dynamic 运行空间存信
第10章 运行空间存储 4 决定运行管理复杂程度的因素——源语言本身 1. 允许的数据类型的多少 2．语言中允许的数据项是 静态确定 动态确定 3．程序结构 决定名字的作用域的规则和结构 A．段结构 B．过程定义不嵌套，只允许过程递归调用 C．分程序结构 分程序嵌套 过程定义嵌套 4存储类别的多少 Global Static Local dynamic
术语 静态：如果一个名字的性质通过说明语句 或隐或显规则而定义，则称这种性质是 “静态”确定的。 ·动态：如果名字的性质只有在程序运行时 才能知道，则称这种性质为“动态”确定 的。 第0章运行空间存储
第10章 运行空间存储 5 术语 ❖ 静态：如果一个名字的性质通过说明语句 或隐或显规则而定义，则称这种性质是 “静态”确定的。 ❖ 动态：如果名字的性质只有在程序运行时 才能知道，则称这种性质为“动态”确定 的