长安大学《编译原理》chapter7.pdfVIP

软件工程专业本科课程 编 译 原 理 Compilers Principles 长安大学信息工程学院软件工程系 主讲：李 鹏 第七章 运行时刻环境 本章内容 •存储位置的分配 • 对变量及数据的访问 2 影响存储分配策略的语言特征 • 过程能否递归 • 当控制从过程的活动返回时，局部变量的值是否要保留 • 过程能否访问非局部变量 • 过程调用的参数传递方式 • 过程能否作为参数被传递 • 过程能否作为结果值传递 • 存储块能否在程序控制下动态地分配 • 存储块是否必须显式地释放 3 7.1 存储组织 运行时内存的划分 一个目标程序在逻辑 代 码 区 地址空间的运行时刻映像 静态区 包含数据区和代码区。 栈区 三种分配策略  静态分配  栈式分配 堆区 动态分配  堆式分配 7.1 存储组织 4 静态分配 • 名字在程序被编译时绑定到存储单元，不需要运行 时的任何支持。 • 绑定的生存期是程序的整个运行时间。 • 控制再次进入该过程时，局部变量的值和控制上一 次离开时的一样。 • 每个信息的存储空间大小是固定的。 • 过程调用时保存信息的地址在编译时是已知的。 7.1 存储组织 5 静态分配给语言带来限制 • 递归过程不被允许 • 数据对象的长度和它在内存中位置的限制，必须是 在编译时可以知道的 • 数据结构不能动态建立 7.1 存储组织 6 7.2 空间的栈式分配 活动树 活动树:用树来描绘控制进入和离开活动的方式 m r q(1,9) p (1,9) q(1,3) q(5,9) p (1,3) q(1,0) q(2,3) p (5,9) q(5,5) q(7,9) p (2,3) q(2,1) q(3,3) p (7,9) q(7,7) q(9,9) 7.2 空间的栈式分配 7 活动树的特点 • 每个结点代表某过程的一个活动 • 根结点代表主程序的活动 • 结点a是结点b 的父结点，当且仅当控制流从a 的 活动进入b 的活动 • 结点a处于结点b 的左边，当且仅当a 的生存期先 于b 的生存期 7.2 空间的栈式分配 8 活动记录 过程的活动 过程的一次执行称