[Modern Compiler] Activation Records: Stack Frames

下图为一个典型的编译器的各个阶段，每个阶段由一至多个软件模块来实现。

更详细内容可以查看[Modern Compiler] Introduction

活动记录

栈(stack)：一个有序的积累或堆积。

函数的局部变量在函数入口创建，在函数的出口删除。函数调用是按后进先出（LIFO）方式进行，所以使用栈存放他们。

函数内的局部变量需要的生命周期超过函数本身的生命期：

1. 嵌套函数：内层函数可能会用到外层函数中定义的变量。
2. 将函数作为返回值：保存在变量中的函数。

栈帧

抽象的push、pop并不合适：局部变量成批push，成批pop。当其在栈中被创建时，没有被立刻初始化，并且有可能访问压在栈顶之下较深的变量。

替代：把栈看成一个大型数组，带有一个栈指针（寄存器），指向栈内的某个存储单元。