存储管理练习.pptVIP

存储管理补丁 颠簸（抖动） 某进程由于缺页而产生置换，但在不久又需求刚换出的页面，需要再次置换，这种频繁的页调度行为称为颠簸 若一个进程在换页上使用的时间多于执行时间，称这个进程在颠簸 系统颠簸原因 采用全局置换算法可能导致系统颠簸 实例 早期调页系统中使用全局置换算法，OS发现CPU利用率降低，则向系统引入新进程以增加多道程序。 问题：某进程需要更多帧保证运行时，需要换页设备为其抢占他人空间，导致被抢占空间的进程需要等待换页设备 随着等待换页设备进程的增加，就绪队列逐渐缩短，CPU利用率随之降低，OS检测到该情况后会主动增加多道程序的程度，新进程的加入会需求新帧，进一步增加了等待换页设备的队列 上述过程的不断出现导致了系统颠簸的产生，系统吞吐量陡降，页错误显著增加，有效访问时间增加，系统忙于调页而不能完成一样工作 系统颠簸（抖动） 多道程序的程度 CPU利用率 颠簸 系统颠簸（抖动） 颠簸预防 页错误率策略 颠簸具有较高的页错误率，页错误率较高表明系统需要更多帧，若页错误率太低，说明进程可能获得太多的帧 为所期待的页错误率设置上下限，若超过上限，为该进程分配更多帧；反之从该进程移走帧 此方法可以检测和控制页错误率以防止颠簸，但在页错误增加且没有可用帧时必须选择一个进程终止，再将其释放的帧分配给哪些具有高页错误率的进程 * * 虚存实现样例之Windows NT Windows NT使用请求调页加上簇来实现虚拟内存 簇：处理页错误时不仅调入出错的页面，还调入出错页周围的页（同簇的页） 虚拟内存管理器维护一个空闲帧链表 该链表关联一个表示是否有足够多的可用内存的阀值 当空闲内存量高于该阀值时，根据情况选择调入或置换页面功能；当空闲内存量低于该阀值时，虚存管理器启动自动工作集修整程序使该值保持在阀值之上 修整程序工作过程：计算分配给进程的帧数，若大于保证其工作的最小帧数，删除帧直到达到最小帧数。一旦有足够多的内存空间，具有最小工作集页数的进程会获得新帧 * * 虚存实现样例之Windows NT 被删除页面的进程的选择根据处理器类型不同而有所变化 单处理器x86系统：使用Clock算法的变种 多处理器x86系统：清除引用位会导致其他处理器的TLB内容无效，因此采用FIFO算法的变种 * * 预约式页面调度 为减少初始调页，可以同时将需要的所有页调入内存 初始调页：进程刚开始创建或重启一个换出进程时要将各页分别调入内存的情况 需要的所有页：对新建进程是开始运行的最小页集合，对重启的换出进程是被换出时保存的当时的工作集合列表 该算法性能取决于其成本是否小于处理相应页错误的成本 被调入页面数为S，其中的t页（0≤t ≤ S）在后面的运行过程中被用到。若t接近于0，则预约式页面调度失败，若t接近于S，成功 * * 页大小 设计新机器时需要决定页大小 选择因素 页表大小 使用小页提高内存利用率 使用大页降低页错误率 其他因素：调页设备扇区大小等 * * 程序结构 好的程序结构可以改善系统性能 如对于按先行后列顺序存储的矩阵，操作时以行优先和以列优先的页错误率差距巨大 数据结构和程序结构的仔细选择能增加进程执行效率，降低页错误率和工作集合内的页数 页面置换算法 在一个请求分页存储管理系统中，一个作业的页面访问序列为4、3 、2 、1 、4 、3 、 5 、 4 、 3 、 2 、 1 、 5，当分配给该作业的物理帧分别为3、4时，试计算下述页面置换算法的缺页率（设开始时主存中无页面），并比较结果 最佳置换算法OPT FIFO置换算法 LRU置换算法 页面置换算法 顺序 块 1 块 2 块 3 缺页 4 4 Y 3 4 3 Y 2 4 3 2 Y 1 4 3 1 Y 4 3 5 4 3 5 Y 4 3 2 2 3 5 Y 1 2 1 5 Y 5 3个物理帧时，使用OPT算法的缺页率为7/12 页面置换算法 4个物理帧时，使用OPT算法的缺页率为6/12 结论：增加分配给作业的物理帧数可以降低缺页率 顺序 块 1 块 2 块 3 块 4 缺页 4 4 Y 3 4 3 Y 2 4 3 2 Y 1 4 3 2 1 Y 4 3 5 4 3 2 5 Y 4 3 2 1 1 3 2 5 Y 5 页面置换算法 顺序 块 1 块 2 块 3 缺页 4 4 Y 3 4 3 Y 2 4 3 2 Y 1 1 3 2 Y 4 1 4 2 Y 3 1 4 3 Y 5 5 4 3 Y 4 3 2 5 2 3 Y 1 5 2 1 Y 5 3个物理帧时，使用FIFO算法的缺页率为9/12 页面置换算法 4个物理帧时，使用FIFO算法的缺页率为10/12 结论：增加分配给作业的物理帧数反而使缺页率上升，这种异常现象称为Belady现象 顺序 块 1 块 2 块 3 块 4