编译原理课件-运行时存储空间组织.pptVIP

全局数据说明 Main( ) { Main中的数据说明 } void R( ) { R中的数据说明 } … void Q( ) { Q中的数据说明 } 主程序→过程Q →过程R Q的活动记录 主程序活动记录 全局数据区 R的活动记录 TOP? SP? TOP? SP? 全局数据说明 Main( ) { Main中的数据说明 } void R( ) { R中的数据说明 } … void Q( ) { Q中的数据说明 } 主程序→过程Q →过程R Q的活动记录 主程序活动记录 全局数据区 TOP? SP? TOP? SP? 全局数据说明 Main( ) { Main中的数据说明 } void R( ) { R中的数据说明 } … void Q( ) { Q中的数据说明 } 主程序→过程Q →过程R 主程序活动记录 全局数据区 TOP? SP? 全局数据说明 Main( ) { Main中的数据说明 } void R( ) { R中的数据说明 } … void Q( ) { Q中的数据说明 } 主程序→过程Q →过程R 每个过程的活动记录内容如图: 对任何局部变量X的引用可表示为变址访问: dx[SP] dx: 变量X相对于活动记录起点的地址，在编译时可确定。 参数个数 返回地址 形式单元 临时单元 内情向量 局部变量 SP? 0 1 2 老SP TOP? 9.4.1 C的活动记录 过程调用的语句 P(T1,T2,……,Tn) 翻译成四元式序列: par T1 par T2 … par Tn call P，n 9.4.2 C的过程调用、过程进入、数组空间分配和过程返回 1) 每个par Ti(i=1,2,…n)可直接翻译成如下指令: (i+3)[TOP]:= Ti (传值) (i+3)[TOP]:=addr(Ti) (传地址) 2) call P，n 被翻译成: 1[TOP]:=SP (保护现行SP) 3[TOP]:=n (传递参数个数) JSR P (转子指令) 参数个数 返回地址 形式单元 内情向量 局部变量 老SP 临时单元 对于par和call产生的目标代码如下: TOP? SP ? 调用过程的 活动记录 形式单元 老SP 参数个数 3) 转进过程P后，首先应执行下述指令: SP:=TOP+1 (定义新的SP) 1[SP]:=返回地址 (保护返回地址) TOP:=TOP+L (新TOP) L：过程P的活动记录所需单元数， 在编译时可确定。 参数个数 返回地址 形式单元 内情向量 局部变量 老SP 临时单元 TOP? 调用过程的活动记录 返回地址 TOP? SP? 4) 过程返回时，应执行下列指令: TOP:=SP-1 (恢复调用前TOP) SP:=0[SP] (恢复调用前SP) X:=2[TOP] (把返回地址取到X中) UJ 0[X] (按X返回) 参数个数 返回地址 形式单元 内情向量 局部变量 老SP 临时单元 调用过程的活动记录 TOP? SP? SP? TOP? 4) 过程返回时，应执行下列指令: TOP:=SP-1 (恢复调用前TOP) SP:=0[SP] (恢复调用前SP) X:=2[TOP] (把返回地址取到X中) UJ 0[X] (按X返回) 参数个数 返回地址 形式单元 内情向量 局部变量 老SP 临时单元 调用过程的活动记录 SP? TOP? 小结 运行时存储器的划分 活动记录（像c等允许递归的语言） 局部数据区（像fortran等不含递归的语言） 一个简单栈式存储分配 C的活动记录 C的过程调用、过程进入、数组空间分配和过程返回 第九章 运行时存储空间组织 目标程序运行时的活动 运行时存储器的划分 静态存储管理 一个简单栈式存储分配 嵌套过程语言的栈式实现 9.5 嵌套过程语言的栈式实现 PASCAL 非局部名字的访问的实现 静态链和活动记录 嵌套层次显示表display 过程调用、过程进入、过程返回 嵌套过程语言的栈式实现 PASCAL 非局部名字的访问的实现 静态链和活动记录 嵌套层次显示表display 过程调用、过程进入、过程返回 9.5 嵌套过程语言的栈式实现 假定语言不仅允许过程的递归调用(和可变数组