操作系统第三章(3)---虚拟内存

基本概念

知识点框架
在这里插入图片描述
传统的存储管理(就是分页啊,分段啊,动态分区分配啥的)有性质:一次性(即作业必须一次性全部装入内存后才能开始运行)和驻留性(一旦作业被装入内存,就会一直驻留在内存中,直至作业运行结束,这就导致了大量内存被浪费)

这会造成两个问题:①作业很大时,不能全部装入内存,导致大作业无法运行:②当大量作业要求运行时,由于内存无法容纳所有作业,因此只有少量作业能运行,导致多道程序并发度下降。

这时候就引入了虚拟存储技术

高速缓冲技术的思想:将近期会频繁访问到的数据放到更高速的存储器中,暂时用不到的数据放在更低速存储器中。(虚拟存储技术基本上就用到了这个)

虚拟内存定义:
基于局部性原理,在程序装入时,可以将程序中很快会用到的部分装入内存,暂时用不到的部分留在外存,就可以让程序开始执行。

在程序执行过程中,当所访问的信息不在内存时,由操作系统负贵将所需信息从外存调入内存,然后继续执行程序。

若内存空间不够,由操作系统负责将内存中暂时用不到的信息换出到外存。

在操作系统的管理下,在用户看来似乎有一个比实际内存大得多的内存,这就是虚拟内存

易混知识点:
虚拟内存的最大容量是由计算机的地址结构(CPU寻址范围)确定的
虚拟内存的实际容量= min ( 内存和外存容量之和,CPU寻址范围)

因此也有了三个主要特性:

多次性:无需在作业运行时一次性全部装入内存,而是允许被分成多次调入内存。(针对传统的一次性)

对换性:在作业运行时无需一直常驻内存, 而是允许在作业运行过程中,将作业换入、换出。(针对传统的驻留性)

虚拟性:从逻辑上扩充了内存的容量,使用户看到的内存容量,远大于实际的容量。

虚拟内存技术的实现方式

不用多说,这个肯定选用的离散分配的内存管理方式

针对传统的三种方式(分页、分段、段页式),虚拟内存也有三种(请求分页存储管理、请求分段存储管理、请求段页式存储管理)

这针对性就是:程序在执行过程中,当所访问的信息不再内存时,由操作系统负责将所需信息从外存调入内存,然后继续执行程序;内存不够用了,把信息调出去

这个改变就是加了两个功能:请求调页(段)功能和页(段)置换功能

知识点回顾

在这里插入图片描述

请求分页管理方式

上面也讲了,和基本分页存储管理的主要区别应该就是加了两个功能:请求分页和页置换

请求分页:将缺失的页面调入内存

页置换:内存不够的时候把用不到的置换出去

页表机制

请求分页和基本分页的页表机制相比多了一些东西

1.是否调入内存,用状态位表示(因为不用的页面是存储在外存的,所以我们需要知道是不是已经在内存了)
2.外存位置,用外存地址来表示(如果没有调入内存的话,我们就需要知道数据在外存的地址)
3.判断指标,用访问字段来判断(用来判断将那些闲置页面换出,可以记录最近被访问过几次/上次访问时间)
4.修改标志位,用修改为表示(我们需要知道是否被修改,毕竟被修改了是要被写回外存的)
在这里插入图片描述

缺页中断机构

用来没有页框的时候从外存调入数据

实现方式:
在请求分页系统中,每当要访问的页面不在内存时,便产生一个缺页中断,然后由操作系统的缺页中断处理程序处理中断。

此时缺页的进程阻塞,放入阻塞队列,调页完成后再将其唤醒,放回就绪队列。

这时候会出现两种情况:
1.内存中有空闲块(指无数据在里面的),就分配给他并且装进去,然后修改页表中的相应内容

2.内存中没有空闲块(指有闲置不运行的数据在内存中),进行页面置换,淘汰他,如果被修改过,还要写回去

缺页中断是因为当前执行的指令想要访问的目标页面未调入内存而产生的,因此属于内中断

一条指令在执行期间,可能产生多次缺页中断。(如: copyA to B,即将逻辑地址A中的数据复制到逻辑地址B,而A、B属于不同的页面,则有可能产生两次中断)

这里回顾一下内中断。。。
在这里插入图片描述
内中断是因为CPU内部出现问题:比如缺页中断就是属于故障(可以被修复),整数除0就是属于终止(不可以被修复),系统调用就是陷阱、陷入

逻辑地址转换物理地址

这个也就是再基本分页存储管理的步骤上加了几步:

(1)根据逻辑地址计算出页号、页内偏移量(两种方法,在上面)
(2)判断页号是否越界(有没有超出全部页)
(3)查询页表,找到页号对应的页表项,确定页面存放的内存块号(页表项地址=页表起始地址F+页号P页表项长度,取出块号)
(4)请求调页(新增步骤,如果没有调入内存,则发生页面置换)
(5)修改页表中相应的内容(新增步骤)
(6)用内存块号和页内偏移量得到物理地址(物理地址=块号内存块长度+偏移量;如果是二进制的话直接拼接即可)
(7)访问目标内存单元

注:如果用的是有快表机制,则在被换出去的时候,要把快表里面的内容删掉

补充:①只有“写指令”才需要修改“修改位”。并且,一般来说只需修改快表中的数据,只有要将快表项删除时才需要写回内存中的慢表。这样可以减少访存次数。

②和普通的中断处理一样,缺页中断处理依然需要保留CPU现场。

③需要用某种“页面置换算法”来决定一个换出页面(下节内容)

④换)/换出页面都需要启动慢速的I/O操作,可见,如果换入/换出太频繁,会有很大的开销

⑤页面调入内存后,需要修改慢表,同时也需要将表项复制到快表中。

知识点回顾

在这里插入图片描述

页面置换算法

页面置换算法顾名思义用来决定哪个页面被换出

页面的换入、换出需要磁盘I/O,会有较大的开销,因此好的页面置换算法应该追求更少的缺页率

页面置换算法有五种:最佳置换算法(OPT)、先进先出置换算法(FIFO)、最近最久未使用置换算法(LRU)、时钟置换算法(CLOCK)、改进型时钟置换算法

最佳置换算法(OPT)

最佳置换算法(OPT,Optimal) :每次选择淘汰的页面将是以后永不使用,或者在最长时间内不再被访问的页面,这样可以保证最低的缺页率。

举例:
例:假设系统为某进程分配了三个内存块,并考虑到有一下页面号引用串(会依次访问这些页面)7,0,1, 2,0,3,0,4,2,3,0,3,2, 1,2,0,1, 7,0,1

在这里插入图片描述
这里就手推一次中断

(1)请求7号页面
(2)请求0号页面
(3)请求1号页面
(4)这时候内存块满了,需要发生置换(往后找,最先出现0,然后出现1)因此最长时间不被使用的是7号页面,因此7号页面被置换

整个过程缺页中断发生了9次,页面置换发生了6次。
注意:缺页时未必发生页面置换。若还有可用的空闲内存块,就不用进行页面置换。

缺页率=9/20=45%(中断次数/总访问次数)

最佳置换算法可以保证最低的缺页率,但实际上,只有在进程执行的过程中才能知道接下来会访问到的是哪个页面。操作系统无法提前预判页面访间序列。因此,最佳置换算法是无法实现的。

先进先出置换算法

先进先出置换算法(FIFO) :每次选择淘汰的页面是最早进入内存的页面

实现方法:把调入内存的页面根据调入的先后顺序排成一个队列,需要换出页面时选择队头烦面即可。
队列的最大长度取决于系统为进程分配了多少个内存块。

这个就很好理解了,就不手推了吧,把最早放进来的换出去

但是还是要举个例子。。。(为了解释Belady异常)

举例:
例:假设系统为某进程分配了三个内存块,并考虑到有以下页面号引用串:3,2,1,0,3,2,4,3,2,1,0,4
在这里插入图片描述
如果增加到四个内存块
在这里插入图片描述
这时候会发现:三个内存块的时候缺页中断是9次;四个内存块的时候缺页中断是10次。

这个现象就是Belady现象(即当为进程分配的物理块数增大时,缺页次数不减反增的异常现象。)

只有FIFO算法会产生Belady异常。另外,FIFO算法 虽然实现简单,但是该算法与进程实际运行时的规律不适应,因为先进入的页面也有可能最经常被访问。因此,算法性能差

最近最久未使用置换算法(LRU)

最近最久未使用置换算法(LRU, least recently used) :每次淘汰的页面是最近最久未使用的页面

实现方法:赋予每个页面对应的页表项中,用访问字段记录该页面自上次被访问以来所经历的时间t。

当需要淘汰一一个页面时,选择现有页面中t值最大的,即最近最久未使用的页面。

这个就是需要在页表的访问字段中添加时间,到目前为止多久没有被使用

而换出去的就是访问字段中时间最长的

该算法的实现需要专门的硬件支持,虽然算法性能好,但是实现困难,开销大(这个性能是最接近最佳置换算法的)

时钟置换算法(CLOCK)

时钟置换算法是一一种性能和开销较均衡的算法,又称CLOCK算法, 或最近未用算法(NRU, NotRecently Used )

简单的CLOCK算法实现方法:为每个页面设置一个访问位, 再将内存中的页面都通过链接指针链接成一个循环队列。当某页被访问时,其访问位置为1。当需要淘汰一个页面时,只需检查页的访问位。如果是0,就选择该页换出:如果是1,则将它置为0,暂不换出,继续检查下一一个页面,若第一轮扫描中所有页面都是1,则将这些页面的访问位依次置为0后,再进行第二轮扫描(第二轮扫描中一定会有访问位为0的页面,因此简单的CLOCK算法选择一个淘汰页面最多会经过两轮扫描)

差不多能理解吧,我的理解就是:扫描一个循环队列,如果访问位是1,就变成0,一直到遇到0就把这个页面换出去,然后访问为修改为1(中间如果进行内存内的访问的时候要把访问位改成1)

举例:
例:假设系统为某进程分配了五个内存块,并考虑到有以下页面号引用串:1,3, 4, 2,5,6,3,4, 7

手推一下过程:
前5个就是全部进去了(这时候队列为1(1)、3(1)、4(1)、2(1)、5(1))
后面第6的时候回先访问一轮,全部置0,然后6号页换成1号页(这时候队列为6(1)、3(0)、4(0)、2(0)、5(0),访问点在3)
经过3、4的访问(这时候队列6(1)、3(1)、4(1)、2(0)、5(0))
访问7的时候,发生缺页中断(这时候一轮下来,发现2是0,7号页置换2号页,访问点在5)

改进型的时钟置换算法

简单的时钟置换算法仅考虑到-一个页面最近是否被访问过。事实上,如果被淘汰的页面没有被修改过,就不需要执行I/0操作写回外存。只有被淘汰的页面被修改过时,才需要写回外存。

因此,除了考虑一个页面最近有没有被访问过之外,操作系统还应考虑页面有没有被修改过。在其他条件都相同时,应优先淘汰没有修改过的页面,避免I/O操作。 这就是改进型的时钟置换算法的思想。

因此在页表中还增加了修改位,修改位=0时,没有被修改;修改位=1时,被修改了

为方便我自己写,用(访问位,修改位)的形式表示各页面状态。如(1, 1)表示一个页面近期被访问过,且被修改过。

算法规则:将所有可能被置换的页面排成一个循环队列

第一轮:从当前位置开始扫描到第一个(0,0) 的帧用于替换。本轮扫描不修改任何标志位(淘汰没被访问、没被修改的页面)

第二轮:若第一轮扫描失败,则重新扫描,查找第-一个(0,1) 的帧用于替换。本轮将所有扫描过的帧访问位设为0(淘汰没访问,但是被修改的页面)

第三轮:若第二轮扫描失败,则重新扫描,查找第一-个(0, 0)的帧用于替换。本轮扫描不修改任何标志位(淘汰被访问过但是没有被修改的页面)

第四轮:若第三轮扫描失败,则重新扫描,查找第一-个(0, 1)的帧用于替换。(淘汰被访问过被修改过的页面)

这个描述有点麻烦。。。但是根绝上面那个手推过程很好描述,允许我不写过程了吧(4轮太多了!!!老子有不是电脑,手写一轮都要炸裂)

知识点回顾

在这里插入图片描述

页面分配策略

知识点框架
在这里插入图片描述
驻留集:指请求分页存储管理中给进程分配的物理块的集合。(就是进程可以存放进内存的内容)

考虑个极端情况,若某进程共有100个页面,则该进程的驻留集大小为100时进程可以全部放入内存,运行期间不可能再发生缺页。若驻留集大小为1,则进程运行期间必定会极频繁地缺页

因此,若驻留集太小,会导致缺页频繁,系统要花大量的时间来处理缺页,实际用于进程推进的时间很少;驻留集太大,又会导致多道程序并发度下降,资源利用率降低。所以应该选择一个合适的驻留集大小。

因此,驻留集大小有两种分配方式:固定分配和可变分配

固定分配:操作系统为每个进程分配一组固定数目的物理块,在进程运行期间不再改变。即,驻留集大小不变

可变分配:先为每个进程分配一定数目的物理块,在进程运行期间,可根据情况做适当的增加或减少。即,驻留集大小可变

由于出现驻留集的概念,置换方式也出现了两种情况:局部置换和全局置换

局部置换:发生缺页时只能选进程自己的物理块进行置换.

全局置换:可以将操作系统保留的空闲物理块分配给缺页进程,也可以将别的进程持有的物理块置换到外存,再分配给缺页进程。

注:本来是可以两两搭配的,但是固定分配不可以搭配全局置换(这会导致驻留集大小改变)

因此就会出现三种方式:固定分配局部置换、可变分配局部置换、可变分配全局置换

固定分配局部置换:系统为每个进程分配一定数量的物理块,在整个运行期间都不改变。若进程在运行中发生缺页,则只能从该进程在内存中的页面中选出一页换出,然后再调入需要的页面。这种策略的缺点是:很难在刚开始就确定应为每个进程分配多少个物理块才算合理。( 采用这种策略的系统可以根据进程大小、优先级、或是根据程序员给出的参数来确定为一个 进程分配的内存块数)

可变分配局部置换:刚开始会为每个进程分配、定数量的物理块。当某进程发生缺页时,只允许从该进程自己的物理块中选出一个进行换出外存。如果进程在运行中频繁地缺页,系统会为该进程多分配几个物理块,直至该进程缺页率趋势适当程度;反之,如果进程在运行中缺页率特别低,则可适当减少分配给该进程的物理块。

可变分配全局置换:刚开始会为每个进程分配一定数量的物理块。操作系统会保持一个空闲物理块队列。当某进程发生缺页时,从空闲物理块中取出一块分配给该进程:若已无空闲物理块,则可选择一个未锁定的页面换出外存(锁定:就是不让这些内容被置换出外存),再将该物理块分配给缺页的进程。采用这种策略时,只要某进程发生缺页,都将获得新的物理块,仅当空闲物理块用完时,系统才选择一个未锁定的页面调出。被选择调出的页可能是系统中任何一个进程中的页,因此这个被选中的进程拥有的物理块会减少,缺页率会增加。

可变分配的两种置换策略的区别
可变分配全局置换:只要缺页就给分配新物理块
可变分配局部置换:要根据发生缺页的频率来动态地增加或减少进程的物理块

何时调入页面

1.预调页策略:根据局部性原理,一次调入若千个相邻的页面可能比一次调入一个页面更高效。但如果提前调入的页面中大多数都没被访问过,则又是低效的。因此可以预测不久之后可能访问到的页面,将它们预先调入内存,但目前预测成功率只有50%左右。故这种策略主要用于进程的首次调入,由程序员指出应该先调入哪些部分。(运行前调入)

2.请求调页策略:进程在运行期间发现缺页时才将所缺页面调入内存。由这种策略调入的页面一定会;被访问到,但由于每次只能调入一页,而每次调页都要磁盘I/O操作,因此I/O开销较大。(运行时调入)

从什么地方调入页面

1.系统拥有足够的对换区空间:页面的调入、调出都是在内存与对换区之间进行,这样可以保证页面的调入、调出速度很快。在进程运行前,需将进程相关的数据从文件区复制到对换区。

2.系统缺少足够的对换区空间:凡是不会被修改的数据都直接从文件区调入,由于这些页面不会被修改,因此换出时不必写回磁盘,下次需要时再从文件区调入即可。对于可能被修改的部分,换出时需写回磁盘对换区,下次需要时再从对换区调入。

3.UNIX方式:运行之前进程有关的数据全部放在文件区,故未使用过的页面,都可从文件区调入。若被使用过的页面需要换出,则写回对换区,下次需要时从对换区调入。

抖动(颠簸)现象

刚刚换出的页面马上又要换入内存,刚刚换入的页面马上又要换出外存,这种频繁的页面调度行为称为抖动,或颠簸。产生抖动的主要原因是进程频繁访问的页面数目高于可用的物理块数(分配给进程的物理块不够)

这就会花费大量的开销在调度上

因此针对物理块的多少,Denning提出了进程工作集的概念

驻留集:指请求分页存储管理中给进程分配的内存块的集合。
工作集:指在某段时间间隔里,进程实际访问页面的集合。

操作系统会根据“窗口尺寸”来算出工作集。例:
某进程的页面访问序列如下,窗口尺寸为4,各时刻的工作集为?
24,15, 18,23,24,17, 18,24,18,17,17, 15

工作集如何理解,举个例子就知道了(但是不太懂怎么判断出来工作集大于驻留集)
在这里插入图片描述
工作集大小可能小于窗口尺寸,实际应用中,操作系统可以统计进程的工作集大小,根据工作集大小给进程分配若干内存块。如:窗口尺寸为5,经过一段时间的监测发现某进程的工作集最大为3,那么
说明该进程有很好的局部性,可以给这个进程分配3个以上的内存块即可满足进程的运行需要。

一般来说,驻留集大小不能小于工作集大小,否则进程运行过程中将频繁缺页。(出现抖动现象)

拓展:基于局部性原理可知,进程在一段时间内访问的页面与不久之后会访问的页面是有相关性的。因此,可以根据进程近期访问的页面集合(工作集)来设计一种页面置换算法----选择一个不在工作集中的页面进行淘汰。

知识点回顾

在这里插入图片描述

  • 1
    点赞
  • 3
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值