运行时存储空间组织.pptVIP

9.3静态存储分配静态分配名字在程序被编译时绑定到存储单元，不需要运行时的任何支持。绑定的生存期是程序的整个运行时间。名字在程序被编译时绑定到存储单元，不需要运行时的任何支持。静态分配9.3静态存储分配名字在程序被编译时绑定到存储单元，不需要运行时的任何支持。绑定的生存期是程序的整个运行时间。控制再次进入该过程时，局部变量的值和控制上一次离开时的一样。静态分配9.3静态存储分配01020304名字在程序被编译时绑定到存储单元，不需要运行时的任何支持。绑定的生存期是程序的整个运行时间。控制再次进入该过程时，局部变量的值和控制上一次离开时的一样。每个活动记录的大小是固定的。静态分配9.3静态存储分配过程调用时保存信息的地址在编译时也是已知的。每个活动记录的大小是固定的。控制再次进入该过程时，局部变量的值和控制上一次离开时的一样。绑定的生存期是程序的整个运行时间。名字在程序被编译时绑定到存储单元，不需要运行时的任何支持。静态分配9.3静态存储分配静态分配给语言带来限制递归过程不被允许9.3静态存储分配数据对象的长度和它在内存中位置的限制，必须是在编译时可以知道的递归过程不被允许静态分配给语言带来限制9.3静态存储分配递归过程不被允许数据对象的长度和它在内存中位置的限制，必须是在编译时可以知道的数据结构不能动态建立静态分配给语言带来限制9.3静态存储分配0102如果在编译时就能够确定一个程序在运行时所需的存储空间的大小，则在编译时就能够安排好目标程序运行时的全部数据空间，并能确定每个数据项的单元地址。存储空间的这种分配方法叫做静态分配。FORTRAN程序的特点是：不允许过程的递归性；每个数据名所需的存储空间大小都是常量（即不许含可变体积的数据，如可变数组）；并且所有数据名的性质是完全确定的（不允许那种需在运行时动态确定其性质的名字）。9.3静态存储分配9.4简单的栈式存储分配这种语言没有分程序结构，过程定义不许嵌套，但允许过程的递归调用。C就是这样的一种语言。9.4.1C的活动记录C的活动记录有以下四个项目。·连接数据，有两个：（1）老SP值，即前一活动记录的地址；（2）返回地址。·参数个数。·形式单元（存放实在参数的值或地址）。·过程的局部变量、数组内情向量和临时工作单元。9.4.2C的过程调用、过程进入、数组空间分配和过程返回9.5嵌套过程语言的栈式实现嵌套层次：如过程Q是在层数为i的过程P内定义，并且P是包围Q的最小过程，那么Q的层数就为i＋1。sort readarray exchange quicksort partition 过程嵌套深度sort 1readarray 2exchange 2quicksort 2partition 39.5嵌套过程语言的栈式实现过程嵌套深度1sort 12readarray 23exchange 24quicksort 25partition 36变量的嵌套深度：它的声明所在过程的嵌套深度作为该名字的嵌套深度79.5嵌套过程语言的栈式实现01栈式分配02栈式分配策略在下列情况下行不通：03过程活动停止后，局部名字的值还必须维持9.5嵌套过程语言的栈式实现9.5嵌套过程语言的栈式实现栈式分配栈式分配策略在下列情况下行不通：过程活动停止后，局部名字的值还必须维持被调用者的活动比调用者的活动活得更长，此时活动树不能正确描绘程序的控制流9.5嵌套过程语言的栈式实现栈式分配栈式分配策略在下列情况下行不通：过程活动停止后，局部名字的值还必须维持被调用者的活动比调用者的活动活得更长，此时活动树不能正确描绘程序的控制流不遵守栈式规则的有Pascal语言和C语言的动态变量Java禁止程序员自己释放空间9.6堆式动态存储分配堆式的动态存储如果一个程序语言允许用户自由地申请数据空间和退还数据空间，或者不仅有过程而且有进程（process）的程序结构，那么，由于空间的使用未必服从“先请后还，后请先还”的原则，因此，栈式的动态分配方案就不适用了。在这种情况下通常使用一种称之为堆式的动态存储分配方案。9.6.1堆式动态存储分配的实现定长块管理堆式存储分配最简单的实现是按定长块进行。初始化时，将堆存储空间分成长度相等的若干块，每块中指定一个链域，按照邻块的顺序把所有块