概述
本节主要讲解编译器在生成目标代码前的一些存储空间的组织和管理方式。
编译程序在完成词法、语法和语义分析后,在生成目标代码之前,需要把程序的静态正文和实现这个程序的运行时的活动联系起来弄清楚将来在代码运行时刻,源代码中的各种变量、常量等用户定义的量是如何存放的,如何去访问它们。
在程序的执行过程中,程序中数据的存取是通过与之对应的存储单元来进行的。
在程序语言中,程序使用的存储单元都是由标识符来表示的。它们对应的内存地址都是由编译程序在编译时或由其生成的目标程序运行时进行分配。
对于编译程序来说存储组织与管理是一个复杂而又十分重要的问题。
两个概念
-
过程活动:过程的一次执行被称为过程的一次活动
-
活动记录:过程活动时用于存放所需信息的存储空间
过程P一次活动的生存期,指的是从执行该过程体第一步操作到最后一步操作之间的操作时间,包括执行P时调用其它过程花费的时间。
过程可以是递归的
一个过程可对应多个活动
局部存储分配策略
过程
过程定义:过程定义是一个说明,其最简单的形式是一个标识符和一段语句相关,标识符是过程名,语句是过程体。
- 许多程序设计语言中都把带有返回结果值的过程称为函数。
- 当过程名出现在可执行语句里的时候,称这个过程在这一点被调用
例子:
名字的作用域和绑定
- 一个声明起作用的程序部分称为该声明的作用域
- 即使一个名字在程序中只声明一次,该名字在程序运行时也可能表示不同的数据对象
名字到存储单元的绑定
- 环境把名字映射到左值(存储单元),而状态把左值映射到右值(值)。
- 赋值改变状态,但不改变环境。
- 如果环境将名字x映射到存储单元s,就说x被绑定到s。
静态概念和动态概念的对应
活动记录
- 过程的活动中用于存放所需信息的存储空间, 称为活动记录
局部数据的安排
- 字节是可编址内存的最小单位。
- 一个过程所声明的局部变量,按这些变量声明时出现的次序,在活动记录的局部数据区中依次分配空间。
- 局部数据的地址可以用相对于某个位置(本过程对应的活动记录的起始位置)的偏移来表示。
- 数据对象的存储安排深受目标机器寻址方式的影响,存在对齐问题。例如,要求整数(int,long)的相对地址可以被4整除。
- 由于对齐而引起的无用空间称为衬垫空白区。
例:
全局栈式存储分配
三种分配策略:
静态分配
栈式分配
- 活动树
- 调用序列
堆式分配