编译原理蒋宗礼第9章.pptVIP

第9章?运行时的存储组织 ;9.1 与存储组织有关的源语言概念与特征;9.1.1 名字及其绑定 ;名字的绑定;9.1.2 声明的作用域;1. 静态作用域;2. 显式访问控制 ;2. 显式访问控制 ;3. 动态作用域 ;9.1.3 过程及其活动 ;9.1.3 过程及其活动 ;9.1.3 过程及其活动 ;9.1.4 参数传递方式 ;1. 传值;2. 传地址;3. 传值结果;4. 传名;9.1.5 对变长数据及用户自由申请空间的支持;编译程序组织存储空间时必须考虑的问题;9.2 存储组织;9.2.1 运行时内存的划分;过程的每个活动所需要的信息用一块连续的存储区来管理，这块存储区叫做活动记录 假定语言的特点为:允许过程递归调用、允许过程含有可变数组，过程定义允许/不允许嵌套。 采用栈式存储分配机制 活动记录：运行时，每当进入一个过程就有一个相应的活动记录压入栈顶。活动记录一般含有连接数据、形式单元、局部变量、局部数组的内情向量和临时工作单元等。;对任何局部变量X的引用可表示为变址访问: dx[SP] dx:变量X相对于活动记录起点的地址，在编译时可确定。; 连接数据 返回地址 动态链：指向调用过程前的最新活动记录地址的指针。 静态链：指向静态直接外层最新活动记录地址的指针，用来访问非局部数据。;形式单元：存放相应的实在参数的地址或值。 局部数据区：局部变量、内情向量、临时工作单元(如存放对表达式求值的结果)。;9.2.3 局部数据的组织;9.2.3 局部数据的组织;9.2.3 局部数据的组织;9.2.3 局部数据的组织;静态存储分配策略(FORTRAN) 如果在编译时能确定数据空间的大小，则可采用静态分配方法：在编译时刻为每个数据项目确定出在运行时刻的存储空间中的位置。 动态存储分配策略(PASCAL) 如果在编译时不能确定运行时数据空间的大小，则必须采用动态分配方法。允许递归过程及动态申请、释放内存。 栈式动态存储分配 堆式动态存储分配;9.3 静态存储分配策略;9.4 栈式存储分配策略;9.4.1 调用序列和返回序列 ;9.4.1 调用序列和返回序列;9.4.1 调用序列和返回序列;9.4.1 调用序列和返回序列;9.4.1 调用序列和返回序列;9.4.1 调用序列和返回序列;过程调用的三地址码: param x1 param x2 … param xn call p，n;1) 每个param xi(i=1,2,…n)可直接翻译成如下指令: (i+3)[top]:= xi (传值) (i+3)[top]:=addr(xi) (传地址) 2) call p，n 被翻译成如下指令: 1[top]:=sp (保护现行sp) 3[top]:=n (传递参数个数) JSR p (转子指令);3) 进入过程p后，首先应执行下述指令: sp:=top+1 (定义新的sp) 1[sp]:=返回地址 (保护返回地址) top:=top+L (新top) L：过程P的活动记录所需单元数， 在编译时可确定。 ;4) 过程返回时，应执行下列指令: top:=sp-1 (恢复调用前top) sp:=0[sp] (恢复调用前SP) X:=2[top] (把返回地址取到X中) UJ 0[X] (按X返回) UJ为无条件转移指令， 即按X中的返回地址实行变址转移;9.4.3 栈中的可变长数据;9.4.3 栈中的可变长数据;栈式存储分配策略的局限;9.5 栈中非局部数据的访问;9.5.1 无过程嵌套的静态作用域; C语言的函数声明不能嵌套，函数不论在什么情况下激活，要访问的数据分成两种情况: 非静态局部变量（包括形式参数），它们分配在活动记录栈顶的那个活动记录中 外部变量（包括定义在其它源文件中的外部变量）和静态的局部变量，它们都分配在静态数据区 ; 全局数据说明 main( ) { main中的数据说明 } void R( ) { R中的数据说明 } … void Q( ) { Q中的数据说明 };9.5.2 有过程嵌套的静态作用域;（1） program sort(input, output) （2） var a: array[0..10] of integer; （3） procedure readarray; （4） var i: integer; （5） begin （6） for i:=1 to 9 do read(a[i]) （7） end; （8）