包头师范学院操作系统原理课件第5章 虚拟内存管理.pptVIP

第5章 虚拟内存管理 学习目标 理解：虚拟内存管理的基本原理与设计思想。 掌握：请求分页、请求分段及请求段页式虚拟存储管理技术的实现；缺页中断、请求调页过程和地址变换机构；各类常用的页面置换算法；页面分配及置换策略。 了解：Windows和Linux操作系统中采用的内存管理技术。 主要内容 5.1 概述 5.2 分页虚拟存储管理 5.3 分段及段页式虚拟存储管理 5.4 存储管理实例 5.1 概述 5.1.1 虚拟存储器的原理 5.1.2 虚拟存储器的实现方法 5.1.1 虚拟存储器的原理 1、 虚拟存储器的定义 2、 局部性原理 1、 虚拟存储器的定义 虚拟存储器，就是操作系统在相关硬件的支持下，采用部分装入和对换的方式，实现了逻辑地址空间大于实际内存空间的目的，使用户感到计算机系统为自己提供了一个比内存的实际容量更大的存储器，供用户编程时使用。 由虚存构成的存储空间称为虚存空间，或称逻辑地址空间。 虚拟存储器特征：多次性、对换性、虚拟性 2、 局部性原理 进程在运行过程遵循局部性原理，其指令不会出现较大的发散性，而是能够体现出一定的收敛性，这就为虚拟存储器的实现提供了实现基础。 进程的局部性特征，主要体现在时间和空间两个方面。 时间局部性：某条指令被执行后，可能很快被再次执行。 空间局部性：某条指令被执行后，该指令的相邻指令也可能会很快被执行；某一存储单元被访问后，其相邻单元也可能很快被访问。 5.1.2 虚拟存储器的实现方法 1、 请求分页管理方式 2、 请求分段管理方式 3、 请求段页式管理方式 1、 请求分页管理方式 请求分页：在基本分页管理方式的基础上，增加了请求调页、页面置换等功能。 进程运行前只装入部分页面，运行时通过调页功能和页面置换等功能，把暂不使用的页面换出到外存上，把将使用到的页面调入内存。置换时以页面为单位进行。 增加硬件机制： 支持请求分页的页表机制：增加用于记录进程或作业的每个页面在内存、外存的位置，是否被修改等信息的字段。 缺页中断机制：当要访问的页面不在内存中时，产生一个缺页中断来请求系统调入所需页面。 硬件地址变换机构：实现进程逻辑地址到内存物理地址的转换。 2、 请求分段管理方式 请求分段管理方式：在基本分段管理方式的基础上，增加了请求调段、分段置换等功能。 允许进程开始时只装入部分段，之后不断通过调段功能和分段置换等功能，将暂不运行或使用的段调出，同时调入即将运行的段。置换时以段为单位进行。 所需硬件机制： 支持请求分段的段表机制：增加用于记录每个段在内存、外存中的位置、存取方式、是否被修改等信息的字段。 缺段中断机制：发现要访问的段未被调入内存时，产生一个缺段中断，以请求系统调入所缺的段。 硬件地址变换机构。 3、 请求段页式管理方式 请求段页式管理方式：在基本的段页式管理方式上，增加了请求调页、请求调段、段／页置换等功能。 实现请求段页式管理方式所需硬件机制： 请求分页的页表机制。 请求分段的段表机制。 缺段中断机制。 硬件地址变换机构。 5.2 分页虚拟存储管理 5.2.1 硬件支持 5.2.2 内存分配及页面调入策略 5.2.3 页面置换算法 5.2.4 抖动及其处理 5.2.1 硬件支持 1、 请求页表机制 2、 缺页中断机制 3、 地址变换机构 1、 请求页表机制 请求分页下页表表项的主要内容： 逻辑页号和物理块号。 状态位（驻留位、中断位，存在位）：表示该页是在内存还是在外存。 外存地址：表示该页在外存中的地址。 访问位：记录一段时间内该页面被访问的次数，或是最近已有多长时间末被访问。 修改位：记录该页面在被调入内存后是否被修改过。 2、 缺页中断机制 缺页中断与一般中断过程的相似点：保存处理机现场参数、转入中断处理程序、恢复处理机现场参数。 缺页中断是特殊的硬件中断，有两个特殊性： 缺页中断可以在指令的执行期间产生和处理。而一般的中断处理都是在一条指令执行完后，才去响应中断请求。 一条指令的执行过程中，可能产生多个缺页中断。 例子：见下页 （续） 指令Copy A To B，在最差的情况下，执行该指令过程中就要产生6次缺页中断。 如图所示。 3、 地址变换机构 对设置了快表的请求分页地址变换机构，对给定的一个逻辑地址（页号、页内偏移量），以页号同时检索快表和页表 若命中快表，将快表中相应的块号与逻辑地址中的页内位移量拼接得到物理地址，并修改页表项中访问位的值，对于写指令还要改变修改位的值。 若未命中快表，在内存的页表中找到，根据页表项中状态位判断该页面是否已在内存。 若在内存，用相对应的块号与逻辑地址中的页内位移量拼接得到物理地址，对于写指令还要改变修改位的值，同时将页表项送入快表。 若不在内存，则产生缺页中断，启动调页过程将之从外存调入。修