《编译原理第六章.ppt

param c m:=0 b( f )存取链 f( 2 ) 如何建立存取链？ 过程要在定义它的环境中运行。过程作为实参数传递时，必须把它的存取链作为实参数的一部分传递。 在传递f时，确定f的存取链，好象在c中调用f一样。 在b中激活f的活动时，它作为f的活动记录的存取链。 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. CNSUME 目标代码 PRDUCE 目标代码 Char *50 buf int next char c Char *80 buffer int next CNSUME 活动记录 PRDUCE 活动记录 目标代码 静态数据 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 6.3.2 栈式存储分配 基于控制栈的原理：?存储空间被组织成栈，活动记录的推入和弹出分别对应于活动的开始和结束。 与静态分配不同的是，在每次活动中把局部名字和新的存储单元绑定，在活动结束时，活动记录从栈中弹出，因而局部名字的存储空间也随之消失。 ? 例6.5 图6.11表明当控制流通过图6.3的活动树时活动记录被推人或弹出运行时刻的栈中的情况，设寄存器top标记栈顶。 ? Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 图 6.11 栈式分配活动记录在栈中的变化 s s a:array top_sp top r r r:integer top_sp top top_sp top q(1,9) q(1,9) k:integer top_sp top P(1,9) p(1,9) i,j,x,v: integer top_sp top Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 确定活动记录中局部数据的地址：假设 top-sp标记一个活动记录的开始的位置，dx表 示x的地址相对于top-sp的偏移量。那么, x在 过程的目标代码中的地址可写成 dx（top-sp） 在运行时刻，当把x所在的活动记录筑于栈顶时，top- sp被赋于实际的地址， top- sp可以是一个寄存器。 调用序列和返回序列 ? 通过在目标代码中生成调用序列和返回序列实现过程的调用。 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 激活一个过程的活动是执行过程语句的结果。过程语句 p(e1,e2,……,en) 的目标代码（调用序列）完成如下任务： ??? 1. 调用者对实在参数求值，并把它们传送给 被 调用过程的活动记录的参数域。 ??? 2．调用者在被调用者的活动记录中存放返 回地 址和老top-sp之值。之后调用者把top-sp之 值增加到图6.12所示的位置。 ??? 3．被调用者存放寄存器值和其它状态信息。 ??? 4．被调用者初始化其局部数据并开始执行。 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 返回序列，return目标代码完成的任务是： ??? 1．被调用者在自己的活动记录的返回值域中放 一个返回值。 ??? 2．利用状态域中的信息，被调用者恢复top-sp