算法与数据结构：第八章 动态存储管理.pptVIP

数据结构---第八章 动态存储管理 第八章 动态存储管理 8.1 概述 8.2 边界标识法 8.3 伙伴系统 8.4 无用单元收集 8.5 存储紧缩 习题 8.1 概述 [动态存储管理] 指系统随机地根据用户程序申请空间的大小，进行分配空间和回收不用空间所进行的内存管理。 [动态存储管理的一种方法] 建立可利用空间表(自由空间表/存储池)，将所有可利用的空闲内存块链接起来。 [三种基本分配策略] 首次拟合法：分配找到的第一个不小于n的空闲块 的一部分。操作方便，查找快捷 最佳拟合法：分配不小于n且最接近n的空闲块的一部分。尽可能将大的空闲块留给大程序使用 最差拟合法：分配不小于n且是最大的空闲块的一部分。尽可能减少分配后无用碎片 8.2 边界标识法—双向循环链表的应用 8.2.1 可利用空间表的结点结构 llink tag size rlink space uplink tag 8.2.2 分配算法 (申请容量为n的存储空间) 假设采用首次分配法，为避免过多碎片，设一常量e m-n ? e 将大小为m的块全部分出 e 分出n大小，剩余留下 为使分配后剩余的小块均匀分布在链表中，可利用空间链表的头指针pav在每次分配之后，指向被分配块的后继块 8.2.3 回收算法 设释放块的首地址指针为p，大小为n，分四种情况： 1) (p-1)-tag=1 且 (p+n)-tag=1 释放块的左右邻块均为占用块 将释放块插入到pav所指的结点之后或之前； 2) (p-1)-tag=0 且 (p+n)-tag=1 释放块的左邻块为空闲块，右邻块为占用块 将释放块合并到左邻块的底部，并修改相应的信息； 3) (p-1)-tag=1 且 (p+n)-tag=0 释放块的左邻块为占用块，右邻块为空闲块 将释放块合并到右邻块的顶部，并修改相应的信息 4) (p-1)-tag=0 且 (p+n)-tag=0 释放块的左右邻块均为空闲块 从链表上删除右邻块，将释放块和右邻块一起合并到左邻块的底部 比较边界标志法分别采用最佳适配和首次适配策略时，在数据结构、分配算法和回收算法上有何不同。 最佳适配 首次适配 数据结构 分配算法 回收算法 8.3 伙伴系统—索引+双循环链表 [伙伴系统原理] 伙伴系统的空闲块大小以2k（k=0,1,2,…,m） 标定。按k值不同组织成多个双循环链表。 系统起始时只有一个空闲块， 大小为 2m 。 用户申请内存时，就将刚好满足用户需求的 2k大小的空闲块分配给用户；若不存在 2k 大小的空闲块，就找到k值更大的空闲块，将其分为两半（互称伙伴），按此直至分出2k大小给用户，被分出的其它空闲块加入对应的循环链表中。 回收时，只有伙伴才合并，并将合并后的新空闲块加入上一级大小的空闲块链表中。 [“伙伴”的概念] 当把一个存储块分为大小相等的两半时，则它们互为伙伴。 [大小为2k的伙伴的首地址之间的关系] 起始地址为p，大小为2k的内存块，其伙伴的起始地址为： buddy(p, k)= p+2k =xx..x100...0 当 p mod 2k+1 =0 p-2k = xx..x000...0 当 p mod 2k+1 =2k 8.3.1 可利用空间表的结点结构 llink tag kval rlink space [存储管理方式] 按k值索引，相同k值 的块构成子表(双链表) 8.3.2 分配算法 (申请容量为n的存储空间) [算法思想] 1)计算k值：k=?log2n? 2)从子表k开始找可用的块 2.1)k子表有，取出分配，结