第十章 目标程序运行时的 组织 10.1概述 10.2数据表示 10.3目标程序运行时的栈式存储组织 10.4参数传递 10.5堆式存储组织的讨论
第十章 目标程序运行时的 组织 10.1 概述 10. 2数据表示 10.3目标程序运行时的栈式存储组织 10.4 参数传递 10.5堆式存储组织的讨论
概述-代码生成解决语义gap 目标机支持的概念 高级语言支持的概念 bits bytes words Type 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↓ heapt
概述 任务：编译程序对目标程序运行时的组织（设 计运行环境和分配存储） 如 通常存储区布局 可为： 目标代码区 静态数据区 Stack heap
运行环境和存储分配 设计分析 逻辑阶段：在目标代码生成前，作准备 实质： 关联(Binding)? 将源程序的文本←→ 程序运行动作的实现 源文件中的名字N←→ 运行时的存储S 在语义学中，使用术语environmentp函数表示 env: N→S (N到S的映射)
运行环境和存储分配 设计分析 逻辑阶段：在目标代码生成前，作准备 实质： 关联（Binding） 将源程序的文本 程序运行动作的实现 源文件中的名字N 运行时的存储S 在语义学中，使用术语environment函数表示 env: N→S (N到S的映射)