第10章目标程序运行时存储课件.pptxVIP

• 教学要求：本章介绍目标程序运行时的 存储组织方式，包括静态存储分配和动 态存储分配。 要求掌握各种存储组织形 式的基本方法。 • 教学重点：静态分配策略和动态分配策 略的基本思想，嵌套过程语言栈式分配， 活动记录、运行时栈的组织。 第10章 目标程序运行时的组织 1 10.1 概述 • 从逻辑上看，代码生成前，编译程序必须 进行目标程序运行环境的设计和数据空间 的分配 • 数据空间包括：用户定义的各种类型的数 据对象(变量和常量)所需的存储空间， 作为保留中间结果和传递参数的临时工作 单元，调用过程时所需的连接单元，组织 输入/输出所需的缓冲区。 2 • 存储管理复杂度取决于源语言本身，具体包括： • 允许的数据类型的多少? • 语言中允许的数据项是: 静态确定?动态确定? • 程序决定名字的作用域的规则和结构 段结构? 过程定义不嵌套?只允许过程递归调用? 分程序结构: 分程序嵌套?过程定义嵌套? 3 目标代码区用以存放目标代码，这是 固定长度的，即编译时能确定的。 静态数据区用以存放编译时能确定所 占用空间的数据。 堆/栈用于存放可变数据以及管理过 程活动的控制信息。 1、存储组织：编译程序对目标程序运行时的 组织 (运行环境和分配存储) 。如通常存储 区布局可为： 目标代码区 静态数据区 Stack heap 三种数据区对应着下述三种不同的分配策略 4 2、存储分配策略： • (1) 静态存储分配——在编译时能确定目 标程序运行中所需的全部数据空间的大小， 编译时安排好目标程序运行时的全部数据 空间，确定每个数据对象的存储位置。 5 注：1、程序结构特点：不允许递归调用，而 且不含有可变数组。 (如FORTRAN语言) 。 2、基本策略:在编译时，根据各类数据 所需的存储空间大小以及存储方式规定， 在符号表中建立“名字-地址”对应关系， 然后根据这些对应关系进行变量名的地址 分配。 6 (2) 动态存储分配——在运行阶段动态地为 源程序中的量分配存储空间。 (栈式、堆式) 注：1) 若某程序设计语言允许过程递归调用， 而且允许使用可变数组，那么在编译时就不 可能完全为其数据项目分配存储单元，必须 采取动态存储分配策略。 7 简单的栈式分配方案 嵌套过程的栈式分配方案 分程序结构的存储分配方案 • 2)动态分配数据单元时一般使用栈，即栈 式存储管理。 • 栈式: • • 8 3、过程活动：一个过程的活动指的是该过程 的一次执行。 4、活动记录 (AR) ：一个过程的一次执行所 需要的信息使用一个连续的存储区来管理，这 个区 (块) 叫做一个活动记录。此记录含有连 接数据、形式单元、局部变量、局部数组的内 情向量和临时工作单元等。 9 对任何局部变量X的引 用可表示为变址访问: dx[SP] dx: 变量X相对于活 动记录起点的地址， 在编译时可确定。 临时单 元 内情向 量 局部变 量 形式单 元 参数个 数 动态链 返回地 每个过程的活动记录内容(非嵌套语言) 2 1 SP 0 TOP 10 口连接数据 Ø返回地址 Ø动态链：指向调用该 过程的最新活动记录 地址的指针。 Ø静态链：指向直接外 层最新活动记录地址 的指针，用来访问非 局部数据。 临时单 元 内情向 量 局部变 量 形式单 元 静态链 动态链 返回地 每个过程的活动记录内容(嵌套语言) 2 1 SP 0 TOP 11 q 形式单元：存放相 应的实参的地址或 值。 q 局部数据区：局部 变量、内情向量、 临时工作单元(如 存放对表达式求值 的结果)。 临时单元 内情向量 局部变量 形式单元 静态链 动态链 返回地址 每个过程的活动记录内容 2 1 SP 0 TOP 12 临时单元 内情向量 局部变量 形式单元 静态链 动态链 返回地址 SP为当前活动记录的起始位置。 TOP为栈顶单元。分别放在两个寄 存器中。 连接数据(控制信息) 访问信息 TOP SP 13 TOP 临时单元 内情向量 局部变量 形式单元 参数个数 返回地址 老SP 调用过程的 活动记录 14 1[TOP]:=SP (保护现行SP) JSR P (转子指令) 活动记录的填写 1、 call P 被翻译成: SP 内情向量 局部变量 形式单元 参数个数 返回地址 老SP 2、转进过程P后，首先应执行下述指令: SP:=TOP+1 (定义新的SP) 1[SP]:=返回地址 (保护返回地址) TOP:=TOP+L (新TOP) 临时单元 L：过程P的活动记录所需单元数， 在编译时可确定。 15 TOP 返