编译原理第10章目标程序运行时的组织.pptxVIP

第十章 目标程序运行时的组织;概述-代码生成解决语义gap;概述;任务：编译程序对目标程序运行时的组织（设计运行环境和分配存储） 如 通常存储区布局可为：;运行环境和存储分配设计分析;;决定运行管理复杂程度的因素——源语言本身;术语;例 procedure A(m,n:integer); begin real z; array B[m:n]; begin · · · end; end;;;;数据表示各种数据对象的存储分配;数据表示（固定长度，直接或间接表示）;;;;可变 (动态)数组： 若一个数组所需的存储空间的大小在编译时就已知道，则称它为确定数组，否则称为可变(动态)数组。;目标程序运行时的存储组织;术语-过程活动记录; 简单的栈式分配方案;;; 嵌套过程语言的栈式分配方案; ;const a=10;var b,c;procedure p; begin c:=b+a; end;begin read(b); while b#0 do begin call p; write(2*c); read(b); endend.;目标代码解释执行时数据栈的布局（运行栈的存储分配）; 目标代码的解释执行 运行栈S;解决对非局部量的引用（存取）用Display表;;用Display表的方案;用Display表的方案;DISPLAY表的维护和建立; 当过程的层次为n，它的 display为n+1个值。 一个过程被调用时，从调用过程的DISPLAY表中自下向上抄录n个SP值，再加上本层的SP值。 全局DISPLAY地址;; 分程序结构的存储分配方案;; ;：; ; ;; ; ; 参数传递; ; ;传值的实现;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;传地址的实现;procedure swap( x,y:integer); var temp:integer; begin temp:=x; x:=y； y:=temp end； 调用swap(i,a[i]) 其结果等价于执行下列运算： 1把 i和a[i]的地址分别放到x和y相应的单元a1,a2 2( temp :=x；)temp的内容置为a1所指单元中存的内容 3 (x :=y;) a1所指单元的内容置为a2所指单元值 4( y :=temp) a2所指单元的内容置为temp的值 ; ;过程调用的四元式序列;过程调用的四元式序列; 过程作为参数传递; program param(input,output); procedure b(function h(n:integer):integer); (*) var m:integer; begin m:=3; writeln(h(2)) end{b}; procedure c; (*) var m:integer; function f(n:integer):integr; () begin f:=m+n end{f}; begin m:=0; b(f) end {c} begin c end. ;(1)program param(input,output); (2)procedure b(function h(n:integer):integer); (3) begin writeln(h(2)) end{b}; (4)procedure c; (5) var