操作系统 第六章 虚拟存储器(上)

本章思维导图

6.1 虚拟存储器概述

6.1.1 常规存储器管理方式的特征和局部性原理

1 常规存储器管理方式的特征

连续存储管理方式和离散存储管理方式统称为传统存储器管理方式。它们具有以下两个特征。

(1)一次性:是指作业必须一次性地全部装入内存后,方能开始运行。这一特征会导致两种情况发生,第一种是作业很大超出了内存总容量,导致不能正常运行;第二种每次只能装入少量的作业,不能将作业一次性全部交付,使系统的多道程序度下降。

(2)驻留性:是指作业被装入内存后,整个作业都一直驻留在内存中,直至作业运行结束。

2 局部性原理

程序在执行过程中的一个较短时间内,所执行的指令地址和指令的操作数地址,分别局限于一定区域

(1)时间局限性:如果程序中的某条指令被执行,则不久以后该指令可能再次执行;如果某条数据被访问过,则不久之后该数据可能再次被访问。产生时间局限性的典型原因是在程序中存在着大量的循环操作。

(2)空间局限性:一旦程序被访问了某个存储单元,在不久之后,其附近的存储单元也将被访问,即程序在一段时间内所访问的地址可能是集中在一定范围之内,其典型情况原因是程序的顺序执行。

具体表现

a.程序在执行时,大部分是顺序执行的

b.过程调用将会使程序的执行轨迹由一部分区域转至另一部分区域。深度不会超过5。

c.程序中存在相当多的循环结构,它们由少量指令组成,而被多次执行。

d.程序中存在相当多对一定数据结构的操作,如数组操作,往往局限在较小范围内。

3 虚拟存储器的基本工作情况

(1)基于局部性原理可知,应用程序在运行之前没有必要将之全部装入内存,而仅须将那些当前要运行的少数页面或段先转入内存便可运行,其余部分暂留在盘上。

(2)程序在运行时,如果它所要访问的页(段)已调入内存,便可继续执行下去;但如果程序所要访问的页(段)功能未调入内存(缺页或缺段),便发出缺页(段)中断请求,此时OS将利用请求调页(段)功能将它们调入内存,以使进程能继续执行下去。

(3)如果此时已满,无法再装入新的页(段),OS还须再利用页(段)的置换功能,将内存中暂时不用的页(段)调至盘中,腾出足够的内存空间后,再将要访问的页(段)调入内存,使程序继续运行下去。

6.1.2 虚拟存储器的定义与特征

1 虚拟寄存器的定义

虚拟存储器定义:仅把作业一部分装入内存就可运行的系统。

虚拟存储器:是指具有请求调入功能和置换功能能从逻辑上对内存容量加以扩充的一种存储器系统其逻辑容量由内存容量和外存容量之和所决定,其运行速度接近内存速度,而每位的成本又接近于外存。虚拟存储技术是一种性能非常优越的存储器管理技术,故被广泛的应用于大中小型计算机。

2 虚拟存储器的特征

(1)多次性:多次性是相对于传统存储器管理方式的一次性而言的,是指一个作业中的程序和数据无需在作业运行时一次性的全部装入内存,而是允许被分成多次调入内存运行,即只需要把当前要运行的那部分程序和数据装入内存即可开始运行。

(2)对换性:对换性是相对于传统存储器管理方式的常驻性而言,是指一个作业中的程序和数据,无需在作业运行时一直常驻内存,而是允许在作业运行时换进换出,允许将那些暂时不使用的代码和数据从内存调至外存的对换区,带以后需要时再将它们从外存调至内存。

(3)虚拟性:虚拟性是指能够从逻辑上扩充内存容量,使用户所看到的内存容量远大于实际内存容量。

虚拟性以多次性和对换性为基础多次性和对换性以离散分配为基础

6.1.3 虚拟存储器的实现方法

虚拟存储器中,允许将一个作业分多次调入内存。如果采用连续分配方式时,要求必须将作业装入一个连续的内存区域中,则必须事先为作业一次性地申请一个足以容纳整个作业的空间,以便能将该作业分先后地多次地装入内存。这不仅会使相当一部分内存空间处于暂时或永久的空闲状态,造成内存资源的浪费,而且无法、也无意义再从逻辑上扩大内存容量。所以,虚拟存储器的实现,都毫无例外的建立在离散分配存储管理方式的基础上

1 请求分页系统

请求分页系统系统是在分页系统的基础上,增加了请求调页功能和页面置换功能所形成的页式存储系统。

2 请求分段系统

请求分段系统是在分段系统的基础上,增加了请求调段功能和段置换功能所形成的段式存储系统。

3 硬件支持

请求分页系统:请求分页的页表机制;缺页中断机制;地址变换机构。

请求分段系统:请求分段的段表机制;缺段中断机制;地址变换机构。

4 软件支持

请求分页系统:用于实现请求调页和实现页面置换的软件。

请求分段系统:用于实现请求调段和实现段置换的软件。

5 实现步骤

地址空间部分装入:在程序装入时,只将当前需要执行的部分页或段装入到内存,就可让程序开始执行

执行中,如果需执行的指令或访问的数据尚未在内存(称为缺页或缺段),硬件产生缺页或缺段中断

中断处理程序将相应的页或段调入到内存,然后继续执行程序;如果内存无空闲空间,系统将内存中暂时不使用的页或段调出保存在外存交换区,从而腾出空间存放将要调入的页或段。

6.2 请求分页管理存储方式

每次换入和换出的基本单位都是长度固定的页面,这使得请求分页系统在实现上要比请求分段系统(每次换入和换出的基本单位都是长度可变的段)简单。

优点:请求分页存储管理具有分页存储管理的全部优点,特别是它有效地缓解了碎片的问题;提供了大容量的多个虚拟存储器;作业地址空间不再受实际存储容量的限制;更有效地利用主存;有利于运行多道程序;提高了系统效率,方便了用户,特别是大作业用户;

缺点:要求有相应的硬件支持,从而增加了成本,如动态地址变换、快表、缺页中断的产生等都要求有相应的硬件支持;缺页中断增加了处理机时间的开销,如页表的建立与管理、缺页中断处理等;页面淘汰算法如选择不当,有可能产生抖动现象,为防止抖动,会增加系统的复杂性;虽然减少了碎片,但每个进程的最后一页内总有一部分空间得不到利用。

6.2.1 请求分页中的硬件支持

1 请求页表机制

在请求分页系统中,需要的主要数据结构是请求页表。作用是将用户地址空间中的逻辑地址映射为内存空间中的物理地址

请求页表中增加了4个字段,分别为:

(1)状态位P:判断该页是否在主存,1为在,0为不在。

(2)访问字段A:用于记录本页在一段时间内被访问的次数记录本页最近已有多长时间未被访问,为页面置换算法做参考。

(3)修改位M:判断该页是否被写过,1为是,0为否。

(4)外存地址:用于指出该页在外存中的地址,通常是物理块号

2 缺页中断机制

在请求分页系统中,每当所要访问的页面不在内存时,便产生一个缺页中断,请求OS将所缺的页面调入内存缺页中断作为中断,同样需要经历保护CPU环境、分析中断原因、转入缺页中断处理程序进行处理,以及在中断处理完成后再恢复CPU环境。但是缺页中断又是一种特殊的中断,它与一般的中断相比有着明显的不同

(1)在指令执行期间,产生和处理中断信号。通常CPU都是在一条指令执行完后,才检查是否有中断请求到达。若有,便去相应,否则,继续执行下一条指令。然而,缺页中断是在指令执行期间,若发现所要访问的指令或数据不在内存时便立即产生和处理缺页中断信号,以便能及时将所缺之页调入内存。

(2)一条指令在执行期间,可能产生多次缺页中断。基于这种特性,系统中的硬件机构能保存多次中断时的状态,并保证最后能返回到中断前产生的缺页中断的指令。

3 地址变换机构

请求分页系统中的地址变换机构,是在分页系统地址变换机构的基础上,为实现虚拟存储器而通过增加某些功能所形成的,如产生和处理缺页中断,以及从内存中换出一下页的功能等。

6.2.2 请求分页中的内存分配

为进程分配内存时,会涉及到三个问题:第一,为保证进程能正常运行,所需要的最小物理块数的确定;第二,在为每个进程分配物理块时,应采取什么样的内存分配策略;第三,在为不同进程分配物理块时,是采取平均分配算法还是根据进程的大小按比例分配。

1 最小物理块数的确定

最小物理块数是指,能保证进行正常运行所需的最小物理块数,当系统为进程分配的物理块书少于此值时,进程将无法进行。若是单地址指令,且采用直接寻址方式,则所需的最小物理块数为2。如果是间接寻址,则至少需要3个物理块。

2 内存分配策略

(1)固定分配局部置换。固定分配是指为每个进程分配一组数目固定的物理块,在运行期间不再改变。局部置换是指,如果进程在运行中发现缺页,则只能从分配给该进程的n个页面中选出一页换出,然后再调入一页,以保证分配给该进程的内存空间不变。

(2)可变分配全局置换。可变分配是指先为每个进程分配一定数目的物理块,然后在进程运行期间,可根据情况做适当的增加或减少。全局置换是指如果进程在运行中发现缺页,则将OS所保留的空闲物理块,取出一块分配给该进程。

(3)可变分配局部置换为每个进程分配一定数目的物理块,当某进程发现缺页时,只允许从该进程在内存的页面中选出一页换出,这样就不会影响其它进程的运行。若进程运行过程中频繁地发生缺页中断,则系统为该进程分配附加的物理块,直至该进程的缺页率减少到适当程度为止;反之,可适当减少分配给该进程的物理块数。

3 物理块分配算法

(1)平均分配算法将系统中所有可供分配的物理块平均分配给各个进程。内存块平均分给各进程。小进程有利,长进程中断率高。

(2)按比例分配算法根据进程的大小按比例分配物理块。如果系统中共有n个进程,每个进程的页面数为Si,则系统中各进程页面数的总和S为:

再假定系统中可用的物理块总数为m,则每个进程所能分到的物理块数bi为:

(3)考虑优先权的分配算法为了照顾到重要的、紧迫的作业能尽快地完成,应为它们分配较多的内存空间。通常将可供分配的所有物理块分成两部分:一部分按比例分配给各进程。另一部分则根据各进程的优先权进行分配,可为高优先级进程适当地增加其相应份额。在重要的实时系统中,则可能是完全按优先权为各进程分配其物理块。

6.2.3 页面调入策略

为使进程能够正常运行,必须事先将要执行的那部分程序和数据所在的页面调入内存。

1 何时调入页面

(1)预调页策略。以预测为基础需要调入某页时,一次调入该页以及相邻的几个页。(通常用于进程首次调入内存, 可同时调入几页)

优点:提高调页的I/O效率。

缺点:基于预测,若调入的页在以后很少被访问,则效率低。常用于程序装入时的调页。

(2)请求调页策略。当进程在运行中需要访问某部分程序和数据时,若发现其所在的页面不在内存中,则立即提出请求,由OS将其所需页面调入内存。目前的虚拟存储器大多采用此策略。

2 何处调入页面

请求分页系统中的外存可分为两部分:用于存放文件的文件区和用于存放对换页面的对换区。对换区采用连续分配方式文件区采用离散分配方式,因此对换区的数据存取速度比文件区的高。会出现三种情况:

(1)从对换区,进程装入前,将其全部页面复制到对换区,以后总是从对换区调入。执行时调入速度快,要求对换区空间较大。

(2)未被修改的页面从文件区读入,而被置换时不需调出;已被修改的页面从对换区调入节省对换区空间。被修改过的页面淘汰时送入对换区。

(3)UNIX方式未运行过的页面都应从文件区调入。而对于曾经运行过但又被换出的页面,应从对换区调入。又由于UNIX系统允许页面共享,如果某进程所请求的页面已经被其他进程调入内存,此时也无须从对换区调入。

3 如何调入页面

步骤:页面未在内存时(存在位为“0”),程序向CPU发出一缺页中断申请。转入缺页中断处理程序(调入或置换);修改快表;访问内存数据。

4 缺页率

假设一个进程的逻辑空间为n页,系统为其分配的内存物理块数为m ( m ≤ n )。如果在进程运行过程中,访问页面成功的次数为S,访问页面失败的次数为F,则进程总的页面访问次数为:A=S+F,缺页率f为:

影响缺页率的因素

(1)页面大小:页面划分较大,则缺页率较低;反之,缺页率较高。

(2)进程所分配物理块的数据:所分配的物理块数目越多,缺页率较低;反之则越高;

(3)页面置换算法:算法的优劣决定了进程执行过程中缺页中断的次数,因此缺页是衡量页面置换算法的重要指标。

(4)程序固有特性:程序本身的编制方法对缺页中断次数有影响,根据程序执行的局部性原理,程序编制的局部化程度越高,相应执行的缺程度越低。

事实上,在缺页中断处理时,当由于空间不足,需要置换部分页面到外存时,选择置换页面还需要考虑到置换的代价。页面未修改过,直接放弃。页面修改过,必须保存。设被置换的页面被修改的概率为β,其缺页中断处理时间为Ta,被置换页面没有被修改的的缺页中断时间为Tb。则缺页中断处理时间的计算公式是:t = β × Ta + (1 - β)× Tb

6.3 页面置换算法

把选择换出页面的算法称为页面置换算法。页面置换算法的好坏将直接影响系统的性能。

不适当的算法可能会导致进程发生“抖动”:即刚被换出的页面很快又被访问,需要将它重新调入,此时又需要再选一页调出;而此刚被调出的页很快又被访问,又需将它调入,如此频繁地更换页面,以至一个进程在运行中把大部分时间都花费在页面置换工作上。一个好的置换算法应具有较低的页面更换频率

6.3.1 最佳页面置换算法和先进先出页面置换算法

1 最佳页面置换算法(OPT)

思想:其选择的被淘汰页面将以后永不使用的,或许时在最长(未来)时间内不再被访问的页面。采用最佳置换算法通常可保证获得最低的缺页率。这是一种理想情况,实际中是无法预知的,因而不能实现。可用作某算法性能评价的依据。

假定系统为某进程分配了三个物理块,并考虑有以下的页面号引用串:

7,0,1,2,0,3,0,4,2,3,0,3,2,1,2,0,1,7,0,1

2 先进先出页面置换算法(FIFO)

思想:FIFO算法是最早出现的置换算法。该算法总是淘汰最先进入内存的页面,即选择进入内存中驻留时间最长的页面进行淘汰

可以把一个进程已调入内存的页面按先后次序链接成一个队列,并设置一个指针,称为替换指针,使它总是指向最老的页面。该算法性能较差。较早调入的页往往是经常被访问的页,这些页在FIFO算法下被反复调入和调出,可能产生Belady(贝莱迪)异常。

Belady(贝莱迪)异常:在分页式虚拟存储器管理中,发生缺页时的置换算法采用FIFO(先进先出)算法时,如果对一个进程未分配它所要求的全部页面,有时就会出现分配的物理块数目增多,但缺页率反而提高的异常现象 。即替换策略不符合随着物理块数量的增大,缺页率一定减少的规律

FIFO算法的置换特征与进程访问内存的动态特征是矛盾的,即被置换的页面并不是进程不会访问的

6.3.2 最近最久未使用页面置换算法和最少使用页面置换算法

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

思想:选择内存中最久未使用的页面被置换。这是局部性原理的合理近似,性能接近最佳算法。但由于需要记录页面使用时间的先后关系,硬件开销太大。硬件机构如:

(1)一个特殊的栈:把被访问的页面移到栈顶,于是栈底的是最久未使用页面。

(2)每个页面设立移位寄存器:被访问时左边最高位置1,周期右移并且最高位补0,于是寄存器数值最小的是最久未使用页面。

LRU置换算法虽然是一种比较好的算法,但要求系统有较多的支持硬件。为了了解一个进程在内存中的各个页面各有多少时间未被进程访问,以及如何快速地知道哪一页是最近最久未使用的页面,须有两类硬件之一的支持寄存器或栈

寄存器:为了记录某进程在内存中各页的使用情况,须为每个在内存中的页面配置一个移位寄存器,可表示为:

:某进程在内存中具有8个页面,为每个内存页面配置一个8位寄存器时的LRU访问情况。这里,把8个内存页面的序号分别定为1~8。由图可以看出,第3个内存页面的R值最小,当发生缺页时,首先将它置换出去

:可利用一个特殊的栈不符合一般栈的定义)来保存当前使用的各个页面的页面号。每当进程访问某页面时,便将该页面的页面号从栈中移出,将它压入栈顶。因此,栈顶始终是最新被访问页面的编号,而栈底则是最近最久未使用页面的页面号

假定现有一进程所访问的页面的页面号序列为:4,7,0,7,1,0,1,2,1,2,6

在访问页面6时发生了缺页,此时页面4是最近最久未被访问的页,应将它置换出去。

2 最少使用页面置换算法(LFU)

思想:在内存中的每个页面设置一个移位寄存器,用来记录该页面被访问的频率

该置换算法选择在最近时期使用最少的页面作为淘汰页。由于存储器具有较高的访问速度,极短时间可能对页面访问成千上万次,因此,通常不能直接利用计数器来记录某页被访问的次数,只能采用较大的时间间隔来记录对存储器某页的访问与否,从而可以采用移位寄存器方式。

每次访问某页时,便将该移位寄存器的最高位置1再每隔一定时间(例如100 ms)右移一次。这样,在最近一段时间使用最少的页面将是∑Ri最小的页。

6.3.3 Clock页面置换算法

1 简单的Clock页面置换算法

思想:当利用简单Clock算法时,只需为每页设置一位访问位,再将内存中的所有页面都通过链接指针链接成一个循环队列。当某页被访问时,其访问位被置为1。置换算法在选择一页淘汰时,只需检查页的访问位。如果是0,就选择该页换出;若为1,则重新将它置为0,暂不换出,给与该页第二次驻留内存的机会,再按照FIFO算法检查下一个页面。当检查到队列中的最后一个页面时,若其访问位为1,则再返回到队首去检查第一个页面。由于该算法循环检查各页面的使用情况,故称之为Clock页面置换算法。该算法又被称为最近未用页面置换算法(NRU)二次机会页面置换算法

2 改进型Clock页面置换算法

在将一个页面换出时,如果该页已被修改过,便须将该页重新写回到磁盘上;但如果该页未被修改过,则不必将它拷回磁盘。对于修改过的页面,再换出时所付出的代价比未修改过的页面大(置换代价大)。在改进的Clock算法中,除须考虑页面的使用情况外,还需再增加一个因素——置换代价。这样,选择页面换出时,既要是未使用过的页面,也要是被修改过的页面。把同时满足这两个条件的页面作为首选淘汰的页面。由访问位A和修改位M就可以组合成4种类型的页面。

(1)1类(A=0,M=0):表示该页最近既未被访问,又未被修改,是最佳淘汰页;

(2)2类(A=0,M=1):表示该页最近未被访问,但已被修改,并不是很好的淘汰页;

(3)3类(A=1,M=0):表示该页最近已被访问,但未被修改,该页有可能再被访问;

(4)4类(A=1,M=1):表示该页最近已被访问且被修改,该页可能再被访问。

在进行页面置换时,可采用与简单clock算法相类似的算法,其差别在于该算法须同时检查访问位与修改位,以确定该页是四类页中的哪一种。执行过程可分为以下3步。

(1)从指针指示的当前位置开始,扫描循环队列,寻找A=0且M=0的第一类页面,将所遇到的第一个页面作为所选中的淘汰页。在第一次扫描期间不改变访问位A

(2)如果第一步失败,即查找一周后未遇到第一类页面,则开始第二轮扫描,寻找A=0且M=1的第二类页面,将所遇到的第一个这类页面作为淘汰页。在第二轮扫描期间,将所有扫描过的页面的访问位都置0

(3)如果第二步也失败,亦即未找到第二类页面,则将指针返回到开始的位置,并将所有的访问位复0。然后重复第一步,如果仍失败,必要时再重复第二步,此时就一定能找到淘汰的页面。

6.3.4 页面缓冲算法

1 影响页面换入/换出效率的若干因素

(1)页面置换算法。影响页面换入/换出效率最重要的因素,无疑是页面置换算法。一个好的页面置换算法有着较低的缺页率。

(2)写回磁盘的频率。对于已经被修改过的页面,再将其换出时,应当写回磁盘。

(3)读入内存的频率。

2 页面缓冲算法(PBA)

虽然LRU和Clock置换算法都比FIFO算法好,但它们都需要一定的硬件支持,并需付出较多的开销,而且,置换一个已修改的页比置换未修改页的开销要大。而页面缓冲算法(PBA)则既可改善分页系统的性能,又可采用一种较简单的置换策略,不需要特殊硬件支持,实现简单。它采用可变分配和局部置换的方法

该算法规定将一个被淘汰的页放入两个链表中的一个,即如果页面未被修改,就将它直接放入空闲链表中;否则,便放入已修改页面的链表中。须注意的是,这时页面在内存中并不做物理上的移动,而只是将页表中的表项移到上述两个链表之一中

(1)空闲页面链表实际上是一个空闲物理块链表,其中的每个物理块都是空闲的,因此,可在其中装入程序或数据。当需要读入一个页面时,便可利用空闲物理块链表中的第一个物理块来装入该页当有一个未被修改的页要换出时,实际上并不将它换出内存,而是把该未被修改的页所在的物理块挂在自由页链表的末尾

(2)修改页面链表。在置换一个已修改的页面时也将其所在的物理块挂在修改页面链表的末尾。利用这种方式可使已被修改的页面和未被修改的页面都仍然保留在内存中。当该进程以后再次访问这些页面时,只需花费较小的开销,使这些页面又返回到该进程的驻留集中。当被修改的页面数目达到一定值时,例如64个页面,再将它们一起写回到磁盘上,从而显著地减少了磁盘I/O的操作次数。一个较简单的页面缓冲算法已在MACH操作系统中实现了,只是它没有区分已修改页面和未修改页面。

6.3.5 请求分页系统的内存有效访问时间

在具有快表机制的请求分页管理方式中,会存在3种方式的内存访问操作。

(1)被访问页在内存中,且其对应的页表项在快表中。

EAT = λ + t

:λ为查找快表所需要的时间,t为访问一次内存所需要的时间。

(2)被访问页在内存中,且其对应的页表项不在快表中。

EAT = 2 × (λ + t)

:λ为查找快表所需要的时间,t为访问一次内存所需要的时间。

(3)被访问页不在内存中。

EAT = ε + 2 × (λ + t)

:ε为缺页中断处理时间,λ为查找快表所需要的时间,t为访问一次内存所需要的时间。

评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

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

抵扣说明:

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

余额充值