操作系统概念ch9的.ppt

Chapter 9: Virtual Memory虚拟内存;Chapter 9: Virtual Memory;Objectives;Background;Background;Background;Virtual-address Space;Virtual Memory That is Larger Than Physical Memory;Shared Library Using Virtual Memory;Background;实现虚拟存储技术应注意;动态页式管理 ;Demand Paging 按需调页;动态页式管理;Demand Paging 按需调页;Transfer of a Paged Memory to Contiguous Disk Space;Valid-Invalid Bit 有效-无效位;动态页式管理 ;Page Fault 页错误;Steps in Handling a Page Fault;动态页式管理流程图;;Performance of Demand Paging;Demand Paging Example;Process Creation;Copy-on-Write;Before Process 1 Modifies Page C;After Process 1 Modifies Page C;What happens if there is no free frame?;Basic Page Replacement;Page Replacement;Page Replacement页面置换; 请求页式管理中的置换算法 （页式淘汰算法） ?为了衡量一个调度算法的优劣，先介绍几个概念。 为了简单起见，假定一个作业分配的主存块数固定不变，且采用局部淘汰(淘汰一页时，只考虑本作业内部实施淘汰)。假定作业Ji共有m页，系统分配给它的主存块为n块，这里mn。开始时，主存没有装入任何一页的信息。如果作业Ji在运行中成功访问的次数为S，不成功的访问次数为F(产生缺页中断的次数)，则作业执行过程中总的访问次数为A. 这里， A=S（成功访问的次数）+F（不成功的访问次数） 作业Ji执行过程中的缺页率f=F/A。 ;Page Replacement Algorithms;Graph of Page Faults Versus The Number of Frames;First-In-First-Out (FIFO) Algorithm;Optimal Algorithm;Optimal Page Replacement;当需要淘汰某一页时，算法选择离当前时间最近的一段时间内最久没有使用过的页先淘汰。其理由是，如果某页被访问了，则它可能马上还要被访问，反之如果该页很长时间未被访问，则它在最近一段时间内也不会被访问。 OPT方法的近似：OPT向前看，LRU向后看 ;LRU Page Replacement;LRU的实现;LRU的实现（2）;Use Of A Stack to Record The Most Recent Page References;Belady现象;FIFO算法与Belady现象例: 设进程P共有8页，且已在内存中分配有3个页面，程序访问内存的页号顺序(访问串)为7，0，1，2，0，3，0，4，2，3，0，3，2，1，2，0，1。内存中有关进程P所建的程序和数据的各页面变化情况如图;分配4个页面的情况;分配4个页面的情况;分配4个页面的情况;分析;堆栈式替换算法;堆栈式替换算法;FIFO;Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd.;堆栈式替换算法;;LRU Approximation Algorithms LRU近似算法;LRU Approximation Algorithms LRU近似算法;Second-Chance (clock) Replacement Algorithm;LRU Approximation Algorithms LRU近似算法;增强型二次机会算法步骤： 1 从指针所指示的当前位置开始，扫描循环队列，寻找1类页面，将所遇到的第一个页面作为所选中的淘汰页，在第一次扫描期间不改变访问位A； 2 如果第一步失败，即查找一周后未遇到的1类页面，则开始第2类页面，将所遇到的第一个页面作为所选中的淘汰页。第二轮扫描期间，将所有经过的页面的访问位置0； 3 如果第二步也失败，则将指针返回到开始的位置（此时所有页面的访问位为0），然后重复