第九章 运行时空间组织.pptVIP

主要内容 目标程序运行时的活动 存储分配策略 简单栈式存储分配 C语言的存储组织 过程的执行 程序单元 FORTRAN的子例程(subroutine) PASCAL的过程/函数(procedure/function) C的函数 程序单元的激活（调用）与终止（返回） 过程与活动 过程的每一次运行(或执行)被称为一次活动(activation)。活动是一个动态的概念，除了设计为永不停机的过程(如操作系统等)，或者是因设计错误而出现死循环的过程之外，任何过程的活动均有有限的生存期(life time)。 程序单元的执行需要： 代码段＋活动记录（程序单元运行所需的额外信息，如参数，局部数据，返回地址等） 活动记录 为了管理过程在一次执行中所需要的信息，使用一个连续的存储块，这个连续的存储块称为活动记录（Activation record） 活动记录的结构及内容 指针SP指向现行过程的活动记录在栈里的起始位置。 TOP：活动记录的栈顶 常见的存储分配策略 静态分配策略 动态分配策略 栈式动态分配策略 堆式动态分配策略 存储分配策略 静态分配策略：如 FORTRAN 不允许过程递归 不含可变体积的数据对象，或待定性质的名称 因此编译时能完全确定每个数据项存储空间的位置情况 动态分配策略:如 PASCAL,C 允许过程递归 允许动态申请和释放存储空间 因此，编译时不能完全确定