13 操作系统第三章 内存管理 虚拟内存 请求分页管理方式 页面置换算法 页面分配策略
文章目录
- 1 虚拟内存
- 1.1 传统存储管理方式的特征、缺点
- 1.2 局部性原理
- 1.3 虚拟内存主要特征
- 1.4 如何实现虚拟内存技术
- 1.5 虚拟内存的基本概念小结
- 2 请求分页管理方式
- 2.1 页表机制
- 2.2 缺页中断机构
- 2.3 地址变换机构
- 2.4 请求分页管理方式小结
- 3 页面置换算法
- 3.1 最佳置换算法 OPT
- 3.2 先进先出置换算法(FIFO)
- 3.3 最近最久未使用置换算法(LRU)
- 3.4 时钟置换算法(CLOCK)
- 3.4.1 简单的CLOCK算法
- 3.4.2 改进型的时钟置换算法
- 3.5 页面置换算法小结
- 4 页面分配策略
- 4.1 页面分配、置换策略
- 4.1.1 驻留集
- 4.1.2 分配、置换策略
- 4.2 何时调入页面
- 4.3 从何处调入页面
- 4.4 抖动(颠簸)现象
- 4.5 页面分配策略小结
1 虚拟内存
在传统存储管理方式的基础上引入了交换技术、覆盖技术,使得内存利用率有所提升,并且能从逻辑上扩充内存容量。
1.1 传统存储管理方式的特征、缺点
可用虚拟存储技术解决上述问题
1.2 局部性原理
时间局部性:如果执行了程序中的某条指令,那么不久后这条指令很有可能再次执行;如果某个数据被访问过,不久之后该数据很可能再次被访问。(因为程序中存在大量的循环)
空间局部性:一旦程序访问了某个存储单元,在不久之后,其附近的存储单元也很有可能被访问。 (因为很多数据在内存中都是连续存放的,并且程序的指令也是顺序地在内存中存放的)
如何应用局部性原理?
高速缓冲技术的思想: 将近期会频繁访问到的数据放到更高速的存储器中,暂时用不到的数 据放在更低速存储器中。
快表机制就是将近期常访问的页表项副本放到更高速的联想寄存器中
-
基于局部性原理,在程序装入时,可以将程序中很快会用到的部分装入内存,暂时用不到的部分留在外存, 就可以让程序开始执行。
-
在程序执行过程中,当所访问的信息不在内存时,由操作系统负责将所需信息从外存调入内存,然后继续 执行程序。
-
若内存空间不够,由操作系统负责将内存中暂时用不到的信息换出到外存。 在操作系统的管理下,在用户看来似乎有一个比实际内存大得多的内存,这就是虚拟内存
-
操作系统虚拟性的一个体现,实际的物理内存大小没有变,只是在逻辑上进行了扩充。
易混知识点:
虚拟内存的最大容量是由计算机的地址结构(CPU寻址范围)确定的
虚拟内存的实际容量= min(内存和外存容量之和,CPU寻址范围)
Eg:某计算机地址结构为32位,按字节编址,内存大小为512MB,外存大小为2GB。 则虚拟内存的最大容量为2 32B=4GB
虚拟内存的实际容量=min(2 32B,512MB+2GB)=2GB+512MB
1.3 虚拟内存主要特征
虚拟内存有一下三个主要特征:
1.4 如何实现虚拟内存技术
虚拟内存技术,允许一个作业分多次调入内存。如果采用连续分配方式,会不方便实现。因此, 虚拟内存的实现需要建立在离散分配的内存管理方式基础上。
主要区别:
在程序执行过程中,当所访问的信息不在内存时,由操作系统负责将所需信息从外存调入内存,然后继续执行程序。 操作系统要提供请求调页(或请求调段)功能
若内存空间不够,由操作系统负责将内存中暂时用不到的信息换出到外存。操作系统要提供页面置换(或段置换)的功能
1.5 虚拟内存的基本概念小结
2 请求分页管理方式
请求分页存储管理与基本分页存储管理的主要区别:
2.1 页表机制
为此引入页表机制描述页面和内存的情况
基本分页存储管理的页表VS请求分页存储管理的页表:
2.2 缺页中断机构
缺页中断是因为当前执行的指令想要访问的目标页面未调入内存而产生的,因此属于内中断。
一条指令在执行期间,可能产生多次缺页中断。
(如:copy A to B,即将逻辑地址A中的数据复制到逻辑地址B,而A、B属于不同的页面,则有可能产生两次中断)
中断回顾:
2.3 地址变换机构
请求分页存储管理的地址变换机构较基本分页存储管理的地址变换机构的主要区别:
新增步骤1:请求调页(查到页表项时进行判断)
新增步骤2:页面置换(需要调入页面,但没有空闲内存块时进行)
新增步骤3:需要修改请求页表中新增的表项
过程如下:
注意:
在具有快表机构的请求分页系统中,访问一个逻辑地址时,若发生缺页,则地址变换步骤是: 查快表(未命中)——查慢表(发现未调入内存)——调页(调入的页面对应的表项会直接加入快表)——查快表(命中)——访问目标内存单元
补充细节:
①只有“写指令”才需要修改 “修改位”。并且,一般来说只需修改快表中的数据,只有要将快表项删除时才需要写回内存中的慢表。这样可以减少访存次数。
②和普通的中断处理一样,缺页中断处理依然需要保留CPU现场。
③需要用某种“页面置换算法” 来决定一个换出页面。
④换入/换出页面都需要启动慢速的I/O操作,可见,如果换入/ 换出太频繁,会有很大的开销。
⑤页面调入内存后,需要修改慢表,同时也需要将表项复制到快表中。
2.4 请求分页管理方式小结
3 页面置换算法
页面的换入、换出需要磁盘I/0,会有较大的开销,因此好的页面置换算法应该追求更少的缺页率
3.1 最佳置换算法 OPT
- 最佳置换算法(OPT,Optimal):每次选择淘汰的页面将是以后永不使用,或者在最长时间内不再被访问的页面,这样可以保证最低的缺页率。
例:假设系统为某进程分配了三个内存块,并考虑到有一下页面号引用串(会依次访问这些页面):7,0,1,2,0,3,0,4,2,3,0,3,2,1,2,0,1,7,0,1
最佳置换算法可以保证最低的缺页率,但实际上,只有在进程执行的过程中才能知道接下来会访问到的是哪个页面。操作系统无法提前预判页面访问序列。因此,最佳置换算法是无法实现的。
3.2 先进先出置换算法(FIFO)
- 先进先出置换算法(FIFO):每次选择淘汰的页面是最早进入内存的页面
- 实现方法:把调入内存的页面根据调入的先后顺序排成一个队列,需要换出页面时选择队头页面即可。
- 队列的最大长度取决于系统为进程分配了多少个内存块。
例:假设系统为某进程分配了三个内存块,并考虑到有以下页面号引用串:
3,2,1,0,3,2,4,3,2,1,0,4
例:假设系统为某进程分配了四个内存块,并考虑到有以下页面号引用串:
3,2,1,0,3,2,4,3,2,1,0,4
Belady异常一一当为进程分配的物理块数增大时,缺页次数不减反增的异常现象。
只有FIFO算法会产生Belady异常。另外,FIFO算法虽然实现简单,但是该算法与进程实际运行时的规律不适应,因为先进入的页面也有可能最经常被访问。因此,算法性能差
3.3 最近最久未使用置换算法(LRU)
- 最近最久未使用置换算法(LRU,least recently used):每次淘汰的页面是最近最久未使用的页面
- 实现方法:赋予每个页面对应的页表项中,用访问字段记录该页面自上次被访问以来所经历的时间t。
当需要淘汰一个页面时,选择现有页面中t值最大的,即最近最久未使用的页面。
例:假设系统为某进程分配了四个内存块,并考虑到有以下页面号引用串:
1,8,1,7,8,2,7,2,1,8,3,8,2,1,3,1,7,1,3,7
在手动做题时,若需要淘汰页面,可以逆向检查此时在内存中的几个页面号。在逆向扫描过程中最后一个出现的页号就是要淘汰的页面。
该算法的实现需要专门的硬件支持,虽然算法性能好,但是实现困难,开销大
3.4 时钟置换算法(CLOCK)
- 最佳置换算法性能最好,但无法实现;
- 先进先出置换算法实现简单,但算法性能差;
- 最近最久未使用置换算法性能好,是最接近OPT算法性能的,但是实现起来需要专门的硬件支持,算法开销大。
时钟置换算法是一种性能和开销较均衡的算法,又称CLOCK算法,或最近未用算法(NRU,Not Recently Used)
3.4.1 简单的CLOCK算法
简单的CLOCK算法实现方法:为每个页面设置一个访问位,再将内存中的页面都通过链接指针链接成一个循环队列。当某页被访问时,其访问位置为1。当需要淘汰一个页面时,只需检查页的访问位。如果是0,就选择该页换出;如果是1,则将它置为0,暂不换出,继续检查下一个页面,若第一轮扫描中所有页面都是1,则将这些页面的访问位依次置为0后,再进行第二轮扫描(第二轮扫描中一定会有访问位为0的页面,因此简单的CLOCK算法选择一个淘汰页面最多会经过两轮扫描)
3.4.2 改进型的时钟置换算法
- 简单的时钟置换算法仅考虑到一个页面最近是否被访问过。事实上,如果被淘汰的页面没有被修改过,就不需要执行I/0操作写回外存。只有被淘汰的页面被修改过时,才需要写回外存。
- 因此,除了考虑一个页面最近有没有被访问过之外,操作系统还应考虑页面有没有被修改过。在其他条件都相同时,应优先淘汰没有修改过的页面,避免I/0操作。这就是改进型的时钟置换算法的思想。
- 修改位=0,表示页面没有被修改过;修改位=1,表示页面被修改过。
- 为方便讨论,用(访问位,修改位)的形式表示各页面状态。如(1,1)表示一个页面近期被访问过,且被修改过。
算法规则:将所有可能被置换的页面排成一个循环队列
由于第二轮已将所有帧的访问位设为0,因此经过第三轮、第四轮扫描一定会有一个帧被选中,因此改进型CLOCK置换算法选择一个淘汰页面最多会进行四轮扫描
3.5 页面置换算法小结
4 页面分配策略
4.1 页面分配、置换策略
4.1.1 驻留集
- 驻留集:指请求分页存储管理中给进程分配的物理块的集合。
- 在采用了虚拟存储技术的系统中,驻留集大小一般小于进程的总大小。
若驻留集太小,会导致缺页频繁,系统要花大量的时间来处理缺页,实际用于进程推进的时间很少;驻留集太大,又会导致多道程序并发度下降,资源利用率降低。所以应该选择一个合适的驻留集大小。
考虑一个极端情况,若某进程共有100个页面,则该进程的驻留集大小为100时进程可以全部放入内存,运行期间不可能再发生缺页。若驻留集大小为1,则进程运行期间必定会极频繁地缺页。
注意:系统为某个进程分配N个物理块等价于某个进程的驻留集大小为N
4.1.2 分配、置换策略
分配、置换策略搭配:
这种策略的缺点是:很难在刚开始就确定应为每个进程分配多少个物理块才算合理。(采用这种策略的系统可以根据进程大小、优先级、或是根据程序员给出的参数来确定为一个进程分配的内存块数)
采用这种策略时,只要某进程发生缺页,都将获得新的物理块,仅当空闲物理块用完时,系统才选择一个未锁定的页面调出。被选择调出的页可能是系统中任何一个进程中的页,因此这个被选中的进程拥有的物理块会减少,缺页率会增加。
锁定:系统会锁定一些页面,这些页面中的内容不能置换出外存(如:重要的内核数据可以设为“锁定”)
可变分配全局置换:只要缺页就给分配新物理块
可变分配局部置换:要根据发生缺页的频率来动态地增加或减少进程的物理块
4.2 何时调入页面
4.3 从何处调入页面
4.4 抖动(颠簸)现象
刚刚换出的页面马上又要换入内存,刚刚换入的页面马上又要换出外存,这种频繁的页面调度行为称为抖动,或颠簸。
产生抖动的主要原因是进程频繁访问的页面数目高于可用的物理块数(分配给进程的物理块不够)
为进程分配的物理块太少,会使进程发生抖动现象。为进程分配的物理块太多,又会降低系统整体的并发度,降低某些资源的利用率
为了研究为应该为每个进程分配多少个物理块,Denning提出了进程 “工作集”的概念
驻留集VS 工作集
操作系统会根据“窗口尺寸”来算出工作集。
例: 某进程的页面访问序列如下,窗口尺寸为4,各时刻的工作集为?
工作集大小可能小于窗口尺寸,实际应用中,操作系统可以统计进程的工作集大小,根据工作集大小给进程分配若干内存块。
如:窗口尺寸为5,经过一段时间的监测发现某进程的工作集最大为3,那么 说明该进程有很好的局部性,可以给这个进程分配3个以上的内存块即可满足进程的运行需要。
一般来说,驻留集大小不能小于工作集大小,否则进程运行过程中将频繁缺页。
拓展:基于局部性原理可知,进程在一段时间内访问的页面与不久之后会访问的页面是有相关性的。 因此,可以根据进程近期访问的页面集合(工作集)来设计一种页面置换算法——选择一个不在工作集中的页面进行淘汰。
4.5 页面分配策略小结
总结
以上是生活随笔为你收集整理的13 操作系统第三章 内存管理 虚拟内存 请求分页管理方式 页面置换算法 页面分配策略的全部内容,希望文章能够帮你解决所遇到的问题。
- 上一篇: 基于ARQ反馈的无人机通信中继自主选择研
- 下一篇: 18 操作系统第五章 设备管理 IO设