局部最佳页面替换算法.docVIP

局部最佳页面替换算法 局部最佳页面替换算法 1976年由Prieve提出一种局部最佳页面替换算法，它与全局最佳替换算法类似，需事先知道程序的页面引用串，再根据进程行为改变页面数量。现在介绍此算法的思想，进程在时刻t访问某页面，如果该页面不在内存中，导致一次缺页，把该页面装入一个空闲页框。不论发生缺页与否，算法在每一步要考虑引用串，如果该页面在时间间隔(t,t+τ)内未被再次引用，那么就移出页面；否则，该页被保留在进程的驻留集中，直到再次被引用。τ为一个系统常量，间隔(t,t+τ)称作滑动窗口，因为，在任意给定时刻，驻留集包含这个窗口中可见的那些页面(当前引用的页面，未来的τ次内存访问引用的页面)，因此，窗口实际大小为τ+1。 通过例子说明此算法，假如进程页面引用串为：p3、p3、p4、p2、p3、p5、p3、p5、p1、p4。滑动窗口τ=3，初始时页面p4己被装入。若采用局部替换，通过图 1 来了解驻留集的变化情况。时刻t0时，p4被引用，因为它在时刻t4时再次被引用，即在时间间隔(0,0+3)之内，故p4留在驻留集。时刻t1时，p3被引用，它被装入空闲页框中，这时驻留集中包含p3与p4。在时刻t2和t3，显然，页面p3与p4被保留。页面p4在时刻t4被移出驻留集，因为，在时间间隔(4,4+3)之内，不再被引用。同时，p2被装入空闲页框，但p2在时刻t5就脱离滑动窗口并移出驻留集，而p3依然驻留，直到时刻t7再次被引用。发生在时刻t6的下次缺页把p5装入页框，它被保持驻留，直到时刻t8再次被引用。最后两次引用装入p1与p4页面。本例中，缺页总数为5，驻留集大小在1-2之间变化，任何时刻至多两个页框被占用，通过增加τ值，缺页数目可减少，但代价是花费更多页框。 (2)工作集模型和工作集置换算法 P.J.Denning提出了工作集模型，用来对局部最佳页面替换算法进行模拟实现，也使用了滑动窗口概念，但并不向前查看页面引用串，而是基于程序的局部性原理向后看，该原理意味着，在任何给定时刻，一个进程不久的将来所需内存数量，可通过考查其过去最近的时间内的内存需求做出估计。进程工作集指：“在某一段时间间隔内，一个进程运行所需访问的页面集合”。用W(t，Δ)表示在时刻t-Δ到时刻t之间所访问的页面集合，则它就是进程在时刻t的工作集，Δ是系统定义的一个常量。 变量Δ称为“工作集窗口尺寸”，可以通过窗口来观察进程的行为，还把工作集中所包含的页面数目称为“工作集尺寸”。图2 例子中，页面引用串与上例相同，工作集窗口尺寸Δ=4。如果系统有足够空闲页框供分配，并且在时刻t0时，初始工作集为(p1,p4,p5)，其中，p1在时刻t0被引用，p4在时刻t-1被引用，而p5在时刻t-2被引用。 图中说明了每次引用时的工作集，第1次缺页发生在时刻t1，页面p3被装入一个空闲页框。另外3个当前驻留页面p1、p4和p5在窗口(1-3,1)中仍然可见，并被保留。在时刻t2，页面p5离开了当前窗口(2-3,2)，它被移出工作集。在时刻t4，缺页会把p2装入，它占用了移出的页面p1的位置，因为，p1离开了当前窗口(4-3,4)。时刻t6，发生缺页并装入了p5，并且当前驻留页面p2、p3和p4作为由当前窗口(6-3,6)定义的当前工作集的一部分被保留。在下面两次引用中，工作集会缩小到仅两个页面p3和p5，并因为在时刻t9和t10发生两次缺页，使工作集再次增长到4个页面。此算法总的缺页数为5次，工作集尺寸在2-4个页框间波动。 工作集是程序局部性的近似表示，可以通过它来确定驻留集的大小：①监视每个进程的工作集，只有属于工作集的页面才能留在内存。②定期地从进程驻留集中删去那些不在工作集中的页面。③仅当一个进程的工作集在内存时，进程才能执行。 Windows2000/XP的页面替换机制结合了工作集模型和clock算法的优点，采用局部替换算法，一个进程缺页时，不会逐出其他进程的页面。系统为每个进程维护一个当前工作集，系统指定了一个工作集最小尺寸(20-50个页框)和最大尺寸(45-345个页框)。缺页时，把引用到的页面添加到进程工作集中，直至达到最大值，此时，若还发生缺页，必须要从工作集中移出一个页面。淘汰页面选择使用模拟LRU和clock策略的变种，每个页框有一个访问位u及一个计数器count。该页被引用时，u位被硬件置1，当在工作集中寻找淘汰页面时，工作集管理程序扫描工作集中页面的访问位，并执行操作：如果u=1，那么，把u和count清0；否则，count加1。扫描结束时，移出count值最大的页面。凡从工作集中逐出的页框，被放入两个内存队列之一：一个是保存暂时移出的并已被修改过的页面；另一个保存暂时移出的并为只读的页面。如果其中页面被再次引用，可迅速从队列中找到