四川大学操作系统原理、操作系统课件 虚拟存储器管理（2）.pptVIP

虚拟存储器的引入 常规存储管理的特征： 一次性（指全部装入） 驻留性（指驻留在内存不换出） 局部性原理 时间局部性：如循环执行 空间局部性：如顺序执行。 虚拟存储器的引入 虚拟存贮器 具有请求调入功能和置换功能，能从逻辑上对内存容量进行扩充的一种存储系统。 实质：以时间换空间，但时间牺牲不大。 需要动态重定位 虚拟存储器的实现方式 请求分页系统 以页为单位转换 需硬件： （1）请求分页的页表机制 （2）缺页中断 （3）地址变换机构 需实现请求分页机制的软件（置换软件等） 虚拟存储器的实现方式 请求分段系统 以段为单位转换: （1）请求分段的段表结构 （2）缺段中断 （3）地址变换机构 需实现请求分段机制的软件（置换软件等） 虚拟存储器的特征 离散性 部分装入 多次性 局部装入，多次装入 对换性 虚拟性 请求分页中的硬件支持 页表机制 请求分页中的硬件支持 缺页中断机构 当所要访问的页面不在内存时，产生缺页中断，请求OS将所缺之页调入内存。 与其他中断的区别 可在指令执行期间产生 一条指令在执行期间，可能产生多次缺页中断。 （如图4-23） 内存分配策略和分配算法 最小物理块数 保证进程正常运行所需的最小物理块数 不同的作业要求不同 如：允许间接寻址：则至少要求3个物理块。 Mov A, [B] 内存分配策略和分配算法 页面分配和置换策略 固定分配局部置换。 缺点：难以确定固定分配的页数.(少：置换率高 多：浪费) 可变分配全局置换 可变分配局部置换 根据进程的缺页率进行页面数调整，进程之间相互不会影响。 内存分配策略和分配算法 分配算法 平均分配算法 按比例分配算法 考虑优先权的分配算法 4.6.3 调页策略 1.调入时机： 预调：（根据空间局部性） 目前：成功率≤50％ 请求调：较费系统开销 各有优劣 2．从何处调页： 对换区：修改过的页被换出时入对换区， 快 文件区： 稍慢 对共享页，应判断其是否在内存区。 3.页面调入过程 主要置换算法 理想淘汰算法—最佳页面算法（OPT） 淘汰以后不再需要的或最远的将来才会用到的页面 先进先出页面淘汰算法（FIFO） 淘汰在内存中驻留时间最长的页并淘汰 最近最久未使用页面淘汰算法（LRU） 淘汰最后一次访问时间距离当前时间最长的一页 即淘汰没有使用的时间最长的页 Clock置换算法－LRU近似算法 最不经常使用（LFU） 淘汰访问次数最少的页面 举例 在一个请求分页系统中，假设一个作业的页面走向为： 4 3 2 1 4 3 5 4 3 2 1 5 当分配给该作业的物理块数M分别是3和4时，请计算不同页面置换算法下，访问过程中所发生的缺页次数和缺页率。 页面置换算法-OPT 思想： 选择的被淘汰页面，将是以后永不使用的，或许是在最长(未来)时间内不再被访问的页面。 效果： 通常可保证获得最低的缺页率。 评价： 由于人们无法预知一个进程在内存的若干个页面中，哪一个页面是未来最长时间内不再被访问的，因而该算法无法实现 可以利用该算法去评价其它算法 举例 采用OPT淘汰算法，当M＝3时 举例 采用OPT淘汰算法，当M＝4时 页面置换算法-FIFO 思想： 总是淘汰最先进入内存的页面，即选择在内存中驻留时间最久的页面予以淘汰。 效果： 实现简单。 评价： 与进程实际运行的规律不相适应，因为在进程中，有些页面经常被访问，该算法并不能保证这些页面不被淘汰。 举例 如果采用FIFO替换算法，当M＝3时 举例 采用FIFO替换算法，当M＝4时 页面置换算法-LRU 思想： 根据页面调入内存后的使用情况进行决策的。选择最近最久未使用的页面予以淘汰。 效果： 较好。 评价： 需要有较多的硬件支持（寄存器、栈）。 举例 当M＝3时，采用LRU替换算法： 举例 当M＝4时，采用LRU替换算法： 结论 总结： 通过以上缺页次数和缺页率的分析计算，可以看出： 对于LRU、OPT算法，增加物理块数，不会增加缺页次数。 对于FIFO算法，增加物理块数，不一定能减少缺页次数。 OPT算法仅是一种理论算法，不作为实用算法，仅用于算法的比较和评价。 讨论： 计算缺页次数和缺页率时，要注意初始时刻所有物理块为空。 调入页面时，不需要页面替换，但是需要引起缺页中断。 页面置换算法-Clock/NRU 思想： 为每页设置一位访问位，再将内存中的所有页面都通过链接指针链接成一个循环队列。 当某页被访问时，其访问位被置1。 置换算法在选择一页淘汰时，只需检查页的访问位。如果是0，就选择该页换出；若为1，则重新将它置0，暂不换出，而给该页第二次驻留内存的机会，再按照FIFO算法检查下一个页面。 当检查到队列中的最后一个页面时，若其访问位仍为1，则再