[北京邮电大学数据结构与算法课件]DSC8.pptVIP

* §8.1 存储管理概述 第八章. 动态存储管理 （Chapter 8. Dynamic Storage Management) 前面几章我们介绍了数据的几种逻辑结构及其相应的物理结构（在内存中的映像），本章则简单介绍了在单一连续区方式下计算机内存储器的动态管理。 内存的初始状态 U1 U2 U3 U4 系统运行初期 U2 U4 系统运行若干时后 计算机内存在刚开始工作时，空闲部分是一个整块的连续区域；随着用户进入系统，多次申请和释放内存以后，空闲部分不再是连续的了，而成了多个空闲区，通常用链表的 形式管理起来，即可利用空间表。右图即为内存在不同时间下的示意图： §8.2 可利用空间表和分配回收方法 可利用空间表是将所有内存空闲块用链表连接而成。空闲块的大小可以是全相同的，也可以是分成若干固定大小的，还可以是随机大小的。如下面所示即是随机大小的： tag size link space tag=0：空闲 tag=1：使用 av 0 200 0 300 0 150 ... 对于随机大小的可利用空间块，在分配时可以采用三种分配策略，它们各有利弊： 1、首次适应法：操作方便，查找快捷； 2、最佳适应法：尽可能将大的空闲块留给大程序使用； 3、最坏适应法：尽可能减少分配后无用碎片； 分配和回收： 1、 分配时根据用户申请内存大小利用相应的分配策略分配给用户所需的空间，若分配块大小与申请大小差不多，则将此块全部分给用户；否则，就需将分配块分为两块，一部分给用户使用，另一部分继续留在可利用空间表中。 2、 回收时需测试 回收块前后相邻内存块是否空闲，若是则需将回收块与相邻空闲块合并成较大的空闲块，再链入可利用空间表中。 §8.3 边界标识法 边界标识法（boundary tag method）的数据结构示意如右： space tag size rlink llink tag uplink header footer llink 和 rlink 构成双向循环链表，uplink 则指向块头，tag 表示是否空闲。 typedef struct blk { struct { blk *llink , *rlink; int tag int size } header; datatype space[ 0 .. size-3 ]; struct { blk *uplink; int tag; } footer; } blk, *blkptr; 边界标识法的数据结构定义如下： §8.4 伙伴系统 伙伴系统（buddy system）采用的是一系列固定大小（2k）的空闲块。 系统开始时只有一个空闲块， 大小为 2m ，其后随着用户的内存申请，就将刚好满足用户需求的 2k大小的空闲块分配给用户，若不存在 2k 这么大的空闲块，就找大小为 2k+1的空闲块，将其分为两半（互称伙伴），一半给用户，另一半加入大小为 2k的循环链表中。回收时，只有伙伴才合并，并将合并后的新空闲块加入上一级大小的空闲块链表中。 B1 B2 B3 B4 注意：并非大小相同的相邻块都是伙伴，找伙伴时单方 向的！如左图中的 B1 和 B2、B3 和 B4 是伙伴，它们的大小都相同，但 B2 和 B3 则不是伙伴，它们再回收时时不能够合并的。 首地址为 Z，大小为2k 的内存块，其伙伴为： (a) 初始状态 (b) 若干时间后 20 21 2k 2m ∧ ∧ ∧ 0 m 20 2k-1 2k 2m ∧ ∧ k-1 0 k 0 k 0 Buddy(k,Z)= Z+2k 当 Z mod 2k+1 = 0 Z - 2k 当 Z mod 2k+1 = 2k { typedef struct freenode { struct { freenode *llink, *rlink; int tag; int kval; } header; datatype space[0 .