第十章目标程序运行时存储组织
第十章 目标程序运行时的存储组织 10.1 概述 2数据表示 10.3目标程序运行时的栈式存储组织 10.4 参数传递 10.5堆式存储组织的讨论 概述-代码生成解决语义gap 高级语言支持的概念 Type value expression Variable procedure Function parameters 目标机支持的概念 bits bytes words Registers Stack address Routine例程(sub routine) 概述 代码生成前如何安排目标机资源 运行时组织的几个问题 数据表示-如何在目标机中表示每个源语言类型的值 表达式求值-如何组织表达式的计算 存储分配-如何组织不同作用域变量的存储 过程实现-如何以例程实现过程,函数,参数传递 概述 任务:编译程序对目标程序运行时的组织(设计运行环境和分配存储) 如 通常存储区布局可为: 运行环境和存储分配设计分析 逻辑阶段:在目标代码生成前,作准备 实质: 关联(Binding) 将源程序的文本 ? 程序运行动作的实现 源文件中的名字N ? 运行时的存储S 在语义学中,使用术语environment函数表示 env: N→S (N到S的映射) 术语 静态存储分配:在编译时能确定目标程序运行中所需的数据空间的大小,编译时安排好目标程序运行时的全部数据空间,确定每个数据对象的存储位置,这种分配策略为静态存储分配。 动态存储分配:在编译时无法知道它在运行是需要多少空间,它需要的数据空间只有在程序运行时才能动态确定,则称这种存储分配方式为动态存储分配。 例 procedure A(m,n:integer); begin real z; array B[m:n]; begin · · · end; end; 数据表示各种数据对象的存储分配 数据对象的属性 name 名字,名称 type 类型 location 内存地址 value 值 component 成分 目标程序运行时的存储组织 存储分配策略: 简单的栈式分配方案 嵌套过程的栈式分配方案 分程序结构的存储分配方案 简单的栈式分配方案 程序结构特点:过程定义不嵌套,过程可递归调用,含可变数组; 例: main 全局变量的说明 proc R …… end R; proc Q …… end Q; 主程序执行语句 end main 嵌套过程语言的栈式分配方案 主要特点: (语言)一个过程可以引用包围它的任一外层过程所定义的标识符(如变量,数组或过程等)。 (实现)一个过程可以引用它的任一外层过程的最新活动记录中的某些数据。 关键技术:解决对非局部量的引用(存取)。 设法跟踪每个外层过程的最新活动记录AR的位置。 跟踪办法: 1. 用静态链(如PL/0的SL)。 2. 用DISPLAY表。 P222图10.11中的嵌套过程的程序 Sort readarray exchange quicksort partition 存取链:静态链,存取非局部变量,指向包含该过程的直接外层 控制链:动态链,链接调用该过程那个过程的活动记录首地址 如P224 图10.15的运行栈 目标代码解释执行时数据栈的布局(运行栈的存储分配) 每个过程的AR有 3个联系单元: SL: 静态链,指向定义该过程的直接外过程 (或主程序)运行时最新数据段的基地址。 DL: 动态链,指向调用该过程前正在运行过 程的数据段基地址。 RA: 返回地址,记录调用该过程时目标程序的断点,即调用过程指令的下一条指令的地址。 局部变量 中间结果 目标代码的解释执行 运行栈S M调用过程P 解决对非局部量的引用(存取)用Disp