第九章_运行时存储空间组织.pptVIP

参数个数 返回地址 形式单元 临时单元 内情向量 局部变量 老SP Display 表 全局Diaplay 1. 每个par Ti(i=1,2,…n)可直接翻译成如下指令: (i+4)[TOP]:= Ti (传值) (i+4)[TOP]:=addr(Ti ) (传地址) 2. call P，n 被翻译成: 1[TOP]:=SP (保护现行SP) 3[TOP]:=SP+d (传送现行display地址) 4[TOP]:=n (传递参数个数) JSR (转子指令) 过程调用、过程进入、过程返回 第九章 运行时存储空间组织 内容 目标程序运行时的活动 运行时存储器的划分 静态存储分配 简单的栈式存储分配 嵌套过程语言的栈式实现 堆式动态存储分配 9.1.1 过程的活动 假定程序由若干个过程组成： 过程（procedure）定义 一个过程的活动指的是该过程的一次执行 过程P一个活动的生存期，指的是从执行该过程体第一步操作到最后一步操作之间的操作序，包括执行P时调用其它过程花费的时间 过程可以是递归的 9.1.2 参数传递 过程是模块程序设计的主要手段，同时也是节省程序代码和扩充语言的主要途径。 过程定义： procedure add(x,y:integer; var z:integer) begin z：=x+y; end; 过程调用 add(a,b,c); 9.1.2 参数传递 参数传递方式： 一. 传地址 把实在参数的地址传递给相应的形式参数。 二. 得结果 传地址的一种变形； 每个形参对应两个形式单元，第一个形式单元存放实参地址，第二个单元存放实参的值。 9.1.2 参数传递 参数传递方式： 三. 传值 把实在参数的值传递给相应的形式参数。 四. 传名 过程调用的作用相当于把被调用段的过程体抄到调用出现的地方，但把其中任一出现的形式参数都替换成相应的实参。 9.1 目标程序运行时的活动 编译程序为了组织存储空间，必须考虑下面几个问题： 过程是否允许递归？ 当控制从一个过程的活动返回时，对局部名称的值如何处理？ 过程是否允许引用非局部名称？ 过程调用时如何传递参数；过程是否可以做为参数被传递和做为结果被返回？ 存储空间可否在程序控制下进行动态分配？ 存储空间是否必须显式地释放？ 9.2 运行时存储器的划分 一个目标程序运行所需的存储空间包括: 存放目标代码的空间 存放数据对象的空间 存放程序运行的控制或连接数据所需单元(控制栈) 9.2.1 运行时存储器的划分 一个程序在运行时刻的内存划分: 代码(Code) 静态数据 (Static Data) 栈(Stack) ? 堆(Heap) ? 9.2.2 活动记录 活动记录： 一个连续的存储块，用来管理过程在一次执行中所需要的信息。 运行时，每当进入一个过程就有一个相应的活动记录累筑于栈顶。此记录含有连接数据、形式单元、局部变量、局部数组的内情向量和临时工作单元等。 9.2.2 活动记录 当前活动记录的内容： 连接数据 返回地址 动态链：指向调用该过程前的最新活动记录地址的指针。 静态链：指向静态直接外层最新活动记录地址的指针，用来访问非局部数据。 形式单元：存放相应的实在参数的地址或值。 局部数据区：局部变量、内情向量、临时工作单元（如存放对表达式求值的结果）。 9.2.2 活动记录 当前活动记录的内容： 对任何局部变量X的引用可表示为变址访问: dx[SP] dx: 变量X相对于活动记录起点的地址，在编译时可确定。 静态链 动态链 形式单元 临时单元 内情向量 局部变量 SP? 0 1 2 返回地址 TOP? 9.2.3 存储分配策略 静态分配策略(FORTRAN) 如果在编译时能确定数据空间的大小，则可采用静态分配方法：在编译时刻为每个数据项目确定出在运行时刻的存储空间中的位置。 动态分配策略(PASCAL) 如果在编译时不能确定运行时数据空间的大小，则必须采用动态分配方法。允许递归过程和动态申请释放内存。 栈式动态分配 堆式动态分配 9.3 静态存储分配 FORTRAN程序的特点：整个程序所需数据空间的总量在编译时完全确定，每个数据名的地址可以静态地进行分配。 由于每个FORTRAN 程序段可以独立编译，运行前由装入程序把各段连成可运行的整体。通常按数据区组织存储: 每个程序段定义一个局部数据区，用来存放程序段中未出现在COMMON里的局部名的值。 每个公用块定义一个公用数据区，用来存放公用块里各个名字的值。 9.3 静态存储分配 每个数据区有一个编号，地址分配时，在符号表中，对每个数据名登记其所属数据区编号及在该区中的相对位置。 每个局部数据区的内容