文档介绍：第十章目标程序运行时的存储组织概述数据空间的使用方法和管理方法栈式存储分配的实现参数传递过程操作练****概述一般来讲,假如编译程序从操作系统中得到一块存储区以位目标程序在其上运行,该存储区需容纳生成的目标代码和目标代码运行时的数据空间。数据空间应包括:用户定义的各种类型的数据对象(变量和常数)所需的存储空间、作为保留中间结果和传递参数的临时工作单元,调用过程时所需的连接单元、以及组织输入/输出所需的缓冲区。运行时的存储区常常划分成:目标区、静态数据区、栈区和堆区。运行时存储区的典型划分编译程序对数据空间的分配运行时存储区的典型划分代码(code)区用以存放目标代码,这是固定长度的,即编译时能确定的。静态数据区(staticdata)用以存放编译时能确定所占用空间的数据。堆栈区(stackandheap)用于可变数据以及管理过程活动的控制信息。目标程序运行时存储区的典型划分编译程序对数据空间的分配基本原则是程序语言设计时对程序运行中存储空间的使用和管理办法的规定。数据空间的分配:本质上看是将程序中的每个名字与一个存储位置关联起来,该存储位置用以容纳名字的值。在程序设计语言语义学中,使用术语environment表示将一个名字映射到一个存储位置的函数,术语state表示存储位置到值的映射。名字到存储、到值的映射数据空间的使用方法和管理方法术语:静态:如果一个名字的性质通过说明语句或隐或显规则而定义,则称这种性质是“静态”确定的。动态:如果名字的性质只有在程序运行时才能知道,则称这种性质为“动态”确定的。静态存储分配动态存储分配静态存储分配如果在编译时能确定目标程序运行中所需的全部数据空间的大小,编译时安排好目标程序运行时的全部数据空间,确定每个数据对象的存储位置,那么则称这种分配策略为静态存储分配。示例FORTRAN77的示例程序该程序中局部变量的静态存储位置FORTRAN77的程序局部变量的静态存储位置动态存储分配如果一个程序设计语言允许递归过程、可变数组或可变数据结构,那么,就需要采用动态存储管理技术。因为对于这种程序在编译时无法知道它在运行时需要多大的存储空间,它所需要的数据空间的大小需待程序运行时动态地确定。分类:栈式动态存储分配堆式动态存储分配栈式动态存储分配这种分配策略是将整个程序的数据空间设计为一个栈。它适用于Pascal,C,ALGOL之类的语言的实现,每当调用一个过程时,它所需的数据空间就分配在栈顶,每当过程工作结束时就释放这部分空间。过程所需的数据空间包括两部分:一部分是生存期在本过程这次活动中的数据对象,如局部变量、参数单元、临时变量等等;另一部分则是用以管理过程活动的记录信息,即当一次过程调用出现时,调用该过程的那个过程的活动即被中断,当前机器的状态信息,诸如程序计数器(返回地址)、寄存器的值等等,也都必须保留在栈中。当控制从调用返回时,便根据栈中记录的信息恢复机器状态,使该过程的活动重新开始。