第九章运行时存储空间组织.pptVIP

第九章 运行时存储空间组织 概述 任务：编译程序对目标程序运行时的数据空间的组织和管理（设计运行环境和分配存储） 如 通常栈式存储分配布局可为： 运行环境和存储分配设计分析 逻辑阶段：在目标代码生成前，作准备 实质： 关联（Binding） 将源程序的文本 ? 程序运行动作的实现 源文件中的名字N ? 运行时的存储S 在语义学中，使用术语environment函数表示 env: N→S (N到S的映射) 术语 静态：如果一个名字的性质通过说明语句或隐或显规则而定义，则称这种性质是“静态”确定的。 动态：如果名字的性质只有在程序运行时才能知道，则称这种性质为“动态”确定的。 可变 (动态)数组： 若一个数组所需的存储空间的大小在编译时就已知道，则称它为确定数组，否则称为可变(动态)数组。 例 procedure A(m,n:integer); begin real z; array B[m:n]; begin · · · end; end; 简单的栈式分配方案 程序结构特点:过程定义不嵌套，过程可递归调用，含可变数组; 例: main 全局变量的说明 proc R …… end R; proc Q …… end Q; 主程序执行语句 end main 嵌套过程语言的栈式分配方案 主要特点： （语言）一个过程可以引用包围它的任一外层过程所定义的标识符（如变量，数组或过程等）。 （实现）一个过程可以引用它的任一外层过程的最新活动记录中的某些数据。 关键技术：解决对非局部量的引用（存取）。 设法跟踪每个外层过程的最新活动记录AR的位置。 跟踪办法： 1. 用静态链（如PL/0的SL）。 2. 用DISPLAY表。 用Display表的方案 (1)主程序---(2)P---(3)Q---(4)R 用Display表的方案 主程序---P---Q---R DISPLAY表的维护和建立 DISPLAY表d 运行栈 0 主程活动记录地址 1 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; (8) y:=temp (9) end; (10)begin (11) a:=1; b:=2; (12) swap(a,b); (13) writeln(‘a=‘,a);writeln(‘b=‘,b) (14)end. 带有过程swap的PASCAL程序 传地址（变量参数） 例如：过程 swap(var x,y:integer); swap(a,b）；（ a,b为调用时的实参 ） 调用结果a,b的值被改变。 传值（值调用） 特点是对形式参数的任何运算不影响实参的值。 例如：过程 swap(x,y:integer); swap(a,b）；其结果： a,b调用前的值不改变。 procedure swap( x,y:integer); var temp:integer; begin temp:=x; x:=y； y:=temp en