活动记录

活动记录

　　一个过程的一次执行所需信息的管理，是通过使用一个所谓活动记录的连续存储块来实现的。在PASCAL和C语言中，我们通常采用以过程为单位的动态存储分配方案。即：当一个过程被调用时，就把它的活动记录推入运行时存储栈的栈顶，而在控制返回调用程序时，再从栈顶弹出相应的活动记录。

 

活动记录中各种域的作用

　　如下：

 

　　(1) 临时变量域——用来存放目标程序临时变量的值，如计算表达式时所产生的结果；

 

　　(2) 局部数据域——用来存放过程本次执行中的局部数据、简单变量以及数组内情向量等；

 

　　(3) 机器状态域——用来保存在调用一个过程之前有关机器状态的信息，其中包括各种寄存器的当前值和返回地址等；

 

　　(4) 任选的存取链——为访问其它活动记录中所存放的非局部数据提供链地址(这在PASCAL语言中是需要用到的)；

 

　　(5) 任选的控制链——用以指向主调过程的活动记录；

 

　　(6) 实在参数——用于存放主调过程为被调用过程所提供的实在参数信息(在活动记录中，我们列出了实在参数的存放空间，但是为了提高效率，有时参数是通过机器寄存器来传递的)；

 

　　(7) 返回值域——被调用过程用来为主调过程存放返回值的域。

 

　　每个活动记录都可分为定长部分和可变部分。定长部分用来存放那些在编译时就能确定其体积的量，如简单变量、常界数组等；可变部分用来存放只有在运行时，才能确定其体积的量，如可变数组、动态指针等。虽然只有在运行时，才能为这些可变体积的数据在活动记录的可变部分分配其存储空间，但在编译时却能产生通过活动记录的首地址(一般用一个指示器指示)来访问它们的目标代码，这是因为在该活动记录的定长部分，已设定了存放确定其体积的有关信息的域(如数组的内情向量)，而这些域在活动记录中的相对位置是恒定的。