编译第十章.pptVIP

第十章 目标程序运行时的存储组织 掌握：静态存储分配、栈式存储分配的使用方法和管理方法；非局部名字的访问；传值与传址的区别 10.1 概述 10.2 数据空间的三种不同使用方法和管理 10.3 参数传递 10.1概述 代码生成前如何安排目标机资源 运行时组织的几个问题 数据表示-如何在目标机中表示每个源语言类型的值 表达式求值-如何组织表达式的计算 存储分配-如何组织不同作用域变量的存储 过程实现-如何以例程实现过程，函数，参数传递 概述 任务：编译程序对目标程序运行时的组织（设计运行环境和分配存储） 如 通常存储区布局可为： 运行环境和存储分配设计分析 逻辑阶段：在目标代码生成前，作准备 实质： 关联（Binding） 将源程序的文本 ? 程序运行动作的实现 源文件中的名字N ? 运行时的存储S 数据空间的三种不同使用方法和管理 存储分配策略： 简单的栈式分配方案 程序结构特点:过程定义不嵌套，过程可递归调用，含可变数组; 例: main 全局变量的说明 proc R …… end R; proc Q …… end Q; 主程序执行语句 end main 嵌套过程语言的栈式分配方案 主要特点： （语言）一个过程可以引用包围它的任一外层过程所定义的标识符（如变量，数组或过程等）。 （实现）一个过程可以引用它的任一外层过程的最新活动记录中的某些数据。 关键技术：解决对非局部量的引用（存取）。 设法跟踪每个外层过程的最新活动记录AR的位置。 跟踪办法： 1. 用静态链（如PL/0的SL）。 2. 用DISPLAY表。 目标代码解释执行时数据栈的布局（运行栈的存储分配） 每个过程的AR有 3个联系单元： SL： 静态链，指向定义该过程的直接外过程 （或主程序）运行时最新数据段的基地址。 DL： 动态链，指向调用该过程前正在运行过 程的数据段基地址。 RA： 返回地址，记录调用该过程时目标程序的断点，即调用过程指令的下一条指令的地址。 局部变量 中间结果 解决对非局部量的引用（存取）用Display表 Display表---嵌套层次显示表 当前激活过程的层次为K，它的Display表含有K+1个单元，依次存放着现行层，直接外层…直至最外层的每一过程的最新活动记录的基地址 用Display表的方案 (1)主程序---(2)P---(3)Q---(4)R (1)主程序---(2)P---(3)Q---(4)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. 带有过程swap的PASCAL程序 (1)procedure exchangel(i,j:integer); (2) var x:integer; (3) begin; (4) x:=a[i]; a[i]:=a[j]; a[j]:=x (5) end; 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；