[计算机软件及应用]操作系统教学课件第十二讲.pptVIP

内蒙古工业大学计算机系 * 教学目的 掌握动态页式管理的基本原理 掌握请求页式管理中的置换算法 理解Belady现象 第五章 存储管理－－动态页式管理 教学内容 5.4.3 动态页面管理 5.4.4 请求页式管理中的置换算法 5.4.5 存储保护 5.4.6 页式管理的优缺点 第五章 存储管理－－动态页式管理 所以，产生的原因——内存不足。 引入 到目前为止，任何一个作业/进程只有全部装入内存才能运行。但是，这会出现下面两种情况。 由于内存有限，装入内存中的作业较少——不能提高系统的并发率 作业太大，无法装入内存——不能满足用户的需要 第五章 存储管理－－动态页式管理 解决办法 从物理上扩展内存 从逻辑上扩展内存——虚拟内存 虚拟存储器的核心思想—— 部分装入、部分对换 第五章 存储管理－－动态页式管理 局部性原理 ——P.Denning， 1968 ——Fortheringham,1961 指程序在执行过程中的一个较短时间内，所执行的指令地址或操作数地址分别局限于一定的存储区域中。 第五章 存储管理－－动态页式管理 动态页式管理的分类 分为请求页式管理和预调入页式管理两种。 请求页式管理 当需要执行某条指令而又发现它不在内存时或执行某条指令需要访问其他的数据或指令时，这些指令或数据不在内存中，从而发生缺页中断，系统将外存中相应的页面调入内存。 第五章 存储管理－－动态页式管理 预调入页式管理 系统对那些在外存中的页的调入顺序进行计算，估计出这些页中指令和数据的执行和被访问的顺序，并按此顺序将它们调入和调出内存。 请求调入和预调入页式管理只是在调入的方式上存在区别，其他方面基本相同，下面只介绍请求方式。 第五章 存储管理－－动态页式管理 实现动态页式管理需要的支持 扩充的页表 判断该页是否在内存中、调度的参数 实现缺页处理 缺页中断机构 页面置换算法 进行页面的调入和换出 第五章 存储管理－－动态页式管理 页表 页号 页面号 中断位 改变位 外存始址 页表结构 中断位 表示该页是否在内存中 第五章 存储管理－－动态页式管理 外存地址 表示该页副本在外存中的起始位置 改变位 表示页面内容已经修改 第五章 存储管理－－动态页式管理 作业1 作业2 作业3 0K 1K 0K 1K 2K 0K 1K 2K 3K 页面表 存储空间 5 6 0 0 2 4 7 0 0 0 OS 3 0 8 0 1 1 举例 第五章 存储管理－－动态页式管理 缺页中断 地址转换过程中产生的一种特殊的中断，同样需要经历保护CPU现场、分析中断原因、转缺页中断处理程序进行处理、恢复CPU现场。 特殊性 在指令的执行期间产生和处理中断 一条指令在执行期间可能产生多次缺页中断 动态页式管理过程 第五章 存储管理－－动态页式管理 第五章 存储管理－－动态页式管理 逻辑空间地址 主存(用户区) CPU 逻辑地址 快表 主存(系统区)运行进程页表 辅存 缺页中断处理 ①分解地址 ③⑤ 访 问 MMU ②查快表 ③命中 ④不命中 ⑤页表命中 ⑦发缺页中断 ⑧调页 ⑨装入、改表 ④查页表 运行进程页表基址 ⑥装入快表 运行进 程映象 进程切换时装入 物理地址 页框 页内地址 页号 页内地址 第五章 存储管理－－动态页式管理 置换算法 用来确定应该淘汰哪一页的一种策略。 随机淘汰算法 无法确定那个页的访问概率时，随机地选取某个用户的页面将其换出。 第五章 存储管理－－动态页式管理 先进先出页面替换算法（FIFO) 时间局部性原理。最早调入内存的页面，其不再被访问的可能性最大。 算法原理 总是淘汰最先调入主存的那一页，或者说在主存中驻留时间最长的那一页（常驻的除外）。 依据 第五章 存储管理－－动态页式管理 算法举例 缺页率σ =12/17=70.5% 3个页面 第五章 存储管理－－动态页式管理 算法举例 4个页面 缺页率σ =9/17=52.9% 第五章 存储管理－－动态页式管理 Belady现象 使用FIFO算法时，在未给进程或作业分配足它需要的页面数时，有时会出现分配的页面数增加，缺页次数反而增加的奇怪现象。 第五章 存储管理－－动态页式管理 Belady现象举例 3个页面 缺页率σ =9/12=75% 第五章 存储管理－－动态页式管理 Belady现象举例 4个页面 缺页率σ =10/12=83.3% 第五章 存储管理－－动态页式管理 最近最久未使用页面替换算法（Least Recently Used） 产生Belady现象的根本原因在于没有考虑程序执行的动态特征。 原理 根据程序局部性原理，那些刚被使用过的页