PL/0活动记录、静态访问链、动态控制链

活动与活动记录

概念：

• 过程的一次执行称为过程的一次活动
• 把过程的一个活动所需要的信息组成的一块连续的存储单元 ，称为活动记录

PL/0程序运行栈中的过程活动记录

PL/0程序运行时，每一次过程调用都将在运行栈增加一个过程活动记录。 其中，当前活动记录的起始单元由基址寄存器b指出，结束单元是栈顶寄存器t所指单元的前一个单元。
PL/0的过程活动记录中的头3个单元是固定的联系信息：

1. 静态链SL：存放的是定义该过程所对应的上一层过程，最近一次运行时的活动记录的起始单元。
2. 动态链DL：存放的是调用该过程前正在运行过程的活动记录的起始单元。过程返回时当前活动记录要被撤销，此时需要动态链信息来修改基址寄存器b的内容。
3. 返回地址RA：记录该过程返回后应该执行的下一条指令地址，即调用该过程的指令执行时指令地址寄存器p的内容加1
这样，每当一个过程被调用，就需要在栈上先分配3个空间用来存储上述信息，然后才是分配空间存储过程的局部变量。对于主过程，SL=DL=RA=0。

PL/0的活动记录（模板）

• 局部变量
• 参数
• 参数个数
• RA—— 返回地址，填“?”
• DL—— 动态链（控制链）谁调用了我？
• SL—— 静态链（访问链）直接外层的SP

举例

对于下列程序：

var m, n, g:integer;
function gcd(m,n:integer):integer;
	begin
		if n = 0 then
			g := m
		else
			g := gcd(n, m mod n)
	end;

begin
	m := 24;
	n := 16;
	g := gcd(m, n)
end.

它的运行栈为：