(学习笔记-调度算法)内存页面置换算法

news/2024/11/2 4:32:13/

在了解内存页面置换算法前,我们得先了解 缺页异常(缺页中断)

当 CPU 访问的页面不在物理内存中时,便会产生一个缺页中断,请求操作系统将缺页调入到物理内存。那它与一般的中断主要区别在于:

  • 缺页中断在指令执行 [期间] 产生和处理中断信号,而一般中断在一条指令执行 [完成后] 检查和处理中断信号。
  • 缺页中断返回到 [该指令] 的开始重新执行该指令,而一般中断返回回到该指令的 [下一个指令] 执行

完整的缺页中断处理流程,如下图:

  1. 在 CPU 里访问一条 Load M 指令,然后 CPU 会去找 M 所对应的页表项
  2. 如果该页表项的状态位是 [有效的] ,那 CPU 就可以直接去访问物理内存了,如果状态位是 [无效的] ,那 CPU 则会发送缺页中断请求
  3. 操作系统收到了缺页中断,则会执行缺页中断处理函数,先会查找该页面在磁盘中的页面的位置
  4. 找到磁盘中对应的页面后,需要把该页面换入到物理内存中,但是在换入前,需要在物理内存中找空闲页,就把页面换入到物理内存中
  5. 页面从磁盘换入到物理内存完成后,则把页面表项中的状态位修改为 [有效的]
  6. 最后 CPU 重新执行导致缺页异常的指令。

上面说的过程,第四步是能在物理内存找到空闲页的情况下。如果找不到空闲页的话:

如果找不到空闲页,就说明此时内存已经满了,这时候,就需要 [页面置换算法] 选择一个物理页,如果该物理页有被修改过(脏页),则把它换出到磁盘,然后把该被置换出去的页表项的状态改成 [无效的] ,最后把正在访问的页面装入到这个物理页中。

页表项通常有以下字段:

 其中:

  • 状态位:用于表示该页是否有效,也就是说是否在物理内存中,供程序访问时参考
  • 访问字段:用于记录该页在一段时间被访问的次数,供页面置换算法选择出页面时参考
  • 修改位:表示该页在调入内存后是否有被修改过,由于内存中的每一页都在磁盘上保留一份副本,因此如果没有被修改,在置换该页时就不需要将该页写回到磁盘上,以减少系统的开销;如果已经被修改,则将该页重写到磁盘上,以保证此案中所保留的始终是最新的副本
  • 硬盘地址:用于指出该页在硬盘上的地址,通常是物理块号,供调入该页时使用

虚拟内存的管理整个流程:

 所以,页面置换算法的功能是,当出现缺页异常,需调入新页面而内存已满时,选择被置换的物理页面,也就是说选择一个物理页面换出到磁盘,然后把需要访问的页面换入到物理页。

那其算法目标则是,尽可能减少页面的换入换出的次数,常见的页面置换算法有如下几种:

  • 最佳页面置换算法(OPT
  • 先进先出置换算法(FIFO
  • 最近最久未使用的置换算法(LRU
  • 时钟页面置换算法(Lock
  • 最不常用置换算法(LFU

最佳页面置换算法

最佳页面置换算法的基本思路是,置换在 [未来] 最长时间内不访问的页面

所以,该算法实现需要计算内存中每个逻辑页面的 [下一次] 访问时间,然后比较,选择未来最长时间不访问的页面。

我们举个例子,假设一开始有 3 个空闲的物理页,然后有请求的页面序列,那它置换的过程如下图:

在这个请求的页面序列中,缺页共发生了 7 次(空闲页换入 3 次 + 最优页面置换 4 次),页面置换共发生了 4 次。

这很理想,但是实际系统中无法实现,因为程序访问页面时是动态的,我们是无法预知每个页面在 [下一次] 访问前的等待时间。

所以,最佳页面置换算法作用是为了衡量你的算法的效率,你的算法效率越接近该算法的效率,那么说明你的算法是高效的。


先进先出置换算法

既然我们无法预知页面在下一次访问前所需的等待时间,那我们可以选择在内存驻留时间最长的页面中进行置换,这个就是 [先进先出置换] 算法的思想。

还是以前面的请求的页面序列作为例子,假设使用先进先出置换算法,则过程如下:

 在这个请求的页面序列中,缺页共发生了 10 次,页面置换共发生了 7 次,根最佳页面置换比较起来,性能明显差了很多。


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

最近最久未使用(LRU)的置换算法基本思路是,发生缺页时,选择最长时间没有被访问的页面进行置换,也就是说,该算法假设已经很久没有使用的页面很有可能在未来较长的一段时间内仍然不会被使用。

这种算法近似最优置换算法,最优置换算法是通过 [未来] 的使用情况来推测要淘汰的页面,而 LRU 则是通过 [历史] 的使用情况来推测要淘汰的页面。

还是以前的请求的页面序列作为例子,假设使用最近最久未使用的置换算法,则过程如下图:

 在这个请求的页面序列中,缺页共发生了 9  次,页面置换共发生了 6 次,跟先进先出置换算法比较起来,性能提高了一些。

虽然 LRU 在理论上是可以实现的,但代价很高。为了完全实现 LRU 需要在内存中维护一个所有页面的链表,最近最多使用的页面在表头,最近最少使用的页面在表尾。

困难的是,在每次访问内存的时候都必须要更新 [整个链表]。在链表中找到一个页面,删除它,然后把它移动到表头是一个非常耗时的操作

所以 ,LRU 虽然看上去不错,但是由于开销比较大,实际应用中比较少使用。


时钟页面置换算法

时钟页面置换算法即能优化置换的次数,又能方便地实现。它跟 LRU 近似,又是对 FIFO 的一种改进。

该算法的思路是,把所有的页面都保存在一个类似时钟面的 [环形链表] 中,一个表针指向最老的页面。

当缺页中断时,算法首先检查表针指向的页面:

  • 如果它的访问位是 0 就淘汰该页面,并把新的页面插入这个位置,然后把表针前移一个位置
  • 如果它访问的是 1 就清除访问位,并把表针前移一个位置,重复这个过程直到找到一个访问位为 0 的页面为止。

 了解了这个算法的工作方式,就明白为什么它被称为时钟(Clock)算法了


最不常用算法

最不常用(LFU)算法,它的意思不是指这个算法不常用,而是当发生缺页中断时,选择 [访问次数] 最少的那个页面,并将其淘汰

实现方式:对每个页面设置一个 [访问计数器] , 每当一个页面被访问时,该页面的访问计数器就累加 1 。发生缺页中断时,淘汰计数器值最小的那个页面。

看起来很简单,每个页面加一个计数器就可以实现了,但是在操作系统中实现的时候,我们需要考虑效率和硬件成本的。

要增加一个计数器来实现,这个硬件成本是比较高的,另外如果要对这个计数器查找哪个页面访问次数最小,查找链表本身,如果链表长度很大,是非常耗时的,效率不高。

还有个问题,LFU 算法只考虑了频率问题,没考虑时间的问题,比如有些页面在过去时间里访问的频率很高,但是现在已经没有访问了,而当前频繁访问的页面由于没有这些页面访问的次数高,在发生缺页中断时,就会可能会误伤当前刚开始频繁访问,但访问次数还不高的页面。

那这个问题的解决的办法还是有的,可以定期减少访问的次数,比如当发生时间中断时,把过去时间访问的页面的访问次数除以 2,也就说,随着时间的流失,以前的高访问次数的页面会慢慢减少,相当于加大了被置换的概率。


http://www.ppmy.cn/news/1057787.html

相关文章

推荐一款免费好用的远程桌面:Getscreen

因为平时有多台设备要用,所以远程桌面是我经常要使用的工具。 最近,正好看到一款不错的远程桌面软件,马上拿出来推荐给大家,如果有需要的可以看看。 今天要推荐的远程桌面软件就是这款叫Getscreen的软件,推荐理由挺简…

wsl2 安装cuda

1 设置为清华源 首先登录wsl 直接命令 wsl 就行 sudo cp /etc/apt/sources.list /etc/apt/sources.list.bak sudo sed -i s/archive.ubuntu.com/mirrors.tuna.tsinghua.edu.cn/g /etc/apt/sources.list sudo sed -i s/security.ubuntu.com/mirrors.tuna.tsinghua.edu.cn/g /e…

MMEdu库的下载和安装(Python版)

为保证程序的顺利运行,这里提供MMEdu库的下载安装包。 OpenXLabEdu开源资源:OpenXLabEdu帮助文档 — OpenXLabEdu 文档 现MMEdu一键安装包已升级为XEdu一键安装包,下文提到的MMEdu文件,应理解为XEdu一键安装包。 第一步&#x…

Cookie 和 Session 的工作流程

目录 一、Cookie是什么? 二、Session是什么? 三、Cookie的工作流程 四、Session的工作流程 五、Session和Cookie的区别和联系 一、Cookie是什么? Cookie是一种在网站和用户之间交换信息的机制。它是由Web服务器发送给用户浏览器的小型文本文件&#xff…

合肥先进光源高速数据采集网的规划

合肥先进光源束测后台的初步设计,这里的网络相关的部分摘出来换个名字重新整理一下: 合肥光源中,没有把数据量大的设备比如摄像头、示波器规划进单独的网络,所有的设备都直接接入控制网,运行实践的过程中,有…

C语言易忘、易混

C语言易忘 1 printf函数和putchar函数2 scanf函数与getchar函数3 goto语句4 字符数组与字符串区别5 字符串的输入输出5.1 gets()5.2 fgets()5.3 puts()5.4 fputs() 6 main函数与exit函数7 防止头文件重复包含8 字符串处理函数8.1 strcpy()8.2 strncpy()8.3 strcat()8.4 strncat…

LLM Benchmarks - 评估方法套件

LLM Benchmarks - 评估方法套件 常用 LLM 基准: ARC 是一套小学问题。HellaSwag 是对常识的测试。MMLU 是一种多任务指标,涵盖初等数学、美国历史、计算机科学、法律等内容。TruthfulQA 衡量一个模型复制网上常见虚假信息的倾向。

Android获取手机已安装应用列表JAVA实现

最终效果: 设计 实现java代码: //获取包列表private List<String> getPkgList() {List<String> packages new ArrayList<String>();try {//使用命令行方式获取包列表Process p Runtime.getRuntime().exec("pm list packages");//取得命令行输出…