操作系统——内存管理


内存管理

1.内存基础知识

内存可存放数据。程序执行前需要先放到内存中才能被CPU处理,缓和CPU与硬盘之间的速度矛盾

在这里插入图片描述

  1. CPU 内部寄存器: 访问速度最快,完全与 CPU 协调工作,但价格昂贵,容量小。用于加快存储器的访问速度,用寄存器存放操作数
  2. 高速缓存(cache): 主存中经常访问的信息放在高速缓存中,减少访问主存储器的次数大幅度提高程序执行速度:它们通常放在 cpu 内部或很靠近 cpu 的地方,当程序要读取数据时,首先查看 cache中是否存在该数据,如果存在其中(称“命中”),如果不在其中(称“缺页”)就从内存中获取该数据,并把该数据放入 cache 中,以备下次使用。 主要用来暂存下一条将要执行的指令
  3. 主存储器:由若干物理存储单元组成,每个存储单元都拥有属于自己的一个编号,即物理地址。cpu执行的指令及所用的数据都必须放在内存。是cpu 直接存取指令和数据的存储器。但是掉电易失
  4. 磁盘:对内存容量的扩大, cpu 不能直接存取磁盘上的数据,磁盘上的数据可永久保存,容量大。

在这里插入图片描述

内存中也有一个一个的“小房间”,每个小房间就是一个**“存储单元”,如果计算机“按字节编址”**
每个存储单元大小为 1字节,即 1B,即 8个二进制位。

如果字长为16位的计算机“按字编址”,则每个存储单元大小为 1个字;每个字的大小为 16 个二进制位。

比过说一台电脑的内存是4GB,是指该内存中可以存放 4*230 个字节。如果是按字节编址的
话,也就是有 4 × 2 30 4\times 2^{30} 4×230 = 2 32 2^{32} 232个“小房间”

指令的工作原理

创建一个进程,除了PCB之外,还需一个在内存中开辟一个程序段数据段。这个程序段就包含了程序要执行的指令,而数据段包含的是程序运行过程中产生的各种数据。

  • PCB是给操作系统使用的数据结构
  • 程序段和数据段是给进程自己使用的

在这里插入图片描述

可见,我们写的代码要翻译成CPU能识别的指令。这些指令会告诉CPU应该去内存的哪个地址读/写数据这个数据应该做什么样的处理。在这个例子中,我们默认让这个进程的相关内容从地址#0开始连续存放,指令中的地址参数直接给出了变量x的实际存放地址 (物理地址)。

一个C语言程序经过编译链接后生成了可执行文件也叫装入模块,再有装入程序把这个装入模块装入到内存,文件里有一些指令,涉及到了一些地址操作,这是逻辑地址(相对地址),实际上到内存中操作地址的时候,可能这个地址已经被其它进程使用,所以要把这个逻辑地址转换为物理地址来使用。

在这里插入图片描述

程序装入方式

绝对装入

在编译时,如果知道程序将放到内存中的哪个位置,编译程序将产生绝对地址的目标代码装入程序按照装入模块中的地址,将程序和数据装入内存。
如果知道装入模块要从地址为 100 的地开始存放.

如果在编译时,事先知道用户程序在内存的驻留位置,则编译程序在编译时就产生”绝对地址“的目标代码。装入程序就直接把装入模块中的程序和数据装入到
指定的位置(不需进行地址转换)

也就是源程序,在编译链接后就得到了装入模块的指令直接使用了绝对地址

这种方式只适用于单道程序环境

静态重定位

又称可重定位装入。编译、链接后的装入模块的地址都是从0开始的,指令中使用的地址、数据存放的地址都是相对于起始地址而言的逻辑地址。可根据内存的当前情况,将装入模块装入到内存的适当位置。装入时对地址进行“重定位”,将逻辑地址变换为物理地址(地址变换是在装入时一次完成的)。

静态重定位就是在逻辑地址的基础上加上一个数,得到对应的物理地址,比如说指令1的逻辑地址是0加上100就是物理得到物理地址,在装入时期进行操作的,由操作系统的装入程序完成

在这里插入图片描述

静态地址重定位: 在目标程序装入内存时,由装入程序把程序中的数据和指令的地址修改成
际的内存地址,在程序运行期间不再进行重定位。完成一个首地址不同的连续地址变换

静态重定位的特点是在一个作业装入内存时,必须分配其要求的全部内存空间,如果没有足够的内存,就不能装入该作业。作业一旦进入内存后,在运行期间就不能再移动,也不能再申请内存空间,且内存空间是连续的

动态重定位

这也是现代操作系统使用的。

动态重定位:又称动态运行时装入。编译、链接后的装入模块的地址都是从0开始的。装入程序把装入模块装入内存后,并不会立即把逻辑地址转换为物理地址,而是把地址转换推迟到程序真正要执行时才进行。因此装入内存后所有的地址依然是逻辑地址。这种方式需要一个重定位寄存器的支持。

  • 重定位寄存器:存放装入模块存放的起始位置
  • 采用动态重定位时允许程序在内存中发生移动

在这里插入图片描述

动态重定位是在程序执行期间,每次访问内存之前进行重定位,需依靠硬件重定位寄存器完成。这个重定位寄存器存放了装入模块也就是可执行程序的起始地址,CPU在访问内存的时候,会把重定位寄存器里存放的起始地址和这个逻辑地址的值相加就得到了最终要访问的物理地址

我们可以动态的修改重定位寄存器,来实现程序访问不同的内存地址。

可分配到不连续的空间,运行之前装入即可,可根据需要动态申请分动态地址重定位:配内存,便于共享,可向用户提供一个比主存大得多的地址空间。

程序从编写到运行

在这里插入图片描述

链接的三种方式:

  1. 静态链接:在程序运行之前先将各目标模块及它们所需的库函数连接成一个完整的可执行文件(装入模块),之后不再拆开。
  2. 装入时动态链接:将各目标模块装入内存时,边装入边链接的链接方式。
  3. 运行时动态链接:在程序执行中需要该目标模块时,才对它进行链接。其优点是便于修改和更新,便于实现对目标模块的共享。

内存保护

假设一个进程想访问其它进程的地址空间,显然是不可以的,内存保护就是让进程只能访问自己的内存地址空间。

内存保护可采取两种方法:

  • 方法一:在CPU中设置一对上、下限寄存器,存放进程的上、下限地址。进程的指令要访问某个地址时,CPU检查是否越界。

    在这里插入图片描述

  • 方法二: 采用重定位寄存器(又称基址寄存器)和界地址寄存器(又称限长寄存器)进行越界检查。重定位寄存器中存放的是进程的起始物理地址。界地址寄存器中存放的是进程的最大逻辑地址 ,当进程想访问20的逻辑地址时,会先拿20和界地址寄存器里的值进行比较,如果越界就会报错,如果没有越界就会拿重定位寄存器里的值进行相加最后得到要访问的物理地址

    在这里插入图片描述

2. 内存管理

覆盖与交换

覆盖技术

早期的计算机内存很小,比如IBM 推出的第一台PC机最大只支持 1MB 大小的内存。因此经常会出现内存大小不够的情况。

后来人们引入了覆盖技术,用来解决**“程序大小超过物理内存总和”**的问题

覆盖技术的思想:将程序分为多个段(多个模块)常用的段常驻内存,不常用的段在需要时调入内存。
内存中分为一个“固定区”和若干个“覆盖区”

需要常驻内存的段放在**“固定区”中,调入后就不再调出 (除非运行结束)
不常用的段放在
覆盖区**,需要用到时调入内存用不到时调出内存

在这里插入图片描述

必须由程序员声明覆盖结构,操作系统完成自动覆盖。缺点: 对用户不透明,增加了用户编程负担。覆盖技术只用于早期的操作系统中,现在已成为历史

交换技术

交换(对换)技术的设计思想:内存空间紧张时,系统将内存中某些进程暂时换出外存,把外存中
某些已具备运行条件的进程换入内存(进程在内存与磁盘间动态调度)

类似于中级调度,中级调度就是为了实现交换技术的调度,就是要决定将哪个处于挂起状态的进程重新调入内存。内存里面同时会存在多个进程的数据,如果内存不足的化就可以把内存总一些不太紧急不太重要的进程,把这些进程的数据从内存调出到外存,那么一个进程从内存调到外存,这个进程就会处于挂起状态

在这里插入图片描述

暂时换出外存等待的进程状态为挂起状态(挂起态,suspend)
挂起态又可以进一步细分为就绪挂起、阻塞挂起两种状态

  1. 应该在外存(磁盘)的什么位置保存被换出的进程?

    进程的数据被换出的时候一般是放的对换区

在这里插入图片描述

具有对换功能的操作系统中,通常把磁盘空间分为文件区对换区两部分。文件
主要用于存放文件,主要追求存储空间的利用率,因此对文件区空间的管理
用离散分配方式
:对换区空间只占磁盘空间的小部分,被换出的进程数据就存放
在对换区
。由于对换的速度直接影响到系统的整体速度,因此对换区空间的管理
主要追求换入换出速度,因此通常对换区采用连续分配方式

总之,对换区的I/O速度比文件区的更快

  1. 什么时候应该交换?

    交换通常在许多进程运行且内存吃紧时进行,而系统负荷降低就暂停。例如:在
    发现许多进程运行时经常发生缺页,就说明内存紧张,此时可以换出一些进程;
    如果缺页率明显下降,就可以暂停换出。

  2. 应该换出哪些进程?

    可优先换出阻塞进程:可换出优先级低的进程:为了防止优先级低的进程在被调入内存后很快又被换出,有的系统还会考虑进程在内存的驻留时间…

    **注意:PCB是常驻内存的的!**不会换出内存,为了保持对进程的管理。

连续分配管理方式

连续分配:指的是为用户进程分配的必须是一个连续的内存空间

单一连续分配

在单一连续分配方式中,内存被分为系统区用户区系统区通常位于内存的低地址部分,用于存放操作系统相关数据:用户区用于存放用户进程相关数据。

  • 系统区:存放操作系统相关的进程和一些数据
  • 用户区:存放用户进程或者说是用户进程的一些数据

内存中只能有一道用户程序,用户程序独占整个用户区空间。

在这里插入图片描述

  • 优点:实现简单;无外部碎片:可以采用覆盖技术扩充
    内存:不一定需要采取内存保护
  • 缺点:只能用于单用户、单任务的操作系统中:有内部碎片;存储器利用率极低。
  • 内部碎片:分配给某进程的内存区域中,如果有些部分没有用上,就是**“内部碎片”**
固定分区分配

20世纪60年代出现了支持多道程序的系统,为了能在内存中装入多道程序,且这些程序之间又不会相互干扰,于是将整个用户空间划分为若干个固定大小的分区,在每个分区中只装入一道作业,这样就形成了最早的、最简单的一种可运行多道程序的内存管理方式。

固定分区分配有两种方式:

  • 分区大小相等
  • 分区大小不等

在这里插入图片描述

  • 分区大小相等:缺乏灵活性,但是很适合用于用一台计算机控制多个相同对象的场合。但是如果一个小进程就会存在空间浪费,大进程就不够使用,要使用交换技术来进行使用。
  • 分区大小不等:增加了灵活性,可以满足不同大小的进程需求。根据常在系统中运行的作业大小情况进行划分(比如,切分多个小分区、适量中等分区、少量大分区

操作系统要怎么记录分区的分配和使用情况?

可以采用数据结构的数组(或者链表)即可实现下图中的表:

在这里插入图片描述

  • 优点:实现简单,无外部碎片
  • 缺点:a.当用户程序太大时,可能所有的分区都不能满足需求,此时不得不采
    用覆盖技术来解决,但这又会降低性能:b.会生内部碎片,内存利用率低。
动态分区分配

动态分区分配又称为可变分区分配。这种分配方式不会预先划分内存分区,而是在进程装入内存时根据进程的大小动态地建立分区,并使分区的大小正好适合进程的需要。因此系统分区的大小和数目是可变的。 (eg:假设某计算机内存大小为 64MB,系统区 8MB,用户区共 56 MB…)

在这里插入图片描述

  1. 系统要用什么样的数据结构记录内存的使用情况?

    • 空闲分区表:使用数组来进行表示,表中包含分区号、分区大小、分区起始地址等

      在这里插入图片描述

    • 空闲分区链:使用双向链表来进行组织

      在这里插入图片描述

  2. 当很多个空闲分区都能满足需求时,应该选择哪个分区进行分配?

    把一个新作业装入内存时,须按照一定的动态分区分配算法,从空闲分区表(或空闲分区链)中选出一个分区分配给该作业。由于分配算法算法对系统性能有很大的影响,因此人们对它进行了广泛的研究。

    在这里插入图片描述

  3. 假设进程3和进程4都已经被移除内存,是将分区合并还是?,我们如何进行分区的分配与回收呢?

    • 假设采用空闲分区表,如何分配?

      情况1:比如说空闲分区大小大于进程大小,将进程放入空闲分区后,就需要更新空闲分区表。

      在这里插入图片描述

      情况2:或者是,进程大小刚好符合空闲分区大小,就从空闲分区表中将空闲分区删除

      在这里插入图片描述

    空闲分区链也是同理,空闲分区大于进程大小就更新,如果刚好够的话就把链表节点删除。

    • 假设使用空闲分区表,进程已经运行结束,如何进行回收操作。

      情况1:回收区的后面有一个相邻的空闲分区,将两个空闲分区合并,空闲分区总数不变

      在这里插入图片描述

      情况2:回收区的前面有一个相邻的空闲分区,和前面同理,直接合并,空闲分区总数不变

      情况3:回收区的前、后各有一个相邻的空闲分区,将3个空闲分区进行合并成一个。空闲分区减少一个

      情况4:回收区的前、后都没有相邻的空闲分区,增加空闲分表中的分区数量。

    动态分区分配没有内部碎片,但是有外部碎片

    • 内部碎片,分配给某进程的内存区域中,如果有些部分没有用上。
    • 外部碎片,是指内存中的某些空闲分区由于太小而难以利用。
  • 可以通过紧凑技术来解决外部碎片问题,就是将进程和进程之间有较小且难以利用的内存空间,将这些进程挪动紧凑在一起,就可以让后方空闲出空闲的内存空间。

    在这里插入图片描述

动态分区分配算法

动态分区分配算法:在动态分区分配方式中,当很多个空闲分区都能满足需求时,应该选择哪个
分区进行分配?

首次适应算法

算法思想: 每次都从低地址开始查找,找到第一个能满足大小的空闲分区。
如何实现: 空闲分区以地址递增的次序排列。每次分配内存时顺序查找空闲分区链 (或空闲分区表),找到大小能满足要求的第一个空闲分区。

如下图,新来一个进程5需要15M内存,直接遍历分区链,直接在头节点就找到了满足要求的空闲分区。

在这里插入图片描述

首次适应算法:优先利用内存低地址部分的空闲分区,从而保留了高地址部分的大空闲区。
但由于低地址部分不断被划分,致使低地址端留下许多难以利用的很小的空闲分区(碎
片或零头),而每次查找又都是从低地址部分开始,这增加了查找可用空闲分区的开销。

最佳适应算法

算法思想: 由于动态分区分配是一种连续分配方式,为各进程分配的空间必须是连续的一整片区域。因此为了保证当“大进程”到来时能有连续的大片空间,可以尽可能多地留下大片的空闲区
即,优先使用更小的空闲区。
如何实现:空闲分区按容量递增次序链接。每次分配内存时顺序查找空闲分区链(或空闲分区
),找到大小能满足要求的第一个空闲分区。

在这里插入图片描述

缺点:每次都选最小的分区进行分配,会留下越来越多的、很小的、难以利用的内存块。因此这种方法会产生很多的外部碎片。

最坏适应算法

又称 最大适应算法 (Largest Fit)
算法思想:为了解决最佳适应算法的问题一一即留下太多难以利用的小碎片,可以在每次分配时
优先使用最大的连续空闲区,这样分配后剩余的空闲区就不会太小,更方便使用。

如何实现: 空闲分区按容量递减次序链接。每次分配内存时顺序查找空闲分区链(或空闲分区
),找到大小能满足要求的第一个空闲分区。

在这里插入图片描述

缺点: 每次都选最大的分区进行分配,虽然可以让分配后留下的空闲区更大,更可用,但是这种方式会导致较大的连续空闲区被迅速用完。如果之后有“大进程”到达,就没有内存分区可用了

邻近适应算法

算法思想:首次适应算法每次都从链头开始查找的。这可能会导致低地址部分出现很多小的空闲分区,而每次分配查找时,都要经过这些分区,因此也增加了查找的开销。如果每次都从上次查
找结束的位置开始检索,就能解决上述问题。

如何实现:空闲分区以地址递增的顺序排列(可排成一个循环链表)。每次分配内存时从上次查
找结束的位置
开始查找空闲分区链(或空闲分区表),:找到大小能满足要求的第一个空闲分区。

在这里插入图片描述

  • 首次适应算法每次都要从头查找,每次都需要检索低地址的小分区。但是这种规则也决定了当低地址部分有更小的分区可以满足需求时,会更有可能用到低地址部分的小分区,也会更有可能把高地址部分的大分区保留下来(最佳适应算法的优点)
  • 邻近适应算法的规则可能会导致无论低地址、高地址部分的空闲分区都有相同的概率被使用,也就导致了高地址部分的大分区更可能被使用,划分为小分区,最后导致无大分区可用 (最大适应算法的缺点)

3. 基本分页存储管理

什么是分页存储

将内存空间分为一个个大小相等的分区(比如:每个分区4KB),每个分区就是一个“” ,类似于一个内存块。每个页有一个编号,叫**“页帧”也叫“内存块/页框”,页框号/内存块号从0开始**。

进程的逻辑地址空间也分为与页框大小相等的一个个部分每个部分称为一个“页”或“页面”。每个页面也有一个编号,叫**“页”或者“页面”,每个页也有一个编号叫做“页号”**。

在这里插入图片描述

操作系统以页框为单位为各个进程分配内存空间。进程的每个页面分别放入一个页框中。也就是说,进程的页面与内存的页框/内存块一 一对应的关系
各个页面不必连续存放,可以放到不相邻的各个页框中.

页表

为了能知道进程的每个页面在内存中存放的位置,操作系统要为每个进程建立一张页表注:页表通常存在PCB(进程控制块)中

在这里插入图片描述

  1. 一个进程对应一张页表
  2. 进程的每个页面对应一个页表项
  3. 每个页表项由“页号”和“块号”组成
  4. 页表记录进程页面和实际存放的内存块之间的映射关系

每个页表项占多少个字节?

假设某系统物理内存大小为4GB,页面大小为 4KB,则每个页表项至少应该为多少字节?

内存块大小=页面大小=4KB= 2 12 2^{12} 212B

  • 4GB内存总共会被分为 2 32 2 12 = 2 20 \frac{2^{32}}{2^{12}}=2^{20} 212232=220个内存块
  • 内存块号的范围应该是 0   2 20 − 1 0~2^{20}-1 0 2201
  • 内存块号只是要用20bit来表示
  • 至少要用3B来表示块号
  • 由于页号隐含的,因此每个页表项占3B,存储整个页表至少需要 3 ( n + 1 ) 3(n+1) 3(n+1)B

B:字节

页表项在内存中是连续存放的,所以页号可以是隐含的,不占用存储空间(类似于数组)

如何实现地址的装换

进程在内存中连续存放时,操作系统是如何实现逻辑地址到物理地址的转换的?

重定位寄存器存储了进程在内存中的起始地址,将起始地址和逻辑地址相加就得到了物理地址

在这里插入图片描述

将进程地址空间分灭之后,操作系统该如何实现逻辑地址到物理地址的转换?

特点:虽然进程的各个页面是离散存放的,但是页面内部是连续存放的

如果要访问逻辑地址 A,则

  1. 确定逻辑地址A对应的“页号”P
  2. 找到P号页面在内存中的起始地址(需要查页表)
  3. 确定逻辑地址A 的“页内偏移量”W
    逻辑地址A对应的物理地址 = P号页面在内存中的起始地址(内存块号*页面大小)+页内偏移量W(页帧内偏移量)

在某计算机系统中,页面大小是50B。某进程逻辑地址空间大小为200B,则逻辑地址 110 对应的页号、页内偏移量是多少?

在这里插入图片描述

  • 页号=逻辑地址/页面长度(取除法的整数部分)
  • 页内偏移量=逻辑地址%页面长度(取除法的余数部分)
  • 实际的物理地址=内存块号*页面大小+页内偏移量

在计算机内部,地址是用二进制表示的如果页面大小刚好是2的整数幂,则计算机硬件可以很快速的把逻辑地址拆分成(页号,页内偏移量)

在这里插入图片描述

例子:

在这里插入图片描述

结论: 如果每个页面大小为 2 k 2^{k} 2kB,用二进制数表示逻辑地址则末尾 K 位即为页内
偏移量
其余部分就是页号

在这里插入图片描述

总结: 页面大小刚好是2的整数幂有什么好处?

  1. 逻辑地址的拆分更加迅速一一如果每个页面大小为 2 k B 2^{k}B 2kB,用二进制数表示逻辑地址,则末尾K位即为页内偏移量,其余部分就是页号。因此,如果让每个页面的大小为2 的整数幂,计算机硬件就可以很方便地得出一个逻辑地址对应的页号和页内偏移量,而无需进行除法运算,从而提升了运行速度。
  2. 物理地址的计算更加迅速–根据逻辑地址得到页号,根据页号查询页表从而找到页面存放的内
    存块号,将二进制表示的内存块号和页内偏移量拼接起来,就可以得到最终的物理地址。

基本地址变化机构

基本地址变换机构可以借助进程的页表将逻辑地址转换为物理地址。
通常会在系统中设置一个页表寄存器 (PTR),存放页表在内存中的起始地址F页表长度M
进程未执行时,页表的始址 和 页表长度 放在进程控制块 (PCB)中,当进程被调度时,操作系统内核会把它们放到页表寄存器中。

注意:页面大小是2的整数幂
设页面大小为L,逻辑地址A到物理地址E的变换过程如下:

在这里插入图片描述

设页面大小为L,逻辑地址A到物理地址E的变换过程如下:

  1. 计算页号 P 和页内偏移量W ( 如果用十进制数手算,则 P=A/L,W=A%L; 但是在计算机实际
    运行时,逻辑地址结构是固定不变的,因此计算机硬件可以更快地得到二进制表示的页号、页内偏移量)
  2. 比较页号P 和页表长度M,若 P>=M,则产生越界中断,否则继续执行。 (注意:页号是从0开
    始的,而页表长度至少是1,因此 P=M 时也会越界)
  3. 页表中页号P对应的页表项地址 = 页表起始地址F + 页号p * 页表项长度,取出该页表项内容b.
    即为内存块号。 (注意区分页表项长度、页表长度、页面大小的区别。页表长度指的是这个页
    表中总共有几个页表项,即总共有几个页:页表项长度指的是每个页表项占多大的存储空间;
    页面大小指的是一个页面占多大的存储空间)
  4. 计算E=b*L+W,用得到的物理地址E 去访存。 (如果内存块号、页面偏移量是用二进制表
    示的,那么把二者拼接起来就是最终的物理地址了)
  5. 物理地址=内存块号*页面大小+页内偏移量

快表

快表,又称联想寄存器 (TLB, translation lookaside buffer),是一种访问速度比内存快很多的高速缓存(TLB不是内存!),用来存放最近访问的页表项的副本,可以加速地址变换的速度。与此对应,内存中的页表常称为慢表

在这里插入图片描述

  1. CPU给出逻辑地址,由某个硬件算得页号、页内偏移量,将页号与快表中的所有页号进行比较。
  2. 如果找到匹配的页号,说明要访问的页表项在快表中有副本,则直接从中取出该页对应的内存块号,再将内存块号与页内偏移量拼接形成物理地址,最后,访问该物理地址对应的内存单元。因此,若快表命中,则访问某个逻辑地址仅需一次访存即可。
  3. 如果没有找到匹配的页号,则需要访问内存中的页表,找到对应页表项,得到页面存放的内存块号,再将内存块号与页内偏移量拼接形成物理地址,最后,访问该物理地址对应的内存单元。因此若快表未命中,则访问某个逻辑地址需要两次访存(注意:在找到页表项后,应同时将其存入快表,以便后面可能的再次访问。若快表已满,则必须按照一定的算法对旧的页表项进行替换)
时间局部性和空间局部性
  • 时间局部性: 如果执行了程序中的某条指令,那么不久后这条指令很有可能再次执行:如果某个数据被访问过,不久之后该数据很可能再次被访问。(因为程序中存在大量的循环)
  • 空间局部性:一旦程序访问了某个存储单元,在不久之后,其附近的存储单元也很有可能被访问。(因为很多数据在内存中都是连续存放)

比过说下面这段代码:

这个程序执行时,会很频繁地访问10号页面、23号页面

int i = 0;
int arr[100] = {0};
while (i < 100) {
    arr[i] = i;
    i++;
}

在这里插入图片描述

基本地址变换机构中,每次要访问一个逻辑地址,都需要查询内存中的页表。由于局部性原理,可能连续很多次查到的都是同一个页表项

两级页表

单级页表存在的问题

问题一: 页表必须连续存放,因此当页表很大时,需要占用很多个连续的页框

可将长长的页表进行分组,使每个内存块刚好可以放入一个分组(比如上个例子中,页面大小 4KB,
每个页表项4B,每个页面可存放 1K 个页表项,因此每 1K个连续的页表项为一组,每组刚好占一个内
存块,再讲各组离散地放到各个内存块中)
另外,要为离散分配的页表再建立一张页表,称为页目录表,或称外层页表,或称顶层页表

在这里插入图片描述

问题二:没有必要让整个页表常驻内存,因为进程在一段时间内可能只需要访问某几个特定的页面

可以在需要访问页面时才把页面调入内存(虚拟存储技术)。可以在页表项中增加一个标志位,用于表示该页面是否已经调入内存。

若想访问的页面不在内存中,则产生缺页中断(内中断),然后将目标页面从外存调入内存

在这里插入图片描述

4. 基本分段存储管理

进程的地址空间:按照程序自身的逻辑关系划分为若千个段,每个段都有一个段名(在低级语言
中,程序员使用段名来编程),每段从0开始编址

内存分配规则:以段为单位进行分配,每个段在内存中占据连续空间,但各段之间可以不相邻

在这里插入图片描述

分段系统的逻辑地址结构由段号(段名) 和段内地址(段内偏移量)所组成。如:

  • 段号的位数决定了每个进程最多可以分几个段
  • 段内地址位数决定了每个段的最大长度是多少

在这里插入图片描述

在上述例子中,若系统是按字节寻址的,则

  • 段号占16位,因此在该系统中,每个进程最多有 2 16 2^{16} 216 = 64K 个段
  • 段内地址占16位,因此每个段的最大长度是 2 16 2^{16} 216 = 64KB

段表

问题:程序分多个段,各段离散地装入内存,为了保证程序能正常运行,就必须能从物理内存中
找到各个逻辑段的存放位置。为此,需为每个进程建立一张段映射表,简称“段表

在这里插入图片描述

1.每个段对应一个段表项,其中记录了该段在内存中的起始位置(又称
基址”)和段的长度
2.各个段表项的长度是相同的。例如: 某系统按字节寻址,采用分段存
储管理,逻辑地址结构为(段号16位,段内地址16位),因此用16位
即可表示最大段长。物理内存大小为4GB (可用32位表示整个物理内
存地址空间)。因此,可以让每个段表项占16+32 =48位,即6B。由
于段表项长度相同,因此段号可以是隐含的,不占存储空间。若段表
存放的起始地址为M,则K号段对应的段表项存放的地址为 M+K*6

物理地址 = 段基址+段内偏移d
"

在这里插入图片描述

分段对比分页

  • 信息的物理单位。分页的主要目的是为了实现离散分配,提高内存利用率。分页仅仅是系统管理上的需要,完全是系统行为,对用户是不可见的
  • 信息的逻辑单位。分段的主要目的是更好地满足用户需求。一个段通常包含着一组属于一个逻辑模块的信息。分段对用户是可见的,用户编程时需要显式地给出段名。
  • 页的大小固定且由系统决定。段的长度却不固定,决定于用户编写的程序。
  • 分页的用户进程地址空间是一维的,程序员只需给出一个记忆符即可表示一个地址。
  • 分段的用户进程地址空间是二维的,程序员在标识一个地址时,既要给出段名,也要给出段内地址。

在这里插入图片描述

分段比分页更容易实现信息的共享和保护
不能被修改的代码称为纯代码可重入代码 (不属于临界资源),这样的代码是可以共享的。可修
改的代码是不能共享的(比如,有一个代码段中有很多变量,各进程并发地同时访问可能造成数据

在这里插入图片描述

分段比分页更容易实现信息的共享和保护

如下:如下假设橙色部分是生产者、绿色部分是共享区域、而紫色部分是消费者的,那么显然只能让消费者进程访问1号的绿色段,而在分页中可以让消费者访问生产者橙色页,显然是不合理的。

在这里插入图片描述

如果采用分段则很方便,只需要标记该段是否能被其它线程访问,分段很好的实现对信息的保护

在这里插入图片描述

访问一个逻辑地址需要几次访存?

  • 分页(单级页表): 第一次访存–查内存中的页表,第二次访存–访问目标内存单元。总共两次
    访存
  • 分段:第一次访存–查内存中的段表,第二次访存-一访问目标内存单元。总共两次访存
    与分页系统类似,分段系统中也可以引入快表机构,将近期访问过的段表项放到快表中,这样可以少一次访问,加快地址变换速度。

5. 段页式管理

分页和分段的优缺点

优点缺点
分页管理内存空间利用率高,不会产生外部碎片,只会有少量的页内碎片不方便按照逻辑模块实现信息的共享和保护
分段管理很方便按照逻辑模块实现信息的共享和保护如果段长过大,为其分配很大的连续空间会很不方便。另外,段式管理会产生外部碎片

分段的外部碎片和动态分配类似

在这里插入图片描述

针对分页和分段存储的缺点,于是就提出了段页式存储。

段页式存储的概念

将进程按逻辑模块分段,再将各段分页(如每个页面4KB)
再将内存空间分为大小相同的内存块/页框/页懒/物理块
进程前将各页面分别装入各内存块中

在这里插入图片描述

段页式系统的逻辑地址结构由段号、页号、页内地址(页内偏移量) 组成。如:

在这里插入图片描述

  • 段号的位数决定了每个进程最多可以分几个段
  • 页号位数决定了每个段最大有多少页
  • 页内偏移量决定了页面大小、内存块大小是多少

在上述例子中,若系统是按字节寻址的,则
段号占16位,因此在该系统中,每个进程最多有 216 = 64K 个段
页号占4位,因此每个段最多有 24=16页
页内偏移量占12位,因此每个页面每个内存块大小为212 =4096 =4KB

分段”对用户是可见的,程序员编程时需要显式地给出段号、段内地址。而将各段“分
页”对用户是不可见的。系统会根据段内地址自动划分页号和页内偏移量因此段页式管理的地址结构是二维的

在这里插入图片描述

每个段对应一个段表项,每个段表项由段号、页表长度、页表存放块号(页表起始
地址) 组成。每个段表项长度相等,段号是隐含的

每个页面对应一个页表项,每个页表项由页号、页面存放的内存块号组成。每个页
表项长度相等,页号是隐含的。

逻辑地址转物理地址

在这里插入图片描述

也可引入快表机构,用段号和页号作为查询快表的关键字。若快表命中则仅需一次访存

6. 虚拟内存

传统存储管理方式的缺点

传统存储管理方案,比如说连续分配(单一连续分配、固定分区分配、动态分区分配)或者是非连续分配(分页、分段、段页式存储管理),会导致很多暂时用不到的数据也会长期占用内存导致内存利用率不高。

一次性:作业必须一次性全部装入内存后才能开始运行。这会造成两个问题:

  1. 作业很大时,不能全部装入内存,导致大作业无法运行2
  2. 当大量作业要求运行时,由于内存无法容纳所有作业,因此只有少量作业能运行,导致多道程序并发度下降。

驻留性:一旦作业被装入内存,就会一直驻留在内存中,直至作业运行结束。事实上,在一个时间段内,只需要访问作业的一小部分数据即可正常运行,这就导致了内存中会驻留大量的、暂时用不到的数据,浪费了宝贵的内存资源。

这些问题就可以使用虚拟存储技术来解决。

虚拟内存的定义和特征

基于局部性原理(空间局部性和时间局部性),在程序装入时,可以将程序中很快会用到的部分装入内存,暂时用不到的部分留在外存就可以让程序开始执行。

在程序执行过程中,当所访问的信息不在内存时,由操作系统负责将所需信息从外存调入内存,然后继续执行程序。
若内存空间不够,由操作系统负责将内存中暂时用不到的信息换出到外存

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

操作系统虚拟性的一个体现,实际的物理内存大小没有变,只是在逻辑上进行了扩充

虚拟内存有一下三个主要特征:

  • 多次性:无需在作业运行时一次性全部装入内存,而是允许被分成多次调入内存。
  • 对换性:在作业运行时无需一直常驻内存,而是允许在作业运行过程中,将作业换
    入、换出。
  • 虚拟性:从逻辑上扩充了内存的容量,使用户看到的内存容量,远大于实际的容量。

如何实现虚拟内存技术

虚拟内存技术,允许一个作业分多次调入内存。如果采用连续分配方式,会不方便实现。因此,
虚拟内存的实现需要建立在离散分配的内存管理方式基础上。

在传统的离散分配也就是非连续分配存储管理方式,基本分页存储管理、基本分页存储管理、基本段页式存储管理,在这些传统的非连续分配管理的基础之上实现了:

  • 请求分页式存储管理
  • 请求分段式存储管理
  • 请求段页式存储管理

和传统存储管理的主要区别:
在程序执行过程中,当所访问的信息不在内存时,由操作系统负责将所需信息从外
存调入内存
,然后继续执行程序。

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

也就是在传统的离散分配存储管理之上添加两个功能:

  • 请求调页(或请求调段)功能:在请求分页管理功能当前,如果我们所需要的页面在内存中不存在,那么操作系统就需要把这个页面从外存调入到内存中
  • 页面置换(或段置换)功能:当内存空间不够的时候,操作系统就使用这个置换功能把内存中暂时不使用的分页或者分段先换出外存

请求分页管理方式

页表机制

与基本分页管理相比,请求分页管理中,为了实现“请求调页”,操作系统需要知道每个页面是否已经调入内存: 如果还没调入,那么也需要知道该页面在外存中存放的位置。

当内存空间不够时,要实现“页面置换”操作系统需要通过某些指标来决定到底换出哪个页面:有的页面没有被修改过,就不用再浪费时间写回外存。有的页面修改过,就需要将外存中的旧数据覆盖,因此,操作系统也需婴记录各个页面是否被修改的信息。

于是在基本分页存储管理页表的基础之上新增了几个字段:

  • 状态位:表示是否已经调入内存
  • 访问字段:记录最近被访问了几次,或者记录上次访问的时间,让置换算法选择
  • 修改位:页面调入内存后是否被修改过
  • 外存地址:页面在外存中的存放位置

在这里插入图片描述

缺页中断

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

在这里插入图片描述

假设此时要访问逻辑地址 = (页号,页内偏移量) = (0,1024)

  1. 在请求分页系统中,每当要访问的页面不在内存时,便产生一个缺页中断,然
    后由操作系统的缺页中断处理程序处理中断
    此时缺页的进程阻塞,放入阻塞队列,因为此时从外存调入内存需要进行I/O,调页完成后再将其唤醒,放回就绪队列。
  2. 如果内存中有空闲块,则为进程分配一个空闲块,将所缺页面装入该块,并修
    改页表中相应的页表项。
  3. 如果内存中没有空闲块,则由页面置换算法选择一个页面淘汰,若该页面在内
    存期间被修改过,则要将其写回外存。未修改过的页面不用写回外存。

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

请求分页对比基本分页

请求分页存储管理与基本分页存储管理的主要区别:

  • 在程序执行过程中,当所访问的信息不在内存时,由操作系统负责将所需信息从外存调入内存,然后继续执行操作。(请求调页功能
  • 若内存空间不够,由操作系统负责将内存中暂时用不到的信息换出到外存页面置换功能):

请求分页对比基本分页新增了3个步骤

  • 新增步骤1:请求调页(查到页表项时进行判断 )
  • 新增步骤2: 页面置换(需要调入页面,但没有空闲内存块时进行 )
  • 新增步骤3: 需要修改请求页表中新增的表项

在这里插入图片描述

  • 找到对应页表项后,若对应页面未调入内存则产生缺页中断,之后由操作系统的缺页中断处理程序进行处理
  • 快表中有的页面一定是在内存中的。若某个页面被换出外存,则快表中的相应表项也要删除,否则可能访问错误的页面
缺页中断注意事项
  1. 只有“写指令”才需要修改“修改位”。并且,一般来说只需修改快表中的数据,只有要将快表项删除时才需要写回内存中的慢表。这样可以减少访存次数
  2. 和普通的中断处理一样,缺页中断处理依然需要保留CPU现场
  3. 需要用某种“页面置换算法”来决定一个换出页面
  4. 换入/换出页面都需要启动慢速的I/O操作,可见,如果换入换出太频繁,会有很大的开销。
  5. 页面调入内存后,需要修改慢表,同时也需要将表项复制到快表中。在具有快表机构的请求分页系统中,访问一个逻辑地址时,若发生缺页,则地址变换步骤是:
    • 查快表(未命中)
    • 查慢表(发现未调入内存)
    • 调页(调入的页面对应的表项会直接加入快表)
    • 查快表(命中)
    • 访问目标内存单元

页面置换算法

若内存空间不够,由操作系统负责将内存中暂时用不到的信息换出到外存。用页面置换算法决定应该换出哪个页面。

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

最佳置换算法OPT

最佳置换算法(OPT,Optimal):每次选择淘汰的页面将是以后永不使用,或者在最长时间内不再被访问的页面,这样可以保证最低的缺页率。
例:假设系统为某进程分配了三个内存块,并考虑到有一下页面号引用串(会依次访问这些页面):
7 , 0 , 1 , 2 , 0 , 3 , 0 , 4 , 2 , 3 , 0 , 3 , 2 , 1 , 2 , 0 , 1 , 7 , 0 , 1 7,0,1,2,0,3,0,4,2,3,0,3,2,1,2,0,1,7,0,1 7,0,1,2,0,3,0,4,2,3,0,3,2,1,2,0,1,7,0,1

如下图,当要访问页面2时,此时内存块已经被全部占用,就需要使用置换算法找到最长时间不被使用或者以后用不使用的页面,此时内存中存在 0 , 1 , 7 0,1,7 0,1,7页面,如图7号页面就是最长时间不被使用的页面,把内存块1中的7号页面置换为2即可。选择从 $0,1,7 $中淘汰一
页。按最佳置换的规则往后寻找,最后一个出现的页号就是要淘汰的页面

在这里插入图片描述

接着要访问0号页面,已经在内存中就无需置换,接着访问3号页面,此时发现3号页面也不在内存当中,同理使用最佳置换算法,从 0 , 1 , 2 0,1,2 0,1,2中选取出最长时间不被使用的页面,也就是1号页面,把内存块3中的1号页面替换为3号页面。

在这里插入图片描述

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

缺页率=缺页次数/访问页面次数

缺页率=9/20=45%

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

先进先出置换算法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 3,2,1,0,3,2,4,3,2,1,0,4

类似一个队列,只要内存块全部被占用就淘汰掉队首的页面

在这里插入图片描述

分配三个内存缺页次块时,数:9次

假设为系统分配的是4个内存块,会得到下表

在这里插入图片描述

分配四个内存块时,缺页次数: 10次
分配三个内存块时缺页次数: 9次

Belady 异常:当为进程分配的物理块数增大时,缺页次数不减反增的异常现象

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

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

最近最久未使用置换算法(LRU,least recently used):每次淘汰的页面最近最久未使用的页面
实现方法: 赋予每个页面对应的页表项中,用访问字段记录该页面自上次被访问以来所经历的时间t。当需要淘汰一个页面时,选择现有页面中t值最大的,即最近最久未使用的页面。

在这里插入图片描述

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

在这里插入图片描述

在手动做题时,若需要淘汰页面,可以逆向检查此时在内存中的几个页面号。在逆向扫描过程中最后个出现的页号就是要淘汰的页面

该算法的实现需要专门的硬件支持,虽然算法性能好,但是实现困难,开销大

时钟置换算法CLOCK

最佳置换算法性能最好,但无法实现:先进先出置换算法实现简单,但算法性能差:最近最久未使用
置换算法性能好,是最接近OPT算法性能的,但是实现起来需要专门的硬件支持,算法开销大。

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

简单的时钟置换算法

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

在这里插入图片描述

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

从循环队列队首开始扫描

在这里插入图片描述

第一轮扫描过后所有页面的访问位都变成了0,将第一个访问位为0的也就是1号页面替换成6号页面同时将6号页面的访问位设置为1

在这里插入图片描述

每次访问都会让页面的访问位变成1,如果缺页就会置换掉第一个为0的页面,在找第一个访问位为0的过程中,遍历过的页面的访问位也会变成0

改进型的时钟置换算法

简单的时钟置换算法仅考虑到一个页面最近是否被访问过。事实上,如果被淘汰的页面没有被修改过.就不需要执行VO操作写回外存。只有被淘汰的页面被修改过时,才需要写回外存
因此,除了考虑一个页面最近有没有被访问过之外,操作系统还应考虑页面有没有被修改过。在其他条件都相同时,应优先淘汰没有修改过的页面,避免I/O操作。这就是改进型的时钟置换算法的思想。

修改位= 0 0 0,表示页面没有被修改过:修改位 = 1 =1 =1,表示页面被修改过。

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

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

  • 第一轮:从当前位置开始扫描到第一个 ( 0 , 0 ) (0,0) (0,0)的用于替换。本轮扫描
    不修改任何标志位
  • 第二轮: 若第一轮扫描失败,则重新扫描查找第一个 ( 0 , 1 ) (0,1) (0,1)的用于
    替换。本轮将所有扫描过的帧访问位设为 0 0 0
  • 第三轮: 若第二轮扫描失败,则重新扫描,查找第一个 ( 0 , 0 ) (0,0) (0,0)的用于替换。本轮扫描不修改任何标志位
  • 第四轮: 若第三轮扫描失败,则重新扫描,查找第一个 ( 0 , 1 ) (0,1) (0,1) 的用于替换。

由于第二轮已将所有帧的访问位设为 0 0 0,因此经过第三轮、第四轮扫描
定会有一个帧被选中,因此改进型CLOCK置换算法选择一个淘汰页面最多会进行四轮扫描

在这里插入图片描述

所以改进型时钟置换算法淘汰的优先级如下:

  • 第一优先级:最近没访问且没修改的页面
  • 第二优先级: 最近没访问,但修改过的页面
  • 第三优先级:最近访问过但没修改的页面
  • 第四优先级:、最近访问过,且修改过的页面

所以该算法开销较小,性能也不错。

7. 页面分配策略

页面分配和置换策略

驻留集:指请求分页存储管理中给进程分配的**物理块(内存块)**的集合

在采用了虚拟存储技术的系统中,驻留集大小一般小于进程的总大小

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

若驻留集太小,会导致缺页频繁,系统要花大量的时间来处理缺页,实际用于进程推进的时间很少;

驻留集太大,又会导致多道程序并发度下降,资源利用率降低。所以应该选择一个合适的驻留集大小。

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

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

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

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

在这里插入图片描述

  • 固定分配局部置换:系统为每个进程分配一定数量的物理块,在整个运行期间都不改变。若进程在运行中发生缺页,则只能从该进程在内存中的页面中选出一页换出,然后再调入需要的页面。这种策略的缺点是:很难在刚开始就确定应为每个进程分配多少个物理块才算合理。 (采用这种策略的系统可以根据进程大小、优先级、或是根据程序员给出的参数来确定为一个进程分配的内存块数)
  • 可变分配全局置换:刚开始会为每个进程分配一定数量的物理块。操作系统会保持一个空闲物理块队列。当某进程发生缺页时,从空闲物理块中取出一块分配给该进程: 若已无空闲物理块,则可选择一个未锁定的页面换出外存,再将该物理块分配给缺页的进程。采用这种策略时,只要某进程发生缺页都将获得新的物理块,仅当空闲物理块用完时,系统才选择一个未锁定的页面谓出。被选择调出的页可能是系统中任何一个进程中的页,因此这个被选中的进程拥有的物理块会减少,缺页率会增加。
    • 系统会锁定一些页面,这些页面中的内容不能置换出外存(如: 重要的内核数据可以设为“锁定”)
  • 可变分配局部置换:刚开始会为每个进程分配一定数量的物理块。当某进程发生缺页时,只允许从该进程自己的物理块中选出一个进行换出外存。如果进程在运行中频紧地缺页,系统会为该进程多分配几个物理块,直至该进程缺页率趋势适当程度:反之,如果进程在运行中缺页率特别低,则可适当减少分配给该进程的物理块。

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

何时调入页面
  1. 预调页策略:根据局部性原理,一次调入若干个相邻的页面可能比一次调入一个页面更高效。但如果提前调入的页面中大多数都没被访问过,则又是低效的。因此可以预测不久之后可能访问到的页面,将它们预先调入内存,但目前预测成功率只有50%左右。故这种策略主要用于进程的首次调入,由程序员指出应该先调入哪些部分。(主要指空间高部性,即:如果当前访问了某个内存单元,在之后很有可能会接着访问与其相邻的那些内存单元)
  2. 请求调页策略:进程在运行期间发现缺页时才将所缺页面调入内存。由这种策略调入的页面一定会被访问到,但由于每次只能调入一页,而每次调页都要碰盘O操作,因此I/0开销较大。

预调页策略是在进程运行前调入的

请求调页策略是在进程运行时调入的

从何调入页面?

在这里插入图片描述

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

在这里插入图片描述

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

    在这里插入图片描述

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

    在这里插入图片描述

内存抖动(颠簸)现象

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

为进程分配的物理缺太少,会使进程发生抖动现象。为进程分配的物
理块太多,又会降低系统整体的并发度,降低某些资源的利用率

为了研究为应该为每个进程分配多少个物理块,Denning 提出了进程“工作集”的概念

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

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

假设此时访问的是23号页面,并且窗口大小为4,它就会往前寻找之前访问过的3个页号

那么此时的工作集就是{ 24 , 15 , 18 , 23 24,15,18,23 24,15,18,23}

在这里插入图片描述

工作集大小可能小于窗口尺寸,实际应用中,操作系统可以统计进程的工作集大小,根据工作集大小给进程分配若干内存块。如:窗口尺寸为5,经过一段时间的监测发现某进程的工作集最大为3,那么说明该进程有很好的局部性,可以给这个进程分配3个以上的内存块即可满足进程的运行需要。

一般来说,驻留集大小不能小于工作集大少,否则进程运行过程中将频繁缺页

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


  • 14
    点赞
  • 13
    收藏
    觉得还不错? 一键收藏
  • 打赏
    打赏
  • 0
    评论
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包

打赏作者

爱敲代码的三毛

你的鼓励将是我创作的最大动力

¥1 ¥2 ¥4 ¥6 ¥10 ¥20
扫码支付:¥1
获取中
扫码支付

您的余额不足,请更换扫码支付或充值

打赏作者

实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

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

余额充值