第12章_动态存储管理
合集下载
相关主题
- 1、下载文档前请自行甄别文档内容的完整性,平台不提供额外的编辑、内容补充、找答案等附加服务。
- 2、"仅部分预览"的文档,不可在线预览部分如存在完整性等问题,可反馈申请退款(可完整预览的文档不适用该条件!)。
- 3、如文档侵犯您的权益,请联系客服反馈,我们会尽快为您处理(人工客服工作时间:9:00-18:30)。
(1)最先适应分配算法,这种方法又称为首次适配 法。每次分配时,总是顺序查找可利用空间链表,找 到第一个能满足长度要求的空闲区为止。分割这个找 到的未分配区,一部分分配给作业,另一部分仍为空 闲区。 (2)最优适应分配算法。这种分配算法每次从空闲 区中挑选一个能满足作业要求的最小分区,这样可保 证不去分割一个更大的区域,使装入大作业比较容易 得到满足。 (3)最坏适应分配算法。最坏适应分配算法总是挑 选一个能满足作业要求的最大的空闲区分割给作业 使用,这样可使剩下的空闲区不至于太小,这种算 法对中、小作业是有利的。
例如,对图12.6所示的可利用空间表进行分配一个 大小为500个字的存储单元后可利用空间表的状态如 图12.7所示,此时,表头指针pav指向了下一个结点。
pav pav
分配500个字
0
500 10000 Nhomakorabea600
0
2000
0
0
0
0
12.3.3回收算法
当用户释放占用块,系统需立即回收以备新的 请求产生时进行再分配。为了使物理地址毗邻的空 闲块结合成一个尽可能大的结点,首先需要检查刚 释放的占用块的左、右紧邻是否为空闲块。采用边 界标识法实现动态存储管理时每个内存区(无论是 占用块或空闲块)的边界上都设有标志值,因此很 容易区分刚释放的占用块的左、右紧邻是否为空闲 块或占用块。
例:
tag type space link
av2
0 0
av4
0 0
…
0 0 ^
0 1 0 空闲块 tag= 1 占用块
av8
0 1
…
0 1 ^
0 2
0 结点大小为2KB
0 2
…
0 2 ^
type=
1 结点大小为4KB 2 结点大小为8KB
第三种情况是系统在运行期间分配给用户的内存 块大小不固定,可以随请求而变。此时,可利用空间 表中的结点即空闲块的大小也是随意的。通常,操作 系统中的可利用空间表属于这种类型,这种存储管理 实际上就是操作系统中的可变分区管理方法。系统初 始状态下,整个内存空间是一个空闲块,即可利用空 间表中只有一个大小为整个内存区的结点,随着分配 和回收的进行,可利用空间表中的结点大小和个数也 随之而变。 由于链表中结点大小不同,结点的结构可包含四 个域,即:标志域(tag),用于区分此块是否为空闲 块、大小域(size),用于指示空闲块的存储量、链 域(link),用于指示可利用空间链表中的下一个结 点、存储空间域(space),它是一个大小为size的连 续存储空间。
J0
J1
J2
J3
J4
J5
J6
J7
(A)系统运行初期
可利用空间 块 或空闲块
J0 J2 J3 J5 J7
(B)系统运行若干时间以后
占用块
现在讨论,在图12.1(b)所示的内存状态下,此时 又有新的用户作业进入系统请求分配内存,系统将如 何处理? 通常有两种做法:一种策略是系统继续从高地址的空 闲块中进行分配,而不理会已分配给用户的内存是否 已空闲,直到分配无法进行
“标志”算法通过周游广义表给每个有用结点记上标志, 相应地所有无用结点由于不带标志,因此只要扫描一 遍内存就可通过标志判断哪些是有用结点,哪些是无 用结点,这样便可将所有的无用单元收回至可利用空 间表。 实际运行的系统中结点的大小可能不等,但这并 不影响“标志”算法,标志算法只要求找到结点的开 始地址和其中描述结点之间关系的几个字段,并不关 心结点中其它信息的长短。因此,可以假设所有结点 的结构如图12.8所示。
由于表中结点大小相同,所以在分配时无需查找,只 要将第一个结点分配给用户即可;同样,当用户程序 释放内存时,系统只需将用户释放的空闲块插入在表 头即可。这种情况下的可利用空间表实质上是一个链 栈,对应的存储管理方式在操作系统中称为“固定分 区管理”。 第二种情况是系统运行期间用户请求分配的存储量有 若干大小的固定规格。 对此系统,可将用户存储空间分割成不同规格的若干 块,并将大小相同的空闲块组织在同一个可利用空间 表中,即同一链表中的结点大小相同。
12.3.1 可利用空间表的结构
head llink tag size space foot uplink tag rlink
它表示一个空闲块。整个结点由三部分组成。其 中space为一段地址连续的存储单元,是可以分配给用 户的内存区域,它的大小保存在head中的size域中。 它以头部head和底部foot作为它的两个边界;在head 和foot中分别设有标志域tag,且设定空闲块中tag的值 为“0”,占用块中tag的值为“1”;foot位于结点底部, 因此它的地址是随结点中space空间的大小而变的。
操作系统既可借助目录表结构也可借助链表结构 实现动态存储分配,本节将对采用链表的情况进行 讨论。 根据系统运行的不同情况,可利用空间表可以有 三种不同的结构形式: 第一种情况是系统运行期间所有用户请求分配的存 储量大小相同。对此类系统,可以在系统开始运行 时将内存的用户区域按所需大小分割成若干大小相 同的块,然后用指针链接成一个可利用空间表。
12.4无用单元的收集
可利用空间表虽然方便地实现了存储空间的动态管 理,但它的主要特点是应用户的请求而分配内存,在 用户释放存储空间时进行回收。因此,在这类存储管 理系统中,用户必须明确给出“请求”和“释放”的 信息。但用户难免在某些时候会因为疏漏或其它原因 致使系统没有进行回收而产生“无用单元”的问题。 此处,“无用单元”指的是那些用户不再使用而系统 又没有回收的结构或变量。例如,下列C程序段 s=malloc(20); t=malloc(12); …
另一种策略是用户程序一旦运行结束,便将它所占内 存区释放成为空闲块,同时,每当新的用户请求分配 内存时,系统需要巡视整个内存区中所有空闲块,并 从中找出一个“合适”的空闲块分配之。
为了实现这种分配策略,系统需建立一张记录所有空 闲块的可利用空间表。此表的结构可以是目录表也可 以是链表。如图12.2所示为某系统运行过程中的内存 状态及其两种结构的可利用空间表。
0 10000 20000 28000 32000 55000 99999
起始地址 内存块大小 使用情况
10000 28000 55000 10000 4000 45000 空闲 空闲 空闲
av
0 10000 10000 0 28000 4000 0 55000 45000 ^
(c)链表
12.2可利用空间表及分配方法
若释放块的左、右邻区均为占用块,则处理最为简 单,只要将此新的空闲块作为一个结点插入到可利用 空间表中即可;若只有左邻区是空闲块,则应将回收 块与其左邻区合并成一个结点;若只有右邻区是空闲 块,则应将回收块与其右邻区合并成一个结点;若左、 右邻区都是空闲块,则应将三块合起来成为一个结点 留在可利用空间表中。
因此,要及时释放共享结点所占的空间,必须给 每个结点增设一个共享计数器,记录本结点被几个链 共享,当结点从某一链中被删除时,就将此计数器减 1,反之在插入时计数器加1,一旦该计数器被减到0 时,说明该结点在结构中不再有用,便可以回收。 这种处理方法的缺点是增加了额外的存储开销, 同时也使程序的处理变得更加复杂。有时少量无用单 元的存在并不会影响系统的正常运行,但是当无用单 元积累到一定阶段,就要求系统去找出这些无用单元, 并把它们送回到可利用空间表中去。在这里关键的问 题是如何从整个存储空间中找出那些无用单元。
0
12.3.2分配算法
本节以最先适应分配算法来说明边界标识法的应 用。实现时,可以从表头指针pav所指的第一个结点 开始进行查询,找到第一个容量不小于请求分配的 存储量的空闲块即可进行分配。为了使整个系统更 有效地运行,在边界标识法中可做如下两条约定:
(1)假设找到的某个待分配的空闲块的容量为m个 字,若每次只从中分配n(n<m)个字给用户作业, 则剩余m-n个字大小的空闲块结点仍留在链表中。如 此进行多次分配之后,链表中会出现一些容量极小称 之为“碎片”的空闲块,这样将大大减慢分配(查找) 的速度。为克服这一弊端,可以选定一个适当的容量 e,当m-n<e时,就将容量为m的空闲块整块分配给
用户作业;反之,只分配其中n个字的内存块。同时, 为了避免修改指针,在分配部分空间时约定将结点中 的高地址部分分配给用户。 (2)按照最先适应分配策略,每次在分配存储块时 总是从表头指针pav所指的结点开始进行查找,找到 第一不小于n的空闲块即进行分配。但是,由于每次 总是从同一个结点开始查找,必然造成存储容量小 的结点集中在链表的前端,这同样会增加查找较大 空闲块的时间。因此,在每次分配完成之后,令指 针pav指向刚进行分配的结点的后继结点,这就是为 何将可利用空间表组织成循环链表的原因。
s=t; 执行的结果是使执行s=malloc(20)为用户分配的结 点成为无用单元,无法得到使用。
另外,由于数据结构本身的原因也有可能造成无用单 元的产生,如广义表中存在着共享和递归成份,对共 享结点来说,当该结点从某一条链上删除时它可能还 链接在别的关系中,并不能立即释放该结点的空间, 所以只有在全部链接关系中都被删除时,该结点才是 无用结点,该结点所占用的空间才成为无用单元可以 回收。
为方便操作,可利用空间表可组织成双重循环链表。 head中的llink和rlink分别指向链表中的前趋结点和后 继结点,表中不设表头结点,表头指针pav可以指向 表中任一结点,即任何一个结点都可看成是链表中的 第一个结点;表头指针为空则表明可利用空间表为空。
pav
0
1000
0
600
0
2000
0 0
12.3边界标识法
边界标识法是操作系统中用以进行动态分区分配 的一种存储管理方法,它属于12.2节中介绍的第三种 情况,即用户请求的内存块大小不固定,随不同的请 求而变化。系统将所有的空闲块链接在一个双重循环 链表结构的可利用空间表中;分配可按最先适应分配 算法进行,也可按最优适应分配算法进行。系统的特 点在于:在每个内存区的头部和底部两个边界上分别 设有标识,以识别该区域为占有块或空闲块,使得在 回收用户释放的空闲块时容易判别在物理位臵上与其 相邻的内存区域是否为空闲块,以便将所有地址连续 的空闲存储区组合成一个尽可能大的空闲块。
tag
size space
link
0 空闲块
tag=
1 占用块
由于可利用空间表中的结点大小不同,因此相应 的分配与回收过程较为复杂。假设某用户需大小为n 的内存,而可利用空间表中仅有一块大小为m≥n的空 闲块,则只需将其中大小为n的一部分分配给申请的 用户,同时将剩余大小为m-n的部分作为一个结点留 在链表中即可。当可利用空间表中存在多个空间大小 不小于n的空闲块时,一般可采用以下三种不同的分 配策略。
12.1 概述
动态存储管理的基本问题是系统如何应用户提 出的“请求”分配内存?又如何收回那些用户不再 使用而释放的内存以备新的“新求”产生时重新进 行分配? 在单用户操作系统中,整个内存空间被划分成两 个区域:系统区和用户区,系统区供系统程序使用, 用户区供单一的用户程序所使用。当计算机采用了多 道程序设计技术后,需要在主存储器中同时存放多个 作业的程序,而这些程序在主存储器中的位臵此时不 能由程序员自已来确定,否则将出现多道程序竞争同 一存储空间的情况。
第12章
概述
动态存储管理
可利用空间表及分配方法
边界标识法
无用单元的收集 存储压缩
存储管理是操作系统的重要组成部分,它负责 管理计算机系统的存储器。 动态存储管理的基本问题是系统如何应用户提 出的“请求”分配内存?又如何收回那些用户不再 使用而释放的内存以备新的“请求”产生时重新进 行分配。本章简单介绍数据结构在动态存储管理中 的一些常用技术,包括可利用空间表及分配方法、 边界标识法、无用单元的收集和压缩存储等内容。
上述三种分配方法的选取一般需要考虑以下因素: 用户的逻辑要求;请求分配量的大小分布;分配和释 放的频率以及效率对系统的重要性等。 无论采用何种分配方法在进行回收系统空闲块时 需要考虑“结点合并”的问题,即当系统在不断进行 分配和回收的过程中,大的空闲块逐渐被分割成小的 占用块,当用户程序将某一占用块释放重新成为空闲 块时,如果将它作为一个独立的空闲块插入到链表中, 将出现两个或多个地址相邻的空闲块作为几个结点独 立放在可利用空间表中,显然这不利于以后出现的大 容量作业的请求。为了更有效地利用内存,就要求系 统在回收时应考虑将地址相邻的空闲块合并成尽可能 大的结点。