《运行时存储空间经济组织》由会员分享，可在线阅读，更多相关《运行时存储空间经济组织（53页珍藏版）》请在金锄头文库上搜索。
1、第九章 运行时存储空间组织,概述,任务：编译程序对目标程序运行时的数据空间的组织和管理（设计运行环境和分配存储） 如 通常栈式存储分配布局可为：,目标代码区 静态数据区 Stack heap,运行环境和存储分配 设计分析,逻辑阶段：在目标代码生成前，作准备 实质： 关联（Binding） 将源程序的文本 程序运行动作的实现 源文件中的名字N 运行时的存储S 在语义学中，使用术语environment函数表示 env: NS (N到S的映射),术语,静态：如果一个名字的性质通过说明语句或隐或显规则而定义，则称这种性质是“静态”确定的。 动态：如果名字的性质只有在程序运行时才能知道，则称这种性质为
2、“动态”确定的。 可变 (动态)数组： 若一个数组所需的存储空间的大小在编译时就已知道，则称它为确定数组，否则称为可变(动态)数组。,例 procedure A(m,n:integer); begin real z; array Bm:n; begin end; end;,简单的栈式分配方案,程序结构特点:过程定义不嵌套，过程可递归调用，含可变数组; 例: main 全局变量的说明 proc R end R; proc Q end Q; 主程序执行语句 end main,嵌套过程语言的栈式 分配方案,主要特点： （语言）一个过程可以引用包围它的任一外层过程所定义的标识符（如变量，数组或过程等）
3、。 （实现）一个过程可以引用它的任一外层过程的最新活动记录中的某些数据。,关键技术：解决对非局部量的引用（存取）。 设法跟踪每个外层过程的最新活动记录AR的位置。 跟踪办法： 1. 用静态链（如PL/0的SL）。 2. 用DISPLAY表。,用Display表的方案,(1)主程序-(2)P-(3)Q-(4)R,P 的 活动记录 主程序的 活动记录,d1 d0,display,sp,top,主程序的 活动记录,d0,sp,display,top,（1）,（2）,用Display表的方案,主程序-P-Q-R,R 的 活动记录 Q 的 活动记录 P 的 活动记录 主程序的 活动记录,Q 的 活动记录
4、 P 的 活动记录 主程序的 活动记录,display,d2 d1 d0,d1 d0,display,sp,top,top,sp,（3）,（4）,DISPLAY表的维护和建立,DISPLAY表d 运行栈 0 主程活动记录地址 1 R活动记录地址,.,当过程的层次为n，它的 display为n+1个值。 一个过程被调用时，从调用过程的DISPLAY表中自下向上抄录n个SP值，再加上本层的SP值。 全局DISPLAY地址,Procedure A(m,n); integer m,n; B1:begin real z; array Bm:n; B2:begin real d, e; L3: 2 end
5、; B4:begin array C1:m; 1 B5:begin real e; L6: 5 4 end; end; L8:end;,分程序结构的存储 分配方案,处理分程序结构存储分配方案的一种简单办法是，把分程序看成 “无参过 程”，它在哪里定义就在哪里被调用。因此，可以把处理过程的存储办法应用到处理分程序中。但这种做法是极为低效的。 一则，每逢进入 一个分程序，就照样建立连接数据和DISPLAY表,这是不必要的。 二则 ，当从内层分程序向外层转移时，可能同时要结束若干个分程序。,按照过程处理办法，意味着必须一层一层地通过“返回” 来恢复所要到达的那个分程序的数据区，但不能直接到达。 例如
6、：如果有一个从第5层分程序转出到达第1层分程序的标号L，虽然在第5层分程序工作时知道L所属的层数，我们极易从DISPLAY中获得第1层分程序的活动记录基址（SP），但是怎么知道第1层分程序进入时的TOP呢？唯一的办法是从 5,4,3和2各层顺序退出。但这种办法是很浪费时间的。,为了解决上述问题，可采取两种措施。第一，对每个过程或分程序都建立有自己的栈顶指示器TOP，代替原来仅有过程的栈顶指示器, 每个TOP的值保存在各自活动记录中。这样，上述的第二个问题便可解决。第二，不把分程序看作“无参过程”，每个分程序享用包围它的那个最近过程的DISPLAY。每个分程序都隶属于某个确定的过程，分程序的层次
7、是相对于它所属的那个过程进行编号的。,：,每个过程被当作是0层分程序。而过程体分程序（假定是一个分程序）当作是它所管辖的第1层分程序。 这样，每个过程的活动记录所含的内容有： 1.过程的TOP值，它指向过程活动记录的栈顶位置。 2.连接数据，共四项： （1)老SP值； （2)返回地址； (3)全局DISPAY地址； （4)调用时的栈顶单元地址，老TOP。,3. 参数个数和形式单元 4. DISPAY表。 5. 过程所辖的各分程序的局部数据单元。 对于每个分程序来说，它们包括： （1)分程序的TOP值。当进入分程序时它含现行栈顶地址，以后，用来定义栈的新高度（分程序的TOP值）； （2)分程序的
8、局部变量， 数组内情向量和临时工作单元。,B,Z,B,1,T,O,D I S P L A Y,D I S P L A Y,形式单元,m,n,2,形式单元,m,n,2,连,接,数,据,连接,数,据,A,的,T O P,A,的,T O P,(c),(d),(c ),数组,B,分配之后；,（,d,）进入分程序,B2,2,;,参数传递,(1)procedure exchangel(i,j:integer); (2) var x:integer; (3) begin; (4) x:=ai; ai:=aj; aj:=x (5) end; 带有非局部变量和形参的PASCAL过程 非局变量ai和aj的值进行交
9、换，i,j为形参（在这里是传值）,(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程序,传地址（变量参数） 例如
10、：过程 swap(var x,y:integer); swap(a,b）；（ a,b为调用时的实参 ） 调用结果a,b的值被改变。 传值（值调用） 特点是对形式参数的任何运算不影响实参的值。 例如：过程 swap(x,y:integer); swap(a,b）；其结果： a,b调用前的值不改变。,传值的实现,1.形式参数当作过程的局部变量处理，即在被调过程的活动记录中开辟了形参的存储空间，这些存储位置即是我们所说的形式单元（用以存放实参）。 2.调用过程计算实参的值，并将其放在对应形式单元开辟的空间中。 3.被调用过程执行时，就像使用局部变量一样使用这些形式单元。,procedure swap
11、( 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,传地址的实现,（call- by- reference )(call-by-address)(call-by-location) 把实在参数的地址传递给相应的形参，即 调用过程把一个指向实参的存储地址的指针传递给被调用过程相应的形参： 1实在参数是一个名字，或具有左值的表达式-传递左值 2实在参数是无左
12、值的表达式-计算值，放入一存储单元，传此存储单元地址 3目标代码中，被调用过程对形参的引用变成对传递给被调用过程的指针的间接引用,procedure swap( x,y:integer); var temp:integer; begin temp:=x; x:=y； y:=temp end； 调用swap(i,ai) 其结果等价于执行下列运算： 1把 I和ai的地址分别放到x和y相应的单元a1,a2 2( temp :=x；)temp的内容置为a1所指单元中存的内容 3 (x :=y;) a1所指单元的内容置为a2所指单元值 4( y :=temp) a2所指单元的内容置为temp的值,(1)
13、swap(x,y) (2)int *x,*y; (3) int temp; (4) temp=*x; *x=*y; *y=temp; (5) (6)main( ) (7) int a=1,b=2; (8) swap( (10) 在一个值调用过程中使用指针的C程序 在C程序中无传地址所以用指针实现。,过程调用的四元式序列,S call id() ,E E par T1 par T2 par Tn call id,n,过程作为参数传递,三种环境：词法环境 传递环境 活动环境,program param(input,output); procedure b(function h(n:integer)
14、:integer); (*) var m:integer; begin m:=3; writeln(h(2) endb; procedure c; (*) var m:integer; function f(n:integer):integr; ( 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) endb; (4)procedure c; (5) var m:integer; (6) function f(n:integer):integr; (7) begin f:=m+n endf; (8)begin
