第9章 行时存储空间组织.docVIP

第九章 运行时存储空间组织 知识结构： 存储器组织和分配概述 基本概念 语言中的参数形式 参数传递方法 运行时存储器的划分 运行时存储器的划分 活动记录 运行时存储 存储分配策略 空间组织 对语言的要求 静态存储分配 实现方法 实现方法 动态存储分配 过程的活动记录 DISPLAY表的作用和生成 第一节 目标程序运行时的活动 编译程序最终目的是将源程序翻译成等价的目标代码。了解目标代码在运行时，用户在源程序中定义各种信息（如变量）的存放和访问.存储组织和管理是一个复杂而又十分重要的问题，主要讨论： ⑴活动记录的建立和管理； ⑵存储组织和分配的策略； ⑶全局信息的访问。 一、过程的活动 在程序执行过程中，程序中数据的存取是通过与之对应的存储单元进行的。数据地址、代码地址在编译时均安排为相对地址(以0为基地址)。 1、参数 过程或函数，被调用时引用的变量或表达式。 2、形式参数 被调用的过程或函数中引用的变量。 3、实在参数 过程或函数调用时定义的变量或表达式（调用时替换过程或函数引用的形式参数）。 4、活动生存期 过程的一次调用称为一个活动(或一个活动的生存期)。 5、递归 过程的递归调用，当一个过程在没有退出当前的活动时，又开始其新的活动称递归调用： 直接递归调用: procedure p begin P( ) end 间接递归调用: procedure p begin Q( ) end procedure Q begin p( ) end6、作用域 如果变量在一过程中定义并只在该过程中被引用，称之为局部变量，否则为全局变量。 二、参数的四种传递方法 例 PROCEDURE P（X，Y，Z） PROCEDURE q（） begin begin {调用段} Y:=y+1 A:=2; Z:=Z+X B:=3; end {p} P(A+B, A ,A) PRINT A end 1、传地址 每个形参存放相应的实参的地址，对形参的任何访问都按间接地址访问（访问的对象是实参的地址）。 调用段实参单元 被调用段形参单元 T 5 X Y T A 2 3 8 A B 3 Z A 因为Z，Y均为A的地址，所以PRINT A 的值为8。 2、得结果 每个形参对应两个单元：一个存放实参的地址，一个存放实参的值，在过程体中对形参的任何引用或赋值，都看成对它的第二单元直接访问（结果间接存入第一单元（地址））。 X T 5 Y:=Y+1 2+1 Y A 2 3 Z:=Z+X 2+5 Z A 2 7 因为Z，Y的第一单元均存放A的地址，而第二单元均存放A的值，所以PRINT A 的值为7。 3、传值 每个形参对应一个单元，存放相应的实参的值,在过程体中对 形参可以直接访问（计算只是在过程体进行，不改变实参的值）。 X 5 Y=Y+1=3 Y 2 3 Z=Z+X=7 Z 2 7 因为无法将Z的值传给A对应的单元, 所以PRINT A 的值为2。 4、传名 把被调用段中所有形参都换成相应的实参，直接访问实参。 实参 形参 A：=A+1； - Y:=y+1; A：=A+A+B - Z:=Z+X T 5 A 2 3 9 B 3 因用实参的值，直接执行过程体，所以PRINT A的结果为9。 三、存储空间组织必须考虑的问题 1、过程是否允许递归？ 2、当控制从一个过程的活动返回时，对局部名称值的如何处理？ 3、过程是否允许引用非局部名称？ 4、过程调用时如何传递参数；过程是否可以作为参数被传递和作为结果被返回？ 5、存储空间可否在程序控制下进行动态分配？ 6、存储空间是否必须显示地释放？ 第二节 运行时存储器的安排 一、运行时存储器的安排 目标代码 过程调用时使用