目标程序运行时的存储组织概述.ppt

教学内容： 10.1 概述 10.2 栈式存储分配的实现 10.3 参数传递 10.4 过程调用、过程进入和过程返回 教学方式： 讲授式+启发式 教学目的： 1、介绍目标程序运行时的存储组织方式，包括静态存储分配和动态存储分配。 2、要求掌握各种存储组织形式的基本方法。 教学重点： 1、静态分配策略和动态分配策略基本思想。 2、嵌套过程语言栈式分配。 3、活动记录、运行时栈的组织。 教学难点： 1、嵌套过程语言栈式分配。 2、活动记录、运行时栈的组织。 教学时数： 2学时 10.1 概述 任务：编译程序对目标程序运行时的数据空间的组织和管理（设计运行环境和分配存储） 如 通常存储分配布局可为： 运行环境和存储分配设计分析 逻辑阶段：在目标代码生成前，作准备 实质： 关联（Binding） 将源程序的文本 ? 程序运行动作的实现 源文件中的名字N ? 运行时的存储S 在语义学中，使用术语environment函数表示 env: N→S (N到S的映射) 术语 静态：如果一个名字的性质通过说明语句或隐或显规则而定义，则称这种性质是“静态”确定的。 动态：如果名字的性质只有在程序运行时才能知道，则称这种性质为“动态”确定的。 可变 (动态)数组： 若一个数组所需的存储空间的大小在编译时就已知道，则称它为确定数组，否则称为可变(动态)数组。 例 procedure A(m,n:integer); begin real z; array B[m:n]; begin · · · end; end; 10.2 栈式存储分配的实现 1、简单的栈式存储分配的实现 2、嵌套过程语言的栈式实现 3、分程序结构的存储管理 1、 简单的栈式分配方案 程序结构特点:没有分程序结构，过程定义不嵌套，过程可递归调用。 例: main 全局变量的说明 proc R …… end R; proc Q …… end Q; 主程序执行语句 end main 2、嵌套过程语言的栈式分配方案 主要特点： （语言）一个过程可以引用包围它的任一外层过程所定义的标识符（如变量，数组或过程等）。 （实现）一个过程可以引用它的任一外层过程的最新活动记录中的某些数据。 关键技术：解决对非局部量的引用（存取）。 设法跟踪每个外层过程的最新活动记录AR的位置。 跟踪办法： 1. 用静态链（如PL/0的SL）。 2. 用DISPLAY表。 DISPLAY表的维护和建立 DISPLAY表d 运行栈 0 主程序活动记录地址 1 R活动记录地址 DISPLAY表是一个指针数组d（小栈）， 自顶向下每个单元依次存放现行层，直接外层，……直至最外层（0层）等每层的最新活动记录地址。 用Display表的方案 (1)主程序---(2)P---(3)Q---(4)R 用Display表的方案 主程序---P---Q---R 为了解决上述问题，可采取两种措施。第一，对每个过程或分程序都建立有自己的栈顶指示器TOP，代替原来仅有过程的栈顶指示器, 每个TOP的值保存在各自活动记录中。这样，上述的第二个问题便可解决。第二，不把分程序看作“无参过程”，每个分程序享用包围它的那个最近过程的DISPLAY。每个分程序都隶属于某个确定的过程，分程序的层次是相对于它所属的那个过程进行编号的。 (1)program reference(input,output); (2)var a,b:integer; (3)procedure swap({var} x,y:integer); (4) var temp:integer; (5) begin (6) temp:=x; (7) x:=y;