第四章 存储管理请求分页系统.pptVIP

第一页，共十九页，2022年，8月28日 §4.6 请求分页存储管理方式 请求分页存储管理的基本思想 请求分页存储管理方式是实现虚拟存储器的一种常用技术； 基本思想：在进程开始运行之前，仅装入当前要执行的部分页面即可运行；在执行过程中，可使用请求调入中断动态装入要访问但又不在内存的页面；当内存空间已满，而又需要装入新的页面时，者根据置换功能适当调出某个页面，以便腾出空间而装入新的页面。 为了实现页式虚存，系统需要解决下面三个问题： 1）系统如何感知进程当前所需页面不在主存（页表机制）； 2）当发现缺页时，如何把所缺页面调入主存（缺页中断机构）； 3）在置换页面时，根据什么策略选择欲淘汰的页面（置换算法）。 第二页，共十九页，2022年，8月28日 4.6.1 请求分页的硬件支持 状态位（中断位）：标识该页是否在内存（0或1）； 访问位：标识该页面的近来的访问次数或时间（换出）； 修改位：标识此页是否在内存中被修改过； 外存地址：记录该页面在外存上的地址，即物理块号。 页号 状态位 物理块号 外存地址 访问位 修改位 1、页表机制 第三页，共十九页，2022年，8月28日 程序在执行时，首先检查页表，当状态位指示该页不在主存时，则引起一个缺页中断发生，其中断执行过程与一般中断相同： 保护现场（CPU环境）； 中断处理（中断处理程序装入页面）； 恢复现场，返回断点继续执行。 缺页中断与一般中断的不同点： 一般中断是一条指令完成后检查是否有中断；缺页中断是在指令执行期间产生和处理中断，而且一条指令执行时可能产生多个缺页中断。如指令可能访问多个内存地址，这些地址在不同的页中。 相应的中断处理程序把控制转向缺页中断子程序。执行此子程序，即把所缺页面装入主存。然后处理机重新执行缺页时打断的指令。这时，就将顺利形成物理地址。缺页中断的处理过程是由硬件和软件共同实现的。 缺页中断机构 第四页，共十九页，2022年，8月28日 §5.7 请求分页技术 程序在执行时，首先检查页表，当状态位指示该页不在主存时，则引起一个缺页中断发生，其中断执行过程与一般中断相同： 保护现场（CPU环境）； 中断处理（中断处理程序装入页面）； 恢复现场，返回断点继续执行。 缺页中断与一般中断的不同点： 一般中断是一条指令完成后检查是否有中断；缺页中断是在指令执行期间产生和处理中断，而且一条指令执行时可能产生多个缺页中断。如指令可能访问多个内存地址，这些地址在不同的页中。 相应的中断处理程序把控制转向缺页中断子程序。执行此子程序，即把所缺页面装入主存。然后处理机重新执行缺页时打断的指令。这时，就将顺利形成物理地址。缺页中断的处理过程是由硬件和软件共同实现的。 缺页中断机构 第五页，共十九页，2022年，8月28日 缺页中断引发的连续中断 第六页，共十九页，2022年，8月28日 §5.7 请求分页技术 第七页，共十九页，2022年，8月28日 §5.7 请求分页技术 缺页中断同一般中断都是中断，相同点是： 保护现场 中断处理 恢复现场 不同点： 一般中断是一条指令完成后中断，缺页中断是一条指令执行时中断 一条指令执行时可能产生多个缺页中断。如指令可能访问多个内存地址，这些地址在不同的页中。 第八页，共十九页，2022年，8月28日 §5.7 请求分页技术 5.7.2 页面置换算法 1.最佳置换算法 最佳置换算法是由Belady于1966年提出的一种理论上的算法。 其所选择的被淘汰页面，将是以后永不使用的，或许是在最长(未来)时间内不再被访问的页面。采用最佳置换算法，通常可保证获得最低的缺页率。 假定系统为某进程分配了三个物理块，并考虑有以下的页面号引用串： 7，0，1，2，0，3，0，4，2，3，0，3，2，1，2，0，1，7，0，1 第九页，共十九页，2022年，8月28日 §5.7 请求分页技术 第十页，共十九页，2022年，8月28日 §5.7 请求分页技术 2.先进先出(FIFO)页面置换算法 FIFO算法是最早出现的页面置换算法。该算法总是淘汰最先进入内存的页面，即选择在内存中停留时间最长（年龄最老）的一页予以淘汰 。 第十一页，共十九页，2022年，8月28日 §5.7 请求分页技术 为了说明FIFO页面置换算法相关的可能问题，考虑一下引用串：1，2，3，4，1，2，5，1，2，3，4，5。 注意到对4个可用内存块的缺页次数（10）比3个内存块的缺页次数（9）还要大。这种令人难以相信的结果称为Belady异常现象，即缺页次数随内存块增加而增加。 第十二页，共十九页，2022年，8月28日 §5.7 请求分页技术 3.最近最久未使用(LRU)置换算法 最近最久未使用置换算以“最近的过去”作为