操作系统10-vm.ppt

OPERATING SYSTEM CONCEPTS  Chapter 10: Virtual Memory School of Computer and Communication,Hunan University Introduction to virtual Memory 虚拟存储的引入 虚拟存储的引入 虚拟存储的引入 虚拟存储器的定义 A large VM when only a small physical memory is available 虚拟存储的特征 虚空间大小 windows xp中的虚拟内存更改 虚拟存储例 请求式分页存储管理 请求分页式存储管理 以分页存储管理为基础 解决地址空间的映射问题 地址的转换 新的问题： “不完全调入” 需要的页面是否已装入内存？ 当需要访问的页面不在内存中如何处理？ 请求式分页方式的实现 请求式分页方式的缺页中断 2）缺页中断（系统发现要访问的页面不在内存中时） 基本思想 当发现将要用到的页面不在主存中时产生缺页中断，由缺页中断来完成页面的调入。 调入过程 （见后） 请求式分页的地址变换机构 Steps in Handling a Page Fault 请求分页方式的特点 请求式分页系统的策略 请求式分页的页面分配策略 请求式分页的页面分配策略 请求式分页的页面调入策略 请求式分页的页面调入策略 请求式分页的页面置换 页面置换带来的抖动问题 页面置换带来的抖动问题 Working-Set Model Illustration Working-Set Model ? ? working-set window ? a fixed number of page references Example: 10,000 instruction WSSi (working set of Process Pi) =total number of pages referenced in the most recent ? (varies in time) if ? too small will not encompass entire locality. if ? too large will encompass several localities. if ? = ? ? will encompass entire program. D = ? WSSi ? total demand frames if D m (available frames )? Thrashing Policy if D m, then suspend one of the processes. 请求式分页的页面置换算法 页面置换算法 （1）最佳置换策略 被置换的内存页面应是以后永久不再需要或最久不再访问的页面－－理想算法 （2）最简单的算法——FIFO 按照页面进入内存的先后顺序置换 （3）最近最久不用（LRU） 之前最近一段时间最久没有使用过的页面将被置换 （4）最近最少使用（LFU） 之前最近一段时间最少使用过的页面将被置换 最佳替换算法（OPT） 算法：调入一页而必须淘汰一个旧页时，所淘汰的页应该是以后不再访问的页或距现在最长时间后再访问的页。 特点：不是实际可行的算法，可用来作为衡量各种具体算法的标准，具有理论意义。 最佳替换算法（OPT） 先进先出页面替换算法（FIFO) 算法：总是淘汰最先调入主存的那一页，或者说在主存中驻留时间最长的那一页（常驻的除外）。 理由：最早调入内存的页面，其不再被访问的可能性最大。 先进先出页面替换算法（FIFO) 先进先出页面替换算法（FIFO) 特点：实现简单、适合线性访问、对其他情况效率不高 最近最少用页面替换算法LRU 算法：淘汰的页面是在最近一段时间里较久未被访问的那页。 原理：根据程序局部性原理，那些刚被使用过的页面，可能马上还要被使用，而在较长时间里未被使用的页面，可能不会马上使用到。 给某作业分配了三块主存（开始时为空），采用先进先出页面置换算法，该作业依次访问的页号为：1，2，3，4，1，2，5，1，2，3，4，5，6,将产生（ ）次缺页中断。 如果采用LRU，将会产生（ ）次缺页中断。 如果是最优置换，将会产生（ ）次缺页中断。 LRU Algorithm (Cont.) Counter implementation Every page entry has a counter; every time page is referenced through this entry, copy the clock into the counter（每一个页表项 有一个计数器，每次页通过这个表项被访问，把当前的系统时间拷贝到计数