第八章目标程序运行时的 组织 81概述 82数据表示 8.3目标程序运行时的栈式存储组织 84参数传递 85堆式存储概述
第八章 目标程序运行时的 组织 8.1 概述 8.2 数据表示 8.3 目标程序运行时的栈式存储组织 8.4 参数传递 8.5 堆式存储概述
概述-代码生成解决语义gap 高级语言支持的概念 目标机支持的概念 bits bytes words ype value expreSsion Registers Variable procedure Stack address Function parameters Routine(sub routine
概述-代码生成解决语义gap 高级语言支持的概念 Type value expression Variable procedure Function parameters 目标机支持的概念 bits bytes words Registers Stack address Routine(sub routine)
概述 代码生成前如何安排目标机资源 运行时组织的几个问题 数据表示-如何在目标机中表示每个源语言类型的值 表达式求值-如何组织表达式的计算 存储分配-如何组织不同作用域变量的存储 过程实现-如何以例程实现过程,函数,参数传递
概述 代码生成前如何安排目标机资源 运行时组织的几个问题 数据表示-如何在目标机中表示每个源语言类型的值 表达式求值-如何组织表达式的计算 存储分配-如何组织不同作用域变量的存储 过程实现-如何以例程实现过程，函数，参数传递
概述 任务:编译程序对目标程序运行时的组织(设 计运行环境和分配存储)如通常存储区布局 可为: 目标代码区 静态数据区 Stack↓ heap↑
概述 任务：编译程序对目标程序运行时的组织（设 计运行环境和分配存储） 如 通常存储区布局 可为： 目标代码区 静态数据区 Stack heap
运行环境和存储分配 设计分析 逻辑阶段:在目标代码生成前,作准备 实质: 关联( Binding) 将源程序的文本 程序运行动作的实现 源文件中的名字N√运行时的存储S 在语义学中,使用术语 environmen函数表示 env:N→S(N到S的映射)
运行环境和存储分配 设计分析 逻辑阶段：在目标代码生成前，作准备 实质： 关联（Binding） 将源程序的文本 程序运行动作的实现 源文件中的名字N 运行时的存储S 在语义学中，使用术语environment函数表示 env: N→S (N到S的映射)
静态文本中 运行时动作及为实现其动作的准备 (与运行时数据对象的表示有关) 过程定义 过程名 执行过程体 过程体 控制数据对象的分配,为执行 过程体使用 源文本中同样的名字 目标程序中不同的数据空间 因为一个过程可以是递归的, 这时同一个名字在不同的时间 可能代表不同的存储单元
静态文本中 运行时动作及为实现其动作的准备 （与运行时数据对象的表示有关） 过程定义 过程名 执行过程体 过程体 控制数据对象的分配，为执行 过程体使用 源文本中同样的名字 目标程序中不同的数据空间 因为一个过程可以是递归的， 这时同一个名字在不同的时间 可能代表不同的存储单元
决定运行管理复杂程度的因素—源语言本身 1.允许的数据类型的多少 2.语言中允许的数据项是∫静态确定 动态确定 3.程序结构决定名字的作用域的规则和结构 A.段结构( Fortran B.过程定义不嵌套,只允许过程递归调用 C.分程序结构 分程序嵌套 过程定义嵌套 4存储类别的多少「 Global Static oca dynamic
决定运行管理复杂程度的因素——源语言本身 1. 允许的数据类型的多少 2．语言中允许的数据项是 静态确定 动态确定 3．程序结构 决定名字的作用域的规则和结构 A．段结构(Fortran) B．过程定义不嵌套，只允许过程递归调用 C．分程序结构 分程序嵌套 过程定义嵌套 4存储类别的多少 Global Static Local dynamic
术语 静态:如果一个名字的性质通过说明语句 或隐或显规则而定义,则称这种性质是 “静态”确定的。 动态:如果名字的性质只有在程序运行时 才能知道,则称这种性质为“动态”确定 的
术语 • 静态：如果一个名字的性质通过说明语句 或隐或显规则而定义，则称这种性质是 “静态”确定的。 • 动态：如果名字的性质只有在程序运行时 才能知道，则称这种性质为“动态”确定 的
B procedure A(m, n integer) begin real z; array bm:n; begin end end
• 例 procedure A(m,n:integer); • begin real z; • array B[m:n]; • begin • · • · • · • end; • end;
数据表示各种数据对象的存储分配 数据对象的属性 name名字,名称 类型 location内存地址 value 值 component成分
数据表示各种数据对象的存储分配 数据对象的属性 name 名字，名称 type 类型 location 内存地址 value 值 component 成分