編译原理与技术课件.pptVIP

编译原理与技术;运行环境;存储组织与分配;运行时内存划分;活动记录;活动记录;活动记录的内容;活动记录内容的存取;活动记录内容的存取;静态存储分配; CALL sub SUBROUTINE sub CALL sub DATA I/10 END WRITE(*.*) I I = 100 END 第一次调用sub，输出10 第二次调用sub，输出100;动态存储分配;动态存储分配;栈式分配下的过程调用与返回 － 过程调用：分配被调过程的AR并填入相关信息，然后程序控制转移到被调过程入口； －过程A 调用 过程B 的过程调用序列： A的“调用”准备操作：1）～ 3） 1）A 计算实在参数并放入（对应栈操作－push） B的活动记录中；（亦可考虑返回值存放空间） 2）A将可选的访问链放入（push）B的活动记录； 3）A将返回地址放入B的活动记录并跳转到过程B 的代码入口，开始B的执行；（一般通过A中的 代码指令－“call B” 来完成这一步） 4）;栈式分配下的过程调用与返回 －过程A 调用 过程B 的过程调用序列： B的入口代码：4）～ 6） 4）在B自己的AR中保存A的活动记录的基址（即当前bp，对应操作 push bp）并且将这个位置作为B自己AR的基址（对应操作） mov sp,bp 即 bp?sp） 5）保存可选的机器状态（寄存器） 6）为局部数据分配空间，（对应操作） sub local_size，sp，即sp ?sp – local_size 7）“开始”B的执行。（至此，B的AR建好）;栈式分配下的过程调用与返回 － 过程返回：回收分配的被调过程的AR，并将程序控制转移回调用过程继续执行； －过程A 调用 过程B 的过程返回序列： B的出口代码：1）～ 2） 1）B回收局部数据空间；恢复原先保存的机器状态2）B恢复A的AR基址；取出返回地址将程序控制交回到A。对应操作： mov bp,sp sp?bp pop bp //恢复调用者A的bp ret // B执行结束并返回 注：X86-Linux中的leave 和ret组合亦能达到目的。 至此，B的AR中除了参数/返回值区域，其余区域全部回收（撤销）了。;栈式分配下的过程调用与返回 －过程A 调用 过程B 的过程返回序列： A的“调用”善后代码：3）～ 4） 3）A取回返回值以及引用型参数（有的话） 4）A调整栈顶sp（主要根据参数个数以及可能有的访问链和可能有的返回值）。对应操作： add para_size, sp 即sp?sp + para_size 至此，B的AR区域全部回收（撤销）了。;e.g.2 栈式存储分配;过程g被调用时，活动记录栈的（大致）内容 ;e.g.3 有参函数的活动记录;有如下C程序： main() { int i ; float f; int j ; scanf(“%d%f”, i, f); //第一次调用时3个参数 scanf(“%d”, j ); //第二次调用时 2个参数 return 0; } ;e.g.4. scanf的可变参数;e.g.5 悬空引用;非局部变量访问;非局部变量访问;分程序的实现;分程序的实现;program dynamic_static_link; procedure A ; var i : integer ; procedure B ; var j : integer; procedure C ; begin B; end; begin j := i; C ; end; begin B ; end; begin A ; end.;过程嵌套定义语言中非局部名字访问;使用静态访问链来存取非局部名字 非局部变量a的嵌套深度为na ，而该变量的使用或引用点的嵌套深度为np： 沿当前过程或函数的访问链追踪|np - na|次，即可到达包含变量a的过程或函数的活动记录；进一步可存取变量a。运行时栈上操作如下： 1）（bp + 访问链单元的偏移）? Reg //追踪1次 2）（Reg + 访问链单元的偏移）? Reg //追踪2次 … … // 追踪（np – na）次 最后， 通过 （Reg + 变量a的偏移）来存取变量a （局部变量访问无需追踪访问链！！！） e.g.7中下划线部分：j