《数据结构动态存储管理.ppt》由会员分享，可在线阅读，更多相关《数据结构动态存储管理.ppt（29页珍藏版）》请在第壹文秘上搜索。
1、第第8章章 动态存储管理动态存储管理 8.1 概述概述 程序执行过程中，程序执行过程中，(数据数据)结构中的每一个数据元素结构中的每一个数据元素都对应一定的存储空间，数据元素的访问都是通过对应都对应一定的存储空间，数据元素的访问都是通过对应的存储单元来进行的。存储空间的分配与管理是由操作的存储单元来进行的。存储空间的分配与管理是由操作系统或编译程序负责实现的，是一个复杂而又重要的问系统或编译程序负责实现的，是一个复杂而又重要的问题，现代的存储管理往往采用动态存储管理思想。题，现代的存储管理往往采用动态存储管理思想。 动态存储管理动态存储管理：如何根据：如何根据“存储请求存储请求”分配分配内存空
2、间？如何内存空间？如何回收回收被释放的被释放的(或不再使用的或不再使用的)内内存空间？存空间？ 对于允许进行动态存储分配的程序设计语言，操作对于允许进行动态存储分配的程序设计语言，操作系统在内存中划出一块地址连续的大区域系统在内存中划出一块地址连续的大区域(称为称为堆堆) ，由，由设计者在程序中利用语言提供的内存动态分配函数设计者在程序中利用语言提供的内存动态分配函数(如如C的的malloc() ，calloc()，free()函数，函数，C+的的new，delete函函数等数等)来实现对来实现对堆堆的使用。的使用。1 两个基本概念两个基本概念 占用块占用块：已分配给用户使用的一块地址连续的内
3、：已分配给用户使用的一块地址连续的内存区域；存区域； 空闲块空闲块：未曾分配的地址连续的内存区域；：未曾分配的地址连续的内存区域；2 用户请求分配内存用户请求分配内存，系统的处理方式系统的处理方式 当有用户程序进入系统请求分配内存时，系统有两当有用户程序进入系统请求分配内存时，系统有两种处理方式：种处理方式： 系统从高地址空闲块中进行分配，直到分配无法系统从高地址空闲块中进行分配，直到分配无法进行时，才回收所有用户不再使用的空闲块，重新进行时，才回收所有用户不再使用的空闲块，重新组织一个大的空闲块来再分配；组织一个大的空闲块来再分配； 用户程序一旦运行结束，便将它所占内存区释放用户程序一旦运行
4、结束，便将它所占内存区释放成为空闲块，同时，每当新用户请求分配内存时，成为空闲块，同时，每当新用户请求分配内存时，系统需要巡视整个内存区中所有空闲块，并从中找系统需要巡视整个内存区中所有空闲块，并从中找出一个出一个“合适合适”的空闲块分配之。的空闲块分配之。 对于的情况，系统需建立一张对于的情况，系统需建立一张“可利用空间表可利用空间表” 。 程序运行过程中，不断地对堆中的部分区域进行分程序运行过程中，不断地对堆中的部分区域进行分配和释放，堆中会出现占用块和空闲块交错的状态，配和释放，堆中会出现占用块和空闲块交错的状态，如图如图8-1所示。所示。3 动态存储分配的基本问题动态存储分配的基本问题
5、 当某一时刻用户程序请求分配当某一时刻用户程序请求分配400个字节的存储空间，如何分配个字节的存储空间，如何分配? 将块将块A分配给用户程序分配给用户程序? 从大块从大块C中划出一部分分配给用中划出一部分分配给用户程序户程序? 当某一时刻分配当某一时刻分配B块的用户程序运块的用户程序运行结束，行结束，B块要进行回收，如何回收块要进行回收，如何回收? B块直接回收并成为一个独立的块直接回收并成为一个独立的空闲块空闲块? B块回收并和前、后的空闲块块回收并和前、后的空闲块A、C合并后形成一个更大的空闲块合并后形成一个更大的空闲块?ACB12196H11000H12004H12240H130EFH图
6、图8-1 堆的状态堆的状态8.2 可利用空间表及分配方法可利用空间表及分配方法 可利用空间表中包含所有可分配的空闲块，当用户可利用空间表中包含所有可分配的空闲块，当用户请求分配时，系统从可利用空间表中删除一个结点分配请求分配时，系统从可利用空间表中删除一个结点分配之；当用户释放其所占内存时，系统即回收并将它插入之；当用户释放其所占内存时，系统即回收并将它插入到可利用空间表中。因此，可利用空间表亦称做到可利用空间表中。因此，可利用空间表亦称做“存储存储池池”。8.2.1 可利用空间表的组织可利用空间表的组织 可用空间表的组织有两种方式：目录表方式和链表可用空间表的组织有两种方式：目录表方式和链表
7、方式，如图方式，如图8-2所示所示 。动态存储管理中需要不断地进行。动态存储管理中需要不断地进行空闲块的分配和释放，对目录表来说管理复杂，因此，空闲块的分配和释放，对目录表来说管理复杂，因此，可利用空间表通常以链表方式组织可利用空间表通常以链表方式组织 。 当可利用空间表以链表方式组织时，每个空闲块就当可利用空间表以链表方式组织时，每个空闲块就是链表中的一个结点。是链表中的一个结点。 分配时：从链表中找到一个合适的结点加以分配，分配时：从链表中找到一个合适的结点加以分配，然后将该结点删除之；然后将该结点删除之； 回收时：将空闲块插入到链表中。回收时：将空闲块插入到链表中。 实际的动态存储管理实
8、施时，具体的分配和释放的实际的动态存储管理实施时，具体的分配和释放的策略取决于结点策略取决于结点( (空闲块空闲块) )的结构。的结构。(a) 堆的状态堆的状态13196H11000H12004H13740H160EFH00000H216EFH326EFH起始地址起始地址 空闲块大小空闲块大小 使用情况使用情况12004H 4498 空闲空闲13740H 10671 空闲空闲216EFH 69632 空闲空闲(b) 目录表方式目录表方式0 4498 0 10671 0 69632 av(c) 链表方式链表方式图图8-2 动态存储管理过程中的内存状态和空闲表结构动态存储管理过程中的内存状态和空闲
9、表结构8.2.2 结点结构方式与分配策略结点结构方式与分配策略1 请求分配的块大小相同请求分配的块大小相同 将进行动态存储分配的整个内存区域将进行动态存储分配的整个内存区域(堆堆)按所需大小按所需大小分割成若干大小相同的块，然后用指针链接成一个可利分割成若干大小相同的块，然后用指针链接成一个可利用空间表。用空间表。 分配时：从表的首结点分配，然后删除该结点；分配时：从表的首结点分配，然后删除该结点； 回收时：将释放的空闲块插入表头。回收时：将释放的空闲块插入表头。2 请求分配的块大小只有几种规格请求分配的块大小只有几种规格 根据统计概率事先对动态分配的堆建立若干个可利根据统计概率事先对动态分配
10、的堆建立若干个可利用空间链表，同一链表中的结点用空间链表，同一链表中的结点(块块)大小都相同。大小都相同。 分配时分配时：根据请求的大小：根据请求的大小，将最接近该大小的某，将最接近该大小的某个链表的首结点分配给用户。若剩余部分正好差不个链表的首结点分配给用户。若剩余部分正好差不多是另一种规格大小，则将剩余部分插入到另一种多是另一种规格大小，则将剩余部分插入到另一种规格的链表中，然后删除该结点规格的链表中，然后删除该结点； 回收时回收时：只要：只要将所释放的空闲块插入到相应大小将所释放的空闲块插入到相应大小的表头。的表头。存在的问题存在的问题： 当请求分配的块空间大小比最大规格的结点还大时当请
11、求分配的块空间大小比最大规格的结点还大时，分配不能进行分配不能进行。而实际上而实际上内存空间内存空间却却可能存在比所需可能存在比所需大小还要大的的连续空间，大小还要大的的连续空间，应该能够分配应该能够分配。3 3 请求分配的块大小不确定请求分配的块大小不确定 系统开始时，整个堆空间是一个空闲块，链表中系统开始时，整个堆空间是一个空闲块，链表中只有一个大小为整个堆的结点，随着分配和回收的进只有一个大小为整个堆的结点，随着分配和回收的进行，链表中的结点大小和个数动态变化。行，链表中的结点大小和个数动态变化。 由于链表中结点大小不同，结点中除标志域和链由于链表中结点大小不同，结点中除标志域和链域之外
12、，尚需有一个结点大小域域之外，尚需有一个结点大小域(size)，以保存空闲块，以保存空闲块的大小，如的大小，如图图8-2(b)。 问题问题：若用户请求分配大小为若用户请求分配大小为n(kB)的内存，而链的内存，而链表中有若干大小不小于表中有若干大小不小于n的空闲块时，如何分配的空闲块时，如何分配?有有3种种分配策略分配策略。 首次拟合法首次拟合法(First fit) 分配时分配时：从表头指针开始查找可利用空间表，将从表头指针开始查找可利用空间表，将找到的第一个不小于找到的第一个不小于n的空闲块的部分的空闲块的部分( (所需要大小所需要大小) )分配给用户，剩下部分仍然是一个空闲块结点；分配给
13、用户，剩下部分仍然是一个空闲块结点； 回收时回收时：将释放的空闲块插入在链表的表头。将释放的空闲块插入在链表的表头。特点特点：分配时随机的；回收时仅需插入到表头。分配时随机的；回收时仅需插入到表头。 最佳拟合法最佳拟合法(Best fit) 分配时分配时：扫描整个：扫描整个可利用空间链表，找到一个大可利用空间链表，找到一个大小满足要求且最接近小满足要求且最接近n空闲块，将其中的一部分空闲块，将其中的一部分( (所所需要大小需要大小) )分配给用户，剩下部分仍然是一个空闲块分配给用户，剩下部分仍然是一个空闲块结点；结点； 回收时回收时：只要将释放的空闲块插入到链表的合适只要将释放的空闲块插入到链
14、表的合适位置。位置。 为了使分配时不需要扫描整个可利用空间链表，链为了使分配时不需要扫描整个可利用空间链表，链表组织表组织( (块回收时块回收时) )成成按从小到大排序按从小到大排序( (升序升序) ) 。优点优点：适用于请求分配的内存块大小范围较广的系统；适用于请求分配的内存块大小范围较广的系统；缺点缺点：系统容易产生无法分配的内存碎片；无论分配系统容易产生无法分配的内存碎片；无论分配与回收，都需要查找表，最费时；与回收，都需要查找表，最费时； 最差拟合法最差拟合法(Worst fit) 分配时分配时：扫描整个：扫描整个可利用空间链表，找到一个大可利用空间链表，找到一个大小最大的空闲块，将其
15、中的一部分小最大的空闲块，将其中的一部分( (所需要大小所需要大小) )分分配给用户，剩下部分仍然是一个空闲块结点；配给用户，剩下部分仍然是一个空闲块结点； 回收时回收时：只要将释放的空闲块插入到链表的合适只要将释放的空闲块插入到链表的合适位置。位置。 为了使分配时不需要扫描整个可利用空间链表，链为了使分配时不需要扫描整个可利用空间链表，链表组织表组织( (块回收时块回收时) )成成按从大到小按从大到小排序排序( (降序降序) ) 。特点特点：适用于请求分配的内存块的大小范围较窄的系适用于请求分配的内存块的大小范围较窄的系统；分配无需查找，回收需要查找适当的位置。统；分配无需查找，回收需要查找
16、适当的位置。4 4 选择分配策略需考虑的因素选择分配策略需考虑的因素 用户的逻辑要求、请求分配量的大小分布、分配和用户的逻辑要求、请求分配量的大小分布、分配和释放的频率以及效率对系统的重要性。释放的频率以及效率对系统的重要性。8.3 边界标识法边界标识法 边界标识法边界标识法(Boundary Tag Method)是操作系统中一是操作系统中一种常用的进行动态分配的存储管理方法。种常用的进行动态分配的存储管理方法。 系统将所有的空闲块链接成一个双重循环链表，分系统将所有的空闲块链接成一个双重循环链表，分配可采用几种方法配可采用几种方法(前述前述) 。系统的特点系统的特点 每个内存区域的头部和底部两个边界上分别设置标每个内存区域的头部和底部两个边界上分别设置标识，以标识该区域为占用块或空闲块，在回收块时易于识，以标识该区域为占用块或空闲块，在回收块时易于判别在物理位置上与其相邻的内存区域是否为空闲块，判别在物理位置上与其相邻的内存区域是否为空闲块，以便于将所有地址连续的空闲存储区合并成一个尽可能以便于将所有地址连续的空闲存储区合并成一个尽可能大的空闲块。大的空闲块。8.3.1 可利用空闲
