目标程序运行时组织.pptVIP

第10章 目标程序运行时的组织 概 述 为了使目标程序能够运行，编译程序要从操作系统中得 到一块存储区，以使目标程序能够在其上运行。 该存储区需容纳 ： （1）生成的目标代码 （2）目标代码运行时的数据空间 数据空间应包括： (1)用户定义的各种类型的数据对象所需的存储空间 (2)保留中间结果和传递参数的临时工作单元 (3)调用过程时所需的连接单元 (4)组织输入/输出所需的缓冲区 所谓数据空间的分配，本质上看，是将程 序中的每个名字与一个存储位置关联起来， 该存储位置用以容纳名字的值。 关联（Binding） 将源程序的文本 ? 程序运行动作的实现 即源程序文本要做哪些功能，目标程序要实现它的功能。 源文件中的名字N ? 运行时的存储S (N到S的映射) 嵌套过程语言的栈式分配方案 前面我们讲的过程不允许语言嵌套定义，现在我们取消这个限制，即允许过程嵌套定义，一个过程可以引用包围它的任一外层过程所定义的标识（如变量，数组或过程等）。如：我们所熟悉的PASCAL语言程序结构就是这样一种语言。 由于过程定义是嵌套的，一个过程可以引用包围它的任一外层过程所定义的标识（如变量，数组或过程等）。也就是说，运行时，一个过程Q可以引用它的的任意外层的最新活动记录的名字所对应的存储空间，过程Q运行时，必须知道它的所有外层的最新活动记录的地址。 办法： 1. 用静态链（如PL/0的SL）。 引入一个称为静态链的指针，该指针 为活动 记录的一个域，指向直接外层 的最新活动记录的地址。 2. 用DISPLAY表。 解决对非局部量的引用（存取）用Display表 另外一种存取非局部变量的办法，也是常用的有效办法。即每进入一个过程后，在建立它的活动记录的同时建立一张嵌套层次显示表display。 Display表---嵌套层次显示表 当前激活过程的层次为K，它的Display表含有K+1个单元，依次存放着现行层，直接外层…直至最外层的每一过程的最新活动记录的基地址 用Display表的方案 (1)主程序---(2)P---(3)Q---(4)R 用Display表的方案 主程序---P---Q---R (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. PASCAL程序有关键字var时，PASCAL语言的参数传递 使用的方式是传地址；去掉var，则使用的方式是传值。 procedure swap( x,y:integer); var temp:integer; begin temp:=x; x:=y； y:=temp end； 调用swap(a,b) 过程将不会影响a和b的值。 其结果等价于执行下列运算： x :=a； y :=b； temp :=x； x :=y； y :=temp 传地址（变量参数） 例如：过程 swap(var x,y:integer); swap(a,b）；（ a,b为调用时的实参 ） 调用结果a,b的值被改变。 传值（值调用） 特点是对形式参数的任何运算不影响实参的值。 例如：过程 swap(x,y:integer); swap(a,b）；其结果： a,b调用前的值不改变。 (1)swap(x,y) (2)int *x,*y; (3){ int temp; (4) temp=*x; *x=*