编译原理课件第六章 运行时存储空间的组织和管理.pptVIP

* * * * * * * * * * * * * * * * * * * printf(a=%d,b=%d\n, a,b); * * * * 6.2 全局存储分配策略 运行栈：把控制栈中的信息拓广到包括过程活动所需的所有局部信息（即活动记录） s i: integer r a : array s r 6.2 全局存储分配策略 运行栈：把控制栈中的信息拓广到包括过程活动所需的所有局部信息（即活动记录） s k: integer q (2, 3) a : array s q(2,3) r 6.2 全局存储分配策略 运行栈：把控制栈中的信息拓广到包括过程活动所需的所有局部信息（即活动记录） s k: integer q (2, 3) a : array p(2, 3) k: integer s q(2,3) r p(2,3) 34/48 6.2 全局存储分配策略 运行栈的管理: 过程调用和过程返回都需要执行一些代码来管理活动记录栈，保存或恢复机器状态等 过程调用序列 过程调用时执行的分配活动记录，把信息填入它的域中的代码 过程返回序列 过程返回时执行的恢复机器状态，释放活动记录，使调用过程能够继续执行的代码 调用序列和返回序列都分常常分成两部分，分处于调用过程和被调用过程中 6.2 全局存储分配策略 即使是同一种语言，过程调用序列、返回序列和活动记录中各域的排放次序，也会因实现而异 设计这些序列和活动记录的一些原则是 把参数域和可能有的返回值域放在紧靠调用者活动记录的地方 以活动记录中间的某个位置作为基地址 长度能较早确定的域放在活动记录的中间 一般把临时数据域放在局部数据域的后面 用同样的代码来执行各个活动的保存和恢复 6.2 全局存储分配策略 调用者和被调用者之间的任务划分 被调用者的责任 调用者的责任 调用者的活动记录 被调用者的 活动记录 过程p调用过程q 局部数据临时数据 控制链 访问链和机器状态 返回值和参数 局部数据临时数据 返回值和参数 ? ? ? 控制链 访问链和机器状态 top_sp base_sp 栈 q P 6.2 全局存储分配策略 过程p调用过程q的调用序列 p在栈上留出放返回值的空间，并计算实参，依次放入栈顶，同时改变top_sp的值。 p把返回地址存入q的活动记录中，建立q的访问链 q保存寄存器的值和其它机器状态信息，将base_sp的值压栈,并将当前的top_sp作为自己的base_sp 。 q根据局部数据域和临时数据域的大小减小top_sp的值，初始化它的局部数据，并开始执行过程体。 局部数据临时数据 控制链 访问链和机器状态 返回值和参数 局部数据临时数据 返回值和参数 ? ? ? 控制链 访问链和机器状态 top_sp base_sp 栈 q P 6.2 全局存储分配策略 过程p调用过程q的返回序列 q把返回值置入邻近p的活动记录的地方 q增加top_sp的值 q恢复寄存器（包括base_sp）和机器状态，返回p p根据参数个数与类型和返回值类型调整top_sp，然后取出返回值 39/48 局部数据临时数据 控制链 访问链和机器状态 返回值和参数 局部数据临时数据 返回值和参数 ? ? ? 控制链 访问链和机器状态 top_sp base_sp 栈 q P 6.2 全局存储分配策略 过程的参数个数可变的情况 函数返回值改成用寄存器传递 编译器产生将这些参数逆序进栈的代码 被调用函数能准确地知道第一个参数的位置 被调用函数根据第一个参数到栈中取第二、第三个参数等等 局部数据临时数据 控制链 访问链和机器状态 返回值和参数 局部数据临时数据 返回值和参数 ? ? ? 控制链 访问链和机器状态 top_sp base_sp 栈 q P 6.2 全局存储分配策略 活动记录的长度在编译时不能确定的情况 局部数组的大小要等到过程激活时才能确定 在活动记录中为这样的数组分别存放数组指针的单元 运行时，这些指针指向分配在栈顶的存储空间 访问动态分配的数组 q的数组 q的活动记录 p的数组 控制链 top_sp base_sp p的活动记录 数组A的指针 数组B的指针 数组B 数组 A 控制链 只有作用范围在一个过程中，且返回后不可访问的数据对象才能分配在栈上。 6.2 全局存储分配策略 栈式分配的动态释放空间引起悬空引用：引用某个已被释放的存储单元 main() | int ? dangle ( ) { | { int ?q; | int j = 20; q = dangle ( ); | retur