文章目录
- 1. 内存管理的概念
- 1.1 内存保护
- 1.2 总结
- 2. 覆盖与交换
- 2.1 覆盖技术
- 2.2 交换技术
- 2.3 总结:
- 3. 连续分配管理方式
- 3.1 单一连续分配
- 3.2 固定分区分配
- 3.3 动态分区分配
- 3.4 总结
- 4. 动态分区分配算法
- 4.1 首次适应算法
- 4.2 最佳适应算法
- 4.3 最坏适应算法
- 4.4 邻近适应算法
- 4.5 知识回顾与重要考点
- 推荐教程
1. 内存管理的概念
操作系统作为系统资源的管理者,当然也需要对内存进行管理,要管些什么呢?
-
- 操作系统负责内存空间的分配与回收
- 操作系统负责内存空间的分配与回收
-
- 操作系统需要提供某种技术从逻辑上
对内存空间进行扩充
- 操作系统需要提供某种技术从逻辑上
-
- 操作系统需要提供
地址转换功能
,负责程序的逻辑地址与物理地址的转换
- 操作系统需要提供
-
- 操作系统需要提供
内存保护功能
。保证各进程在各自存储空间内运行,互不干扰
- 操作系统需要提供
1.1 内存保护
内存保护可采取两种方法:
方法一:在CPU中设置一对上、下限寄存器,存放进程的上、下限地址。进程的指令要访问某个地址时,CPU检查是否越界。
方法二:采用重定位寄存器(又称基址寄存器)和界地址寄存器(又称限长寄存器)进行越界检查。重定位寄存器中存放的是进程的起始物理地址。界地址寄存器中存放的是进程的最大逻辑地址。
1.2 总结
2. 覆盖与交换
2.1 覆盖技术
早期的计算机内存很小,比如 IBM 推出的第一台PC机最大只支持 1MB 大小的内存。因此经常会出现内存大小不够的情况。
后来人们引入了覆盖技术
,用来解决“程序大小超过物理内存总和”的问题
覆盖技术的思想:将程序分为多个段
(多个模块)。常用的段常驻内存,不常用的段在需要时调入内存。
内存中分为一个“固定区
”和若干个“覆盖区”
。需要常驻内存的段放在“固定区
”中,调入后就不再调出
(除非运行结束)
不常用的段放在“覆盖区
”,需要用到时调入内存,用不到时调出内存
必须由程序员声明覆盖结构,操作系统完成自动覆盖。
缺点:对用户不透明,增加了用户编程负担。
覆盖技术只用于早期的操作系统中,现在已成为历史。
2.2 交换技术
交换(对换)技术的设计思想:内存空间紧张时,系统将内存中某些进程暂时换出
外存,把外存中某些已具备运行条件的进程换入
内存(进程在内存与磁盘间动态调度)
中级调度(内存调度)
,就是要决定将哪个处于挂起状态的进程重新调入内存。
暂时换出外存等待的进程状态为挂起状态(挂起态,suspend)
挂起态又可以进一步细分为就绪挂起、阻塞挂起两种状态。
- 应该在外存(磁盘)的什么位置保存被换出的进程?
- 什么时候应该交换?
- 应该换出哪些进程?
- 具有对换功能的操作系统中,通常把磁盘空间分为
文件区
和对换区
两部分。文件区
主要用于存放文件,主要追求存储空间的利用率
,因此对文件区空间的管理采用离散分配方式
;对换区
空间只占磁盘空间的小部分,被换出的进程数据就存放在对换区
。由于对换的速度直接影响到系统的整体速度,因此对换区空间的管理主要追求换入换出速度
,因此通常对换区采用连续分配方式
(学过文件管理章节后即可理解)。总之,对换区的I/O速度比文件区的更快
。 - 交换通常在许多进程运行且内存吃紧时进行,而系统负荷降低就暂停。例如:在发现许多进程运行时经常发生缺页,就说明内存紧张,此时可以换出一些进程;如果缺页率明显下降,就可以暂停换出。
- 可优先换出阻塞进程;可换出优先级低的进程;为了防止优先级低的进程在被调入内存后很快又被换出,有的系统还会考虑进程在内存的驻留时间…
(注意:PCB 会常驻内存
,不会被换出外存)
2.3 总结:
3. 连续分配管理方式
连续分配:指为用户进程分配的必须是一个连续的内存空间
。
3.1 单一连续分配
在单一连续分配方式中,内存被分为系统区
和用户区
。
系统区通常位于内存的低地址部分,用于存放操作系统相关数据;用户区用于存放用户进程相关数据。
内存中只能有一道用户程序
,用户程序独占整个用户区空间。
优点
:实现简单;无外部碎片
;可以采用覆盖技术
扩充内存;不一定需要采取内存保护(eg:早期的 PC 操作系统 MS-DOS)。
缺点
:只能用于单用户、单任务的操作系统中;有内部碎片
(分配给某进程的内存区域中,如果有些部分没有用上,就是“内部碎片”);存储器利用率极低。
3.2 固定分区分配
20世纪60年代出现了支持多道程序的系统,为了能在内存中装入多道程序,且这些程序之间又不会相互干扰,于是将整个用户空间
划分为若干个固定大小的分区
,在每个分区中只装入一道作业
,这样就形成了最早的、最简单的一种可运行多道程序的内存管理方式。
分区大小相等:缺乏灵活性,但是很适合用于用一台计算机控制多个相同对象的场合
(比如:钢铁厂有n个相同的炼钢炉,就可把内存分为n个大小相等的区域存放n个炼钢炉控制程序)
分区大小不等:增加了灵活性,可以满足不同大小的进程需求。根据常在系统中运行的作业大小情况进行划分(比如:划分多个小分区、适量中等分区、少量大分区)
操作系统需要建立一个数据结构——分区说明表,来实现各个分区的分配与回收。每个表项对应一个分区,通常按分区大小排列。每个表项包括对应分区的大小、起始地址、状态
(是否已分配)。
当某用户程序要装入内存时,由操作系统内核程序根据用户程序大小检索该表,从中找到一个能满足大小的、未分配的分区,将之分配给该程序,然后修改状态为“已分配”。
优点:实现简单,无外部碎片
。
缺点:a. 当用户程序太大时,可能所有的分区都不能满足需求,此时不得不采用覆盖技术来解决,但这又会降低性能;
b. 会产生内部碎片
,内存利用率低。
3.3 动态分区分配
动态分区分配
又称为可变分区分配
。这种分配方式不会预先划分内存分区
,而是在进程装入内存时,根据进程的大小动态地建立分区
,并使分区的大小正好适合进程的需要。因此系统分区的大小和数目是可变的。(eg:假设某计算机内存大小为 64MB,系统区 8MB,用户区共 56 MB…)
- 系统要用什么样的数据结构记录内存的使用情况?
- 当很多个空闲分区都能满足需求时,应该选择哪个分区进行分配?
- 如何进行分区的分配与回收操作?
假设系统采用的数据结构是“空闲分区表”…如何分配?
3.4 总结
4. 动态分区分配算法
动态分区分配算法:在动态分区分配方式中, 当很多个空闲分区都能满足需求时,应该选择哪个分区进行分配?
4.1 首次适应算法
算法思想
:每次都从低地址
开始查找,找到第一个能满足大小的空闲分区。
如何实现
:空闲分区以地址递增的次序排列
。每次分配内存时顺序查找空闲分区链
(或空闲分区表
),找到大小能满足要求的第一个空闲分区。
***
4.2 最佳适应算法
算法思想
:由于动态分区分配是一种连续分配方式,为各进程分配的空间必须是连续的一整片区域。因此为了保证当“大进程”到来时能有连续的大片空间,可以尽可能多地留下大片的空闲区,即,优先使用更小的空闲区。
如何实现
:空闲分区按容量递增次序链接
。每次分配内存时顺序查找空闲分区链
(或空闲分区表
),找到大小能满足要求的第一个空闲分区。
缺点:每次都选最小的分区进行分配,会留下越来越多的、很小的、难以利用的内存块。因此这种方法会产生很多的外部碎片。
4.3 最坏适应算法
又称 最大适应算法
(Largest Fit)
算法思想
:为了解决最佳适应算法的问题——即留下太多难以利用的小碎片,可以在每次分配时优先使用最大的连续空闲区,这样分配后剩余的空闲区就不会太小,更方便使用。
如何实现
:空闲分区按容量递减次序链接
。每次分配内存时顺序查找空闲分区链
(或空闲分区表
),找到大小能满足要求的第一个空闲分区。
缺点:每次都选最大的分区进行分配,虽然可以让分配后留下的空闲区更大,更可用,但是这种方式会导致较大的连续空闲区被迅速用完。如果之后有“大进程”到达,就没有内存分区可用了。
4.4 邻近适应算法
算法思想
:首次适应算法每次都从链头开始查找的。这可能会导致低地址部分出现很多小的空闲分区
,而每次分配查找时,都要经过这些分区,因此也增加了查找的开销。如果每次都从上次查找结束的位置开始检索,就能解决上述问题
。
如何实现
:空闲分区以地址递增的顺序排列(可排成一个循环链表)。每次分配内存时从上次查找结束的位置开始
查找空闲分区链
(或空闲分区表
),找到大小能满足要求的第一个空闲分区.
首次适应算法每次都要从头查找,每次都需要检索低地址的小分区。但是这种规则也决定了当低地址部分有更小的分区可以满足需求时,会更有可能用到低地址部分的小分区,也会更有可能把高地址部分的天分区保留下来(最佳适应算法的优点)
邻近适应算法的规则可能会导致无论低地址、高地址部分的空闲分区都有相同的概率被使用,也就导致了高地址部分的大分区更可能被使用,划分为小分区,最后导致无大分区可用(最大适应算法的缺点)
4.5 知识回顾与重要考点
推荐教程
-
内存管理的概念
-
覆盖与交换
-
连续分配管理方式
-
动态分区分配算法