6.1 局部存储分配

 

局部存储分配与过程的执行

在软件开发和编程语言理论中，理解局部存储分配的概念和实践是至关重要的。本节旨在深入探讨过程活动所需局部信息的存储分配，先回顾与存储分配相关的语言概念，然后介绍活动记录中的数据布局，最后讨论过程中并列的程序块实行重叠分配的策略。

过程简介

过程定义是编程语言中的基本概念之一，其最简单的形式是将一个名字和一个语句序列联系起来。这个名字称为过程名，而这些语句构成了过程体。在大多数编程语言中，有返回值的过程被称为函数，而一个完整的程序也可以被视为一个过程。

过程调用

过程名出现在调用语句中时，称该过程在该点被调用。过程调用本质上是执行被调用过程的过程体的过程。值得注意的是，过程调用也可以出现在表达式中，在这种情况下，它被称为函数调用。

形式参数与实际参数

出现在过程定义中的某些名字是特殊的，它们被称为该过程的形式参数，简称形参。过程调用语句中的实在参数（简称实参）传递给被调用过程，它们取代过程体中的形参。实参与形参之间的对应关系的建立方法将在后续章节中讨论。

活动记录与数据布局

活动记录是在过程调用时用于存储局部变量、形参、返回地址以及必要的保存寄存器值等信息的数据结构。活动记录的布局对于理解过程调用的执行和局部存储分配机制至关重要。

重叠分配

在某些情况下，为了优化存储空间的使用，可以采用重叠分配的策略。这种方法允许在不同的过程调用中重用部分存储空间，尤其是当这些过程不会同时活跃时。重叠分配能够有效减少程序的总体内存占用。

实例分析：快速排序程序

为了更具体地理解这些概念，我们可以参考一个用C语言编写的快速排序程序的概略。该程序包含一个main过程和三个其他过程，通过这个例子，我们可以看到过程定义、调用以及参数传递在实际编程中的应用。

通过深入了解局部存储分配、过程的定义和调用，以及参数传递的机制，开发者能够更有效地编写和优化程序。这些概念不仅是编程语言理论的核心，也是实际软件开发中不可或缺的知识点。

 

名字的作用域和绑定：理解局部存储分配的关键

在编程中，名字的作用域和绑定是核心概念，它们定义了如何在程序的不同部分使用变量和函数。这一节深入探讨这些概念及其对局部存储分配的影响。

名字的作用域

名字的作用域是指一个变量名在程序中可被识别和访问的区域。编程语言的作用域规则决定了在程序的某个位置使用某个名字时，应用哪个声明。例如，在给定的程序中，变量i可能在两个不同的过程中被声明，每个声明独立于另一个，彼此之间不会相互影响。

局部与非局部

如果一个过程中的名字出现在该过程中该名字的某个声明的作用域内，则该名字被认为是局部于该过程；否则，它被认为是非局部的。这种区分适用于任何可以包含声明的语法结构。

名字的绑定

名字的绑定是将程序中的变量名关联到其运行时存储位置的过程。如果环境将名字x映射到存储单元s，则说x被绑定到s。这种绑定机制是理解变量如何在程序运行时被访问和修改的关键。

环境与状态

编程语言的语义通常用环境和状态来表示变量名到值的映射。环境是一个函数，它将名字映射到存储单元，而状态是另一个函数，将存储单元映射到其保存的值。环境关注变量的左值（地址），状态关注右值（值本身）。

静态概念与动态概念

在理解程序的存储空间组织和管理时，区分静态概念（如过程的定义和名字的声明）与它们的动态对应物（如过程的活动和名字的绑定）是非常重要的。特别是，递归过程在运行时可以有多个实例同时活动，每个实例的局部变量名绑定到不同的存储单元。

实例：快速排序程序

快速排序程序提供了一个实际例子，展示了名字的作用域、绑定以及环境和状态的概念如何应用于实际编程中。在这个程序中，变量a和i的使用体现了这些概念的重要性。

通过深入理解名字的作用域和绑定，程序员可以更有效地设计和实现程序，特别是在涉及局部存储分配和过程调用的复杂场景中。这些概念不仅有助于编写清晰、高效的代码，也是编程语言理论的基石。

 

活动记录：程序执行的核心

活动记录，也称为帧（frame），是程序执行过程中管理局部信息的重要数据结构。它在程序调用过程中为一次过程执行所需的局部信息提供了一个连续的存储区。活动记录的结构对于理解程序的执行流程以及如何高效地管理内存至关重要。

活动记录的组成

活动记录由多个域组成，这些域的存在是为了支持过程调用的各个方面。以下是活动记录中常见的域及其用途：

1. 临时数据

这个域用于保存临时值，特别是当寄存器不足以存放表达式计算的中间结果时。临时数据域提供了一个方便的存储空间来存放这些中间结果。

2. 局部数据

局部数据域用于保存过程的局部变量。这些是在过程内部声明的变量，仅在过程执行期间存在。

3. 保存的机器状态

在过程调用时，某些机器状态信息（如程序计数器的值和必须在过程返回时恢复的寄存器内容）需要保存下来。这确保了过程能够正确返回到调用点，并且调用过程的状态得到恢复。

4. 访问链

访问链用于支持对非局部数据的访问，特别是在嵌套过程调用的情况下。通过访问链，一个过程可以访问其外围过程中的变量。

5. 控制链

控制链指向调用者的活动记录，形成了一个调用栈。这个机制支持了过程调用的嵌套和递归。

6. 返回值

用于存放过程的返回值。虽然寄存器经常用于传递简单的返回值，但复杂的返回值或多个返回值可能需要在活动记录中专门的存储空间。

7. 参数

存放调用过程提供的实际参数。参数可以通过寄存器传递以提高效率，但复杂的参数或大量的参数可能需要在活动记录中分配空间。

活动记录的动态特性

活动记录的大多数域的长度在编译时就可以确定，除了那些依赖于运行时计算才能知道大小的局部数组。此外，活动记录不包含过程执行所需的全部信息，如非局部数据通常不存储在当前活动记录中。

非局部数据和堆分配

非局部数据的布局和访问方法，以及在程序控制下动态分配的数据对象（通常放在堆上）的处理，是理解程序内存管理的另外两个重要方面。

通过深入了解活动记录及其组成部分，我们可以更好地理解程序的执行流程，以及编译器和运行时如何管理内存。活动记录不仅是理解过程调用和执行的关键，也是高效内存管理的基础。

 

局部数据的布局：优化存储和访问效率

理解局部数据在活动记录中的布局对于编程语言的实现和优化非常重要。这不仅涉及到如何高效地利用内存，还关系到程序运行时的性能。

存储空间和数据布局

运行时存储空间被视为连续的字节区域，字节作为可编址内存的最小单位。在这个框架下，数据对象的存储方式必须既高效又符合目标机器的寻址限制。

基本数据类型的存储

基本类型的数据（如字符、整数或实数）通常存储在几个连续字节中。这些数据类型的大小和如何在内存中排列通常由它们的类型决定。

数组和记录的存储

• 数组的元素在分配的存储区内连续存放，这样可以便于通过下标计算出元素的地址。
• 记录（或结构体）的字段通常按照在类型声明中出现的顺序存放。

编译时的局部数据布局

在编译时期，过程中声明的局部变量会按声明时的顺序在活动记录的局部数据域中依次分配空间。局部数据的地址可以通过相对于活动记录的某个固定点（如起始点或中部某个特定单元）的相对地址来确定。

寻址限制与数据对齐

数据的存储布局受到目标机器寻址限制的影响，这尤其体现在数据对齐上。数据对齐是指数据存放在满足一定条件的内存地址上的要求，例如，整数可能需要存放在能被4整除的地址上。

衬垫区的影响

为了满足对齐要求，编译器可能在数据对象之间插入衬垫区（无用空间），以确保后续数据的地址对齐。虽然这可能导致内存的浪费，但它有助于提高内存访问的效率。

紧凑数据布局的权衡

如果内存资源非常宝贵，编译器可能采用紧凑的数据布局，避免插入任何衬垫区。这种布局节省了空间，但可能需要运行额外的指令来处理这些紧凑布局的数据，从而影响程序的运行效率。

结论

局部数据的布局策略需要在内存使用效率和程序执行效率之间找到平衡。理解这些概念有助于开发者在编写和优化代码时做出更好的决策，特别是在处理性能关键的应用程序时。通过合理的数据布局，可以显著提高程序的执行速度和内存使用效率。

 

程序块与局部变量存储分配

程序块概念在编程语言中扮演着核心角色，特别是在涉及局部变量声明和作用域定义时。程序块的嵌套结构特性意味着它们不能交叉执行，确保了变量作用域的清晰界定和程序执行流的可预测性。这种结构对于编译器在存储分配时优化内存使用和管理局部变量至关重要。

程序块结构与变量作用域

程序块提供了一种机制，通过它，变量声明被限制在特定的代码区域内，其作用域由最接近的嵌套规则定义。例如，一个变量在其声明的程序块及其任何内嵌程序块中是可见的，但在外部程序块中则不可见。

示例解析

考虑一个包含嵌套程序块的C程序，其中变量a和b在不同的程序块中声明，展示了如何根据程序块结构确定变量的作用域。在程序执行过程中，这些变量的值会根据它们声明的作用域而变化，体现了作用域规则对程序执行结果的直接影响。

存储空间分配

编译器在处理含嵌套程序块的过程时，必须为每个程序块中声明的变量分配存储空间。在优化存储空间使用时，编译器采用重叠分配策略，即在不同程序块中声明的变量可以共享存储空间，前提是这些程序块不会同时活跃。

重叠分配的优势

通过重叠分配，编译器能够有效减少程序的总体内存需求，尤其是对于局部变量较多的复杂程序。这种方法利用了程序块结构的嵌套特性，确保了内存使用的高效性。

静态存储空间的确定

在确定过程所需的局部存储空间时，编译器采取保守策略，假设过程运行时会执行所有可能的控制路径。这意味着条件语句的then和

else部分，以及循环语句中的循环体，都被认为是会被执行的。因此，过程中嵌套的程序块不会影响到活动记录中局部数据域大小的静态确定。

这种设计选择的后果是，编译器在编译时就能准确计算出每个过程所需的最大存储空间，无论实际的执行路径如何。这样做确保了运行时的存储分配是既高效又安全的，因为它避免了动态存储分配带来的潜在性能开销和复杂性。

优化考虑

尽管静态确定局部数据域的大小提供了一种稳健的方法来处理存储分配，但它也意味着编译器需要在优化内存使用和保证程序正确性之间找到平衡点。例如，编译器可能需要在不同的优化级别之间做出选择，如更紧凑的数据布局与快速访问之间的权衡，或是在允许更灵活的控制流与保持较低的内存使用之间做出抉择。

动态存储分配的角色

尽管活动记录的局部数据域大小通常在编译时静态确定，但程序还可能需要动态存储分配（例如，通过堆分配）来处理运行时才知道大小的数据结构或是那些生存期跨越多个调用的数据。动态存储分配提供了额外的灵活性，但也引入了额外的复杂性和性能考虑，如垃圾收集和内存泄漏的可能性。

结论

程序块的嵌套结构和局部变量的作用域定义是程序设计的基本概念，对于理解和优化程序的执行和存储管理至关重要。通过精心设计的存储分配策略，编译器能够高效地管理内存，同时保持程序的灵活性和可扩展性。理解这些基本概念和技术可以帮助开发者编写更高效、更可靠的代码，并更好地理解编译器如何将高级语言转换为机器执行的指令。