第10章目标程序运行时的组织.pptxVIP

第10章 目标程序运行时的存储组织 10.1 数据空间的三种不同使用方法和管理方法10.2 栈式存储分配的实现10.3 参数传递10.4 过程调用、过程进入和过程返回 从逻辑上看，在代码生成前，编译程序必须进行目标程序运行环境的配置和数据空间的分配。 数据空间应包括：用户定义的各种类型的数据对象（变量和常数）所需的存储空间；作为保留中间结果和传递参数的临时工作单元；调用过程时所需的连接单元；组织输入/输出所需的缓冲区。 目标代码所占用空间的大小在编译时能确定。有些数据对象所占用的空间也能在编译时确定，其地址可以编译进目标代码中。而有些数据对象具有可变体积和待分配性质，无法在编译时确定存储空间的位置。 目标代码区code静态数据区static栈Stack堆heap 因此运行时的存储区常常划分成：目标代码区、静态数据区、栈区和堆区，如图10.1 。图10.1 目标程序运行时存储区的典型划分所谓数据空间的分配，本质上看，是将程序中的每个名字与一个存储位置关联起来，该存储位置用以容纳名字的值。编译程序分配目标程序运行时的数据空间的基本依据是程序语言设计时对程序运行中存储空间的使用和管理办法的规定。在程序设计语言语义学中，使用术语environment表示将一个名字映射到一个存储位置的函数，术语state表示存储位置到值的映射，如图10.2所示。图10.2名字到存储位置、到值的