9运行时存储空间的组织及管理.pptVIP

可变长块管理分配策略 (1)首次匹配式堆管理策略 给表中每块首字中加入块大小的信息，分配时沿可利用表顺序查找，选择第一个大于所需空间的未用块，此块划出所需空间后剩余的部分必须大于某规定长度。 注：改进算法，可采用循环链表，释放存储区时合并相邻未用块。 (2)最优匹配式堆管理策略 分配时对可利用表从头查到尾，找到一个容量正好等于或稍大于申请空间的未用块。 注：此方法看似合理，但太花时间。 (3)最差匹配式堆管理策略 分配时找到一个容量大于申请空间且是可利用表中最大的的未用块，把它分开划给申请者，剩余部分留在表中。 注：为了节省查找最大未用块的时间，可以将可利用表的未用块从大到小排好。这样分配的剩余部分要插到表的适当位置上。 3、按块长不同分为若干集合 方法：把整个堆空间分为若干集合，每个集合中块长是相等的，并把它们链接在一起。当申请m个长度为n的块时，就到块长为n或稍大于n的集合中去查找可利用块。若该集合中由m个这样的块，则满足申请；若没有m个，则从块长较大的集合中取一块或多块，把它们分成相等的两块然后再分配。 注：优点：减少搜索时间，容易实现块合并； 缺点：会使内部碎片增加。 二、堆空间的释放与无用单元收集 1、堆空间的释放 对应语句: Dispose(P); free(p); 处理方法： 将释放块作为新块插入到可利用表的链首位置。 由于这样做一段时间后，可利用表中将有大量小块，影响分配程序的操作；此时可改进一下: 将地址连续的小块合并成一大块。 注：这样做可利用表必须按块的地址顺序组织。 2、无用单元的收集 1）执行时机： 在堆的可利用空间几乎耗尽，以至于不能满足用户申请要求，或发现可利用空间已降至某个危险点时执行。 2）收集过程： 标记阶段：查看已分配的块近期有无访问，访问过就做一标记； 收集阶段：把所有没有加标记的存储块加入可利用表中，然后消除标记。 注： 最好在可利用空间降到某个数值时就调用收集程序，以避免收集时间过长。 执行收集程序必须中断用户程序的执行，所以选择执行收集程序的时刻必须合理。 PASCAL语言运行时的数据区存储管理将栈和堆安排在存区两端，各自无关的向中间靠拢。当碰到一起时存储空间用完。此时调用无用单元收集程序。 数据区是否够用时无法估计的，堆和栈碰头也是难免的，所以设置堆管理是很重要的。 小结 1) C语言程序的数据存储管理 允许递归调用 使用活动记录 2) PASCAL语言程序的数据存储管理 允许递归调用和过程嵌套定义 使用带有DISPLAY表的活动记录，全局DISPLAY表首地址是调用过程的DISPLAY表首地址 第九章 运行时存储空间的组织和管理 一、数据的存储单元 编译程序必须为目标程序的运行分配数据的 存储单元。 如：变量、常量单元，临时工作单元，返回地址 若无存放数据信息的单元，则目标程序将无法运行。 二、存储单元分配策略 1、静态存储分配 在编译时就可以完全为数据项目分配存储单元，称为静态存储分配。 注：若一个程序设计语言不允许递归调用，而且不含有可变数组，则可使用静态存储分配策略。 2、动态存储分配 在运行时才能进行数据存储单元分配，称为动态存储分配。 注：1)若某程序设计语言允许过程递归调用，而且允许使用可变数组，那么在编译时就不可能完全为其数据项目分配存储单元，必须采取动态存储分配策略。 2)动态分配数据单元时一般使用： 栈式存储分配 堆式存储分配 2、动态存储分配 （1）栈式存储分配 运行时，每进入一个过程，就在栈顶为该过程分配一块数据区，一旦退出该过程，它所占的空间也退还给系统。 （2）堆式存储分配 有些语言允许用户随时动态地申请和释放存储空间，但申请和释放之间不遵守先申请后释放或后申请先释放原则，故不能使用栈式存储分配，而是更复杂的动态分配策略。 这种策略是：让运行程序持有一个大的存区（堆），在申请时从堆中取一块，释放时将一块存储区退还给堆。 栈式存储管理 一、允许过程(函数)递归调用的数据存储管理 1、语言特点 允许过程（函数）的递归调用，但不允许定义嵌套的过程（函数），也不许使用可变数组。如C语言。 2、栈式存储分配： 每进入一个过程，就有相应的数据区建立在栈顶。当程序开始运行前，用于建造数据区的栈是空栈。当开始进入主程序执行语句前，便在栈中建立全局变量和主程序数据