存储分配的对象与策略以及过程的活动记录是编译原理中运行时存储组织的核心内容

存储分配的对象与策略以及过程的活动记录是编译原理中运行时存储组织的核心内容，用于管理程序执行过程中内存的使用。以下是详细解析：

1. 存储分配的对象与策略

• 分配对象：

  • 基本数据类型：如整型、实型等，在编译时即可确定大小。
  • 结构化数据：如数组、记录（结构体），其空间需求由成员决定。
  • 连接数据：如函数调用时的返回地址、参数传递所需的空间。

• 分配策略：

  • 静态存储分配：
    • 在编译阶段就完全确定所有变量的内存位置和大小。
    • 内存布局固定，适用于无递归、无动态内存申请的语言（如早期FORTRAN）。
    • 优点：访问速度快（地址可直接计算）；缺点：不支持递归和动态数据结构。
  • 动态存储分配：
    • 运行时根据需要分配内存，支持递归调用和动态数据结构（如链表、动态数组）。
    • 分为两种主要方式：
      • 栈式分配（Stack Allocation）：
        • 利用栈结构管理内存，遵循“后进先出”（LIFO）原则。
        • 每次过程调用时，在栈顶创建新的活动记录（栈帧）；过程结束时弹出。
        • 适用于函数调用场景，自动管理生命周期。
      • 堆式分配（Heap Allocation）：
        • 内存分配和释放顺序不固定，需手动或通过垃圾回收机制管理（如malloc/free、new/delete）。
        • 适合长期存在或跨函数共享的数据对象（如动态对象、闭包）。

2. 过程的活动记录（Activation Record / Stack Frame）

• 过程的活动：指一个过程（函数）的一次执行实例，具有明确的开始和结束时间（生存期）。

• 活动记录：为每次过程调用在运行栈上分配的一块连续内存区域，保存该次调用所需的上下文信息，通常包含以下字段（从低地址到高地址排列）：

  1. 参数区（Arguments）：存放传入的实际参数。
  2. 返回地址（Return Address）：调用结束后应跳转回的位置。
  3. 控制链（Control Link）：指向调用者活动记录的起始位置，用于栈回溯。
  4. 访问链（Access Link，可选）：用于嵌套作用域语言（如Pascal），指向外层过程的活动记录，实现非局部变量访问。
  5. 保存的机器状态：保存被调用前的寄存器值（如程序计数器、基址寄存器等），以恢复现场。
  6. 局部变量区（Local Data）：存放过程内部定义的局部变量。
  7. 临时变量区（Temporaries）：存放表达式求值过程中的中间结果。

• 栈的管理：

  • 使用两个关键指针：
    • SP（Stack Pointer）：指向当前活动记录的起始位置（或基址）。
    • TOP（Top of Stack）：指向栈顶可用单元。
  • 过程调用时，将参数压栈 → 调用指令压入返回地址 → 创建新活动记录（分配空间）→ 更新 SP 和 TOP。
  • 过程返回时，恢复 SP、TOP 和寄存器状态，跳转回返回地址。

补充背景说明：
这部分知识属于编译原理中的“运行时系统”模块，重点解决如何将源程序中的变量、函数映射到实际内存空间的问题。它直接影响目标代码的生成效率与正确性，也是理解现代编程语言（如C的栈帧、Java的JVM栈、Python的函数调用机制）内存行为的基础。

例如，在C语言中，每个函数调用都会在调用栈上生成一个栈帧（即活动记录），若发生递归调用，则多个同名函数的实例各自拥有独立的局部变量空间——这正是栈式动态分配的体现。而malloc和free则对应堆式分配，供程序员灵活控制内存生命周期。