编译原理（五）运行时存储空间的组织和行为

• 过程的活动
• ----过程的一次执行称为过程的一次活动
• 活动记录
• ----过程的活动需要可执行代码和存放所需信息的存储空间，后者称为活动记录

影响存储分配策略的语言特征

• 过程能否递归
• 当控制从过程的活动返回时，局部变量的值是否要保留
• 过程能否访问非局部变量
• 过程调用的参数传递方式
• 过程能否作为参数被传递
• 过程能否作为结果值传递
• 存储块能否在程序控制下动态地分配
• 存储块是否必须显式地释放

过程概念：过程定义、过程调用、形式参数、实在参数、活动的生存期

静态分配

• 名字在程序被编译时绑定到存储单元，不需要运行时的任何支持
• 绑定的生存期是程序的整个运行期间

静态分配给语言带来限制

• 数据对象的长度和它在内存中位置的限制，必须是在编译时可以知道的
• 数据结构不能动态建立
  

  调用序列

• 过程调用和过程返回都需要执行一些代码来管理活动记录栈，保存或恢复机器状态等
• 过程调用序列：过程调用时执行的分配活动记录，把信息填入它的域中，使被调用过程可以开始执行的代码
• 过程返回序列：被调用过程返回时执行的恢复机器状态，释放被调用过程活动记录，使调用过程能够继续执行的代码
• 调用序列和返回序列常常都分成两部分，分处于调用过程和被调用过程中（调用序列是先再调用过程完成一部分，再在被调用过程中完成一部分，返回序列是先在被调用过程中完成一部分，再在调用过程中完成一部分）

过程p调用过程q的调用序列

top_sp：栈顶

base_sp：基地址指针

 

q在方法调用栈中保存自己的参数的状态值

 

调用过程看罢，我们再看看返回序列（p是调用者，q是被调用者）