目标程序运行时及存储组织.ppt

第十章 目标程序运行时的存储组织 概述 栈式存储分配的实现 简单的栈式存储分配的实现 嵌套过程语言的栈式实现 分程序结构的存储管理 参数传递 过程调用、过程进入和过程返回 概述 任务：编译程序对目标程序运行时的数据空间的组织和管理（设计运行环境和分配存储） 如 通常栈式存储分配布局可为： 运行环境和存储分配设计分析 逻辑阶段：在目标代码生成前，作准备 实质： 关联（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的值被改变。 传值（值调用） 特点是对形式参数的任何运算不影响实参的值。 例如：过程 swa