操作系统段式存储管理和虚存.ppt

* (一) FIFO替换算法(替换最早进入的页) 举例：驻留集大小为3，访问串为： 7, 0, 1, 2, 0, 3, 0, 4, 2, 3, 0, 3, 2… 7 7 0 7 0 1 2 0 1 2 0 1 2 3 1 2 3 0 4 3 0 4 2 0 4 2 3 0 2 3 0 2 3 0 2 3 O O O O O O O O O O 出现了10次故障 命中率＝1－故障次数/访问串大小＝1－10/13=0.23 * FIFO方法的特点： 实现方便。不需要额外硬件。 效果不好，有Belady奇异。 Belady奇异：指替换策略不满足随着驻留集的增大，页故障数一定减少的规律。 * (二) OPT(Optimal replacement) 举例：驻留集大小为3，访问串为 7, 0, 1, 2, 0, 3, 0, 4, 2, 3, 0, 3, 2.. 7 7 0 7 0 1 2 0 1 2 0 1 2 0 3 2 0 3 2 4 3 2 4 3 2 4 3 2 0 3 2 0 3 2 0 3 O O O O O O O 淘汰下次访问距当前最远的那些页中序号最小的页。 * OPT方法特点： 最优的固定驻留集大小替换策略。 不可实现。 OPT策略对任意一个访问串的控制均有最小的时空积（进程所占空间与时间的乘积）。 由于需要预先得知整个访问串的序，故不能用于实践,仅作为一种标准，用以测量其他可行策略的性能。 * (三) LRU(Least Recently Used) 淘汰上次使用距当前最远的页。 举例：驻留集大小为3，访问串为 7, 0, 1, 2, 0, 3, 0, 4, 2, 3, 0, 3, 2.. 7 7 0 7 0 1 2 0 1 2 0 1 2 0 3 2 0 3 4 0 3 4 0 2 4 3 2 0 3 2 0 3 2 0 3 2 O O O O O O O O O * LRU策略是一种栈算法。 满足：S（m,t）属于 S（m+1,t）的替换算法被称为栈算法。 LRU策略中，当驻留集大小为时,S(m,t)中保持着最近使用过的m个页帧；当驻留集大小为m+1时，S(m+1,t)中保持着最近使用过的m+1个页帧。故S(m,t)属于S(m+1,t)的LRU策略是栈算法。 * LRU策略的特点：要硬件配合，实现费用高，但效果适中。 实现方法1：给每个页帧设一个计数器，每访问一页，对应页帧计数清0，其余页帧计数加1，淘汰计数最大的页帧。 实现方法2：用类似栈的结构来管理和实现LRU。 栈算法没有Belady奇异。 设n＞m，对于栈算法有S(m,t)属于S(n,t)，任取r(t)，若r(t)!∈S(n,t),则 r(t)!∈S(m,t)。因此，驻留集为n 时出现的页故障一定会出现在驻留集为m 时。 LRU没有Belady奇异。 * (四) 实用方法（兼顾FIFO和LRU策略） 为页帧在页表项中增加一位使用位，硬件每访存一次，即将对应页的使用位置1，操作系统页面管理程序定时将所有使用位清0。淘汰时任选一个使用位为0的页。 操作系统选择淘汰页时，尽量避免选被修改过的页。因此，首先选择使用和修改位都为0的页；若没有，再选修改位为1，使用位为0的页；再选使用位为1，修改位为0的页；最后按FIFO选两者均为1的页。 * 程序行态：指程序访存布局特性和行为特性。 局部性行态:一段时间内程序访存有局部性. 阶段转换行态:从一个局部集向另一个局部 集过渡是突然的. 局部集一般不超过程序总页数的20%。 二、驻留集可变的替换策略 引入原因：若驻留集小于局部集时引起抖动，而驻留集大于局部集又是浪费。同时局部集又有大有小。 因此，应随着程序访问虚存的局部集大小变化而改变驻留集。 * 若驻留集中的某页有△个访问间隔没被访问，则将其淘汰。 举例：取△=5，访问串为 (一) WS(working set) 1 2 3 4 4 4 4 4 4 4 4 4 3 4 4 4 3 7 0 7 0 1 7 0 1 2 7 0 1 2 7 0 1 2 3 0 1 2 3 0 4 2 3 0 4 2 3 0 4 2 3 0 4 2 3 0 4 2 3 0