1、页面置换算法2008-03-01 22:30评价一个算法的优劣,可通过在一个特定的存储访问序列（页面走向）上运行它，并计算缺页数量来实现。1 先入先出法（FIFO）最简单的页面置换算法是先入先出（FIFO）法。这种算法的实质是，总是选择在主存中停留时间最长（即最老）的一页置换，即先进入内存的页，先退出内存。理由是：最早调入内存的页，其不再被使用的可能性比刚调入内存的可能性大。建立一个 FIFO 队列，收容所有在内存中的页。被置换页面总是在队列头上进行。当一个页面被放入内存时，就把它插在队尾上。这种算法只是在按线性顺序访问地址空间时才是理想的，否则效率不高。因为那些常被访问的页，往往在主存中也停
2、留得最久，结果它们因变“老”而不得不被置换出去。FIFO 的另一个缺点是，它有一种异常现象，即在增加存储块的情况下，反而使缺页中断率增加了。当然，导致这种异常现象的页面走向实际上是很少见的。2 最优置换算法（OPT）最优置换（Optimal Replacement）是在理论上提出的一种算法。其实质是：当调入新的一页而必须预先置换某个老页时，所选择的老页应是将来不再被使用，或者是在最远的将来才被访问。采用这种页面置换算法，保证有最少的缺页率。但是最优页面置换算法的实现是困难的，因为它需要人们预先就知道一个进程整个运行过程中页面走向的全部情况。不过，这个算法可用来衡量（如通过模拟实验分析或理论分析
3、）其他算法的优劣。3 最久未使用算法（LRU）FIFO 算法和 OPT 算法之间的主要差别是，FIFO 算法利用页面进入内存后的时间长短作为置换依据，而 OPT 算法的依据是将来使用页面的时间。如果以最近的过去作为不久将来的近似，那么就可以把过去最长一段时间里不曾被使用的页面置换掉。它的实质是，当需要置换一页时，选择在最近一段时间里最久没有使用过的页面予以置换。这种算法就称为最久未使用算法（Least Recently Used，LRU）。LRU 算法是与每个页面最后使用的时间有关的。当必须置换一个页面时，LRU 算法选择过去一段时间里最久未被使用的页面。LRU 算法是经常采用的页面置换算法，
4、并被认为是相当好的，但是存在如何实现它的问题。LRU 算法需要实际硬件的支持。其问题是怎么确定最后使用时间的顺序，对此有两种可行的办法：（1）计数器。最简单的情况是使每个页表项对应一个使用时间字段，并给 CPU增加一个逻辑时钟或计数器。每次存储访问，该时钟都加 1。每当访问一个页面时，时钟寄存器的内容就被复制到相应页表项的使用时间字段中。这样我们就可以始终保留着每个页面最后访问的“时间”。在置换页面时，选择该时间值最小的页面。这样做，不仅要查页表，而且当页表改变时（因 CPU 调度）要维护这个页表中的时间，还要考虑到时钟值溢出的问题。（2）栈。用一个栈保留页号。每当访问一个页面时，就把它从栈中
5、取出放在栈顶上。这样一来，栈顶总是放有目前使用最多的页，而栈底放着目前最少使用的页。由于要从栈的中间移走一项，所以要用具有头尾指针的双向链连起来。在最坏的情况下，移走一页并把它放在栈顶上需要改动 6 个指针。每次修改都要有开销，但需要置换哪个页面却可直接得到，用不着查找，因为尾指针指向栈底，其中有被置换页。因实现 LRU 算法必须有大量硬件支持，还需要一定的软件开销。所以实际实现的都是一种简单有效的 LRU 近似算法。一种 LRU 近似算法是最近未使用算法（Not Recently Used，NUR）。它在存储分块表的每一表项中增加一个引用位，操作系统定期地将它们置为 0。当某一页被访问时，由
6、硬件将该位置 1。过一段时间后，通过检查这些位可以确定哪些页使用过，哪些页自上次置 0 后还未使用过。就可把该位是 0 的页淘汰出去，因为在最近一段时间里它未被访问过。4 第二次机会算法（SCR）第二次机会算法的基本思想是与 FIFO 相同的，但是有所改进，避免把经常使用的页面置换出去。当选择置换页面时，检查它的访问位。如果是 0，就淘汰这页；如果访问位是 1，就给它第二次机会，并选择下一个 FIFO 页面。当一个页面得到第二次机会时，它的访问位就清为 0，它的到达时间就置为当前时间。如果该页在此期间被访问过，则访问位置 1。这样给了第二次机会的页面将不被淘汰，直至所有其他页面被淘汰过（或者也给了第二次机会）。因此，如果一个页面经常使用，它的访问位总保持为 1，它就从来不会被淘汰出去。第二次机会算法可视为一个环形队列。用一个指针指示哪一页是下面要淘汰的。当需要一个存储块时，指针就前进，直至找到访问位是 0 的页。随着指针的前进，把访问位就清为 0。在最坏的情况下，所有的访问位都是 1，指针要通过整个队列一周，每个页都给第二次机会。这时就退化成 FIFO 算法了。页面置换算法还有很多变种，如考虑到被置换页是否修改过、按 FIFO 算法选中的页正在使用等情况，都需要硬件、软件协同实现。
