操作系统原理——第六章:页面置换算法

发布时间:2023-04-28 18:00

文章目录

  • 1. 功能与目标
  • 2. 实验设置与评价方法
  • 3. 局部页面置换算法
    • 3.1 最优页面置换算法(OPT,optimal)
    • 3.2 先进先出算法(FIFO)
    • 3.3 最近最久未使用算法(LRU,Least Recently Used)
    • 3.4 时钟页面置换算法(Clock)
    • 3.5 最不常用算法(LFU,Least Frequently Used)
    • 3.6 Belady现象
    • 3.7 LRU、FIFO和Clock算法
  • 4. 全局页面置换算法
    • 4.1 局部置换算法的问题
    • 4.2 工作集模型
    • 4.3 工作集页置换算法
    • 4.4 缺页率置换算法
    • 4.5 抖动问题

1. 功能与目标

功能:当出现缺页异常,需调入新页面而内存已满时,置换算法选择被置换的物理页面

目标:尽可能减少页面的调入调出次数(即缺页中断次数),把未来不再访问或短期内不访问的页面调出

页面锁定(frame locking):

  1. 描述必须常驻内存的逻辑页面
  2. 操作系统的关键部分
  3. 要求响应速度的代码和数据
  4. 页表中的锁定标志位(lock bit)

2. 实验设置与评价方法

模拟页面置换行为,记录产生缺页的次数
更少的缺页, 更好的性能

3. 局部页面置换算法

3.1 最优页面置换算法(OPT,optimal)

  • 基本思路 : 当一个缺页中断发生时, 对于保存在内存当中的每一个逻辑页面, 计算在它的下一次访问之前, 还需等待多长时间, 从中选择等待时间最长的那个, 作为被置换的页面.

  • 这是一种理想情况, 在实际系统中是无法实现的, 因为操作系统无法知道每一个页面要等待多长时间以后才会再次被访问.

  • 可用作其他算法的性能评价的依据.(在一个模拟器上运行某个程序, 并记录每一次的页面访问情况, 在第二遍运行时即可使用最优算法)

  • \"操作系统原理——第六章:页面置换算法_第1张图片\"

3.2 先进先出算法(FIFO)

  • 基本思路 : 选择在内存中驻留时间最长的页面淘汰. 具体来说, 系统维护着一个链表, 记录了所有位于内存当中的逻辑页面. 从链表的排列顺序来看, 链首页面的驻留时间最长, 链尾页面的驻留时间最短. 当发生一个缺页中断时, 把链首页面淘汰出去, 并把新的页面添加到链表的末尾.

  • 性能较差, 调出的页面有可能是经常要访问的页面. 并且有 belady现象. FIFO算法很少单独使用.

  • \"操作系统原理——第六章:页面置换算法_第2张图片\"

3.3 最近最久未使用算法(LRU,Least Recently Used)

  • LRU(Least Recently Used),通过局部性原理反推,以历史推测未来

  • 基本思路 : 当一个缺页中断发生时, 选择最久未使用的那个页面, 并淘汰.

  • 它是对最优页面置换算法的一个近似, 其依据是程序的局部性原理, 即在最近一小段时间(最近几条指令)内, 如果某些页面被频繁地访问, 那么再将来的一小段时间内, 他们还可能会再一次被频繁地访问. 反过来说, 如果过去某些页面长时间未被访问, 那么在将来它们还可能会长时间地得不到访问.

  • LRU算法需要记录各个页面使用时间的先后顺序, 开销比较大.

  • 两种可能的实现方法是 :
    ① 系统维护一个页面链表, 最近刚刚使用过的页面作为首节点, 最久未使用的作为尾结点. 再一次访问内存时, 找出相应的页面, 把它从链表中摘下来, 再移动到链表首. 每次缺页中断发生时, 淘汰链表末尾的页面.
    ② 设置一个活动页面栈, 当访问某页时, 将此页号压入栈顶, 然后, 考察栈内是否有与此页面相同的页号, 若有则抽出. 当需要淘汰一个页面时, 总是选择栈底的页面, 它就是最久未使用的.
    \"操作系统原理——第六章:页面置换算法_第3张图片\"

3.4 时钟页面置换算法(Clock)

  • LRU近似,FIFO改进

  • 基本思路 :
    ① 需要用到页表项的访问位, 当一个页面被装入内存时, 把该位初始化为0. 然后如果这个页面被访问, 则把该位置设为1;
    ② 把各个页面组织成环形链表(类似钟表面), 把指针指向最老的页面(最先进来);
    ③ 当发生一个缺页中断时, 考察指针所指向的最老页面, 若它的访问位为0, 立即淘汰; 若访问位为0, 然后指针往下移动一格. 如此下去, 直到找到被淘汰的页面, 然后把指针移动到下一格.

  • 流程 :
    ① 如果访问页在物理内存中, 访问位置1.
    ② 如果不在物理页, 从指针当前指向的物理页开始, 如果访问位0, 替换当前页, 指针指向下一个物理页; 如果访问位为1, 置零以后访问下一个物理页再进行判断. 如果所有物理页的访问位都被清零了, 又回到了第一次指针所指向的物理页进行替换.
    \"操作系统原理——第六章:页面置换算法_第4张图片\"
    因为考虑到时钟页面置换算法, 有时候会把一些 dirty bit 为1(有过写操作)的页面进行置换, 这样的话, 代价会比较大. 因此, 可以结合访问位和脏位一起来决定应该置换哪一页.

相当于说, 替换的优先级, 没有读写也没写过, 那么直接走, 如果写过或者访问过, 那么给你一次机会, 如果又写过, 又访问过, 那么久给你两次机会.
\"操作系统原理——第六章:页面置换算法_第5张图片\"

3.5 最不常用算法(LFU,Least Frequently Used)

  • 基本思路 : 当一个缺页中断发生时, 选择访问次数最少的那个页面, 并淘汰.

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

  • LRU和LFU的对比 : LRU考察的是多久未访问, 时间越短越好. 而LFU考察的是访问的次数和频度, 访问次数越多越好

  • \"操作系统原理——第六章:页面置换算法_第6张图片\"

3.6 Belady现象

在采用FIFO算法时, 有时会出现分配的物理页面数增加, 缺页率反而提高的异常现象;

出现原因 : FIFO算法的置换特征与进程访问内存的动态特征是矛盾的, 与置换算法的目标是不一致的(即替换较少使用的页面), 因此, 被他置换出去的页面不一定是进程不会访问的.
\"操作系统原理——第六章:页面置换算法_第7张图片\"
\"操作系统原理——第六章:页面置换算法_第8张图片\"

3.7 LRU、FIFO和Clock算法

\"操作系统原理——第六章:页面置换算法_第9张图片\"
\"操作系统原理——第六章:页面置换算法_第10张图片\"

4. 全局页面置换算法

4.1 局部置换算法的问题

程序运行的过程中,需要物理页帧的数量不是固定的

4.2 工作集模型

工作集 : 一个进程当前正在使用的逻辑页面集合.
可以使用一个二元函数 W(t, delta) 来表示 :
t 是当前的执行时刻;
delta 称为工作集窗口, 即一个定长的页面访问的时间窗口;
W(t, delta) = 在当前时刻 t 之前的 delta 时间窗口当中的所有页面所组成的集合(随着 t 的变化, 该集合也在不断的变化)
|W(t, delta)| 是工作集的大小, 即逻辑页的数量.
工作集大小的变化 : 进程开始执行后, 随着访问新页面逐步建立较稳定的工作集. 当内存访问的局部性区域的位置大致稳定时, 工作集大小也大致稳定; 局部性区域的位置改变时, 工作集快速扩张和收缩过渡到下一个稳定值.
\"操作系统原理——第六章:页面置换算法_第11张图片\"
\"操作系统原理——第六章:页面置换算法_第12张图片\"

常驻集是指在当前时刻, 进程实际驻留在内存当中的页面集合.

  • 工作集是进程在运行过程中固有的性质, 而常驻集取决于系统分配给进程的物理页面数目, 以及所采用的页面置换算法;
  • 如果一个进程的整个工作集都在内存当中, 即常驻集 包含 工作集, 那么进程将很顺利地运行, 而不会造成太多的缺页中断(直到工作集发生剧烈变动, 从而过渡到另一个状态);
  • 当进程常驻集的大小达到某个数目之后, 再给它分配更多的物理页面, 缺页率也不会明显下降.

4.3 工作集页置换算法

当工作集窗口在滑动过程中, 如果页面不在集合中, 那么就会直接丢失这个不在窗口中页面, 而不会等待缺页中断再丢弃.
\"操作系统原理——第六章:页面置换算法_第13张图片\"

4.4 缺页率置换算法

可变分配策略 : 常驻集大小可变. 例如 : 每个进程在刚开始运行的时候, 先根据程序大小给它分配一定数目的物理页面, 然后在进程运行过程中, 再动态地调整常驻集的大小.

  • 可采用全局页面置换的方式, 当发生一个缺页中断时, 被置换的页面可以是在其他进程当中, 各个并发进程竞争地使用物理页面.
  • 优缺点 : 性能较好, 但增加了系统开销.
  • 具体实现 : 可以使用缺页率算法来动态调整常驻集的大小.

缺页率 : 表示 “缺页次数 / 内存访问次数”

影响因素 : 页面置换算法, 分配给进程的物理页面数目, 页面本身的大小, 程序的编写方法.
\"操作系统原理——第六章:页面置换算法_第14张图片\"

  1. 对页的调整时机不一样
  2. 都是动态调整内存中页的数量

4.5 抖动问题

  • 如果分配给一个进程的物理页面太少, 不能包含整个的工作集, 即常驻集 属于 工作集, 那么进程将会造成很多的缺页中断, 需要频繁的在内存与外存之间替换页面, 从而使进程的运行速度变得很慢, 我们把这种状态称为 “抖动”.
  • 产生抖动的原因 : 随着驻留内存的进程数目增加, 分配给每个进程的物理页面数不断就减小, 缺页率不断上升. 所以OS要选择一个适当的进程数目和进程需要的帧数, 以便在并发水平和缺页率之间达到一个平衡.
    -\"操作系统原理——第六章:页面置换算法_第15张图片\"

ItVuer - 免责声明 - 关于我们 - 联系我们

本网站信息来源于互联网,如有侵权请联系:561261067@qq.com

桂ICP备16001015号