虚拟存储器

《虚拟存储器》由会员上传分享，免费在线阅读，更多相关内容在教育资源-天天文库。

1、第五章虚拟存储器5.1虚拟存储器概述5.2请求分页存储管理方式5.3页面置换算法5.4“抖动”与工作集5.5请求分段存储管理方式习题5.1虚拟存储器概述第四章所介绍的各种存储器管理方式有一个共同的特点，即它们都要求将一个作业全部装入内存后方能运行。于是，出现了下面这样两种情况：(1)有的作业很大，其所要求的内存空间超过了内存总容量，作业不能全部被装入内存，致使该作业无法运行；(2)有大量作业要求运行，但由于内存容量不足以容纳所有这些作业，只能将少数作业装入内存让它们先运行，而将其它大量的作业留在外存上等待。5.1.1常规存储管理方式的特征和局部性原理1.常规存储器管理

2、方式的特征我们把前一章中所介绍的各种存储器管理方式统称为传统存储器管理方式，它们全都具有如下两个共同的特征：(1)一次性(2)驻留性2.局部性原理程序运行时存在的局部性现象，很早就已被人发现，但直到1968年，P.Denning才真正指出：程序在执行时将呈现出局部性规律，即在一较短的时间内，程序的执行仅局限于某个部分，相应地，它所访问的存储空间也局限于某个区域。局限性又表现在下述两个方面：(1)时间局限性。(2)空间局限性。3.虚拟存储器的基本工作情况基于局部性原理可知，应用程序在运行之前没有必要将之全部装入内存，而仅须将那些当前要运行的少数页面或段先装入内存便可运行

3、，其余部分暂留在硬盘上。5.1.2虚拟存储器的定义和特征1.虚拟存储器的定义当用户看到自己的程序能在系统中正常运行时，他会认为，该系统所具有的内存容量一定比自己的程序大，或者说，用户所感觉到的内存容量会比实际内存容量大得多。但用户所看到的大容量只是一种错觉，是虚的，故人们把这样的存储器称为虚拟存储器。2.虚拟存储器的特征与传统的存储器管理方式比较，虚拟存储器具有以下三个重要特征：(1)多次性。(2)对换性。(3)虚拟性。5.1.3虚拟存储器的实现方法1.分页请求系统1)硬件支持主要的硬件支持有：(1)请求分页的页表机制。(2)缺页中断机构。(3)地址变换机构。2)实现

4、请求分页的软件2.请求分段系统1)硬件支持主要的硬件支持有：(1)请求分段的段表机制。(2)缺页中断机构。(3)地址变换机构。2)软件支持5.2请求分页存储管理方式5.2.1请求分页中的硬件支持为了实现请求分页，系统必须提供一定的硬件支持。计算机系统除了要求一定容量的内存和外存外，还需要有请求页表机制、缺页中断机构以及地址变换机构。1.请求页表机制在请求分页系统中需要的主要数据结构是请求页表，其基本作用仍然是将用户地址空间中的逻辑地址映射为内存空间中的物理地址。为了满足页面换进换出的需要，在请求页表中又增加了四个字段。这样，在请求分页系统中的每个页表应含以下诸项：2.

5、缺页中断机构(1)在指令执行期间产生和处理中断信号。(2)一条指令在执行期间可能产生多次缺页中断。图5-1涉及6次缺页中断的指令3.地址变换机构请求分页系统中的地址变换机构是在分页系统地址变换机构的基础上，为实现虚拟存储器，再增加了某些功能所形成的，如产生和处理缺页中断，以及从内存中换出一页的功能等等。图5-2示出了请求分页系统中的地址变换过程。图5-2请求分页中的地址变换过程5.2.2请求分页中的内存分配1.最小物理块数的确定一个显而易见的事实是，随着为每个进程所分配的物理块的减少，将使进程在执行中的缺页率上升，从而会降低进程的执行速度。为使进程能有效地工作，应为它

6、分配一定数目的物理块，但这并不是最小物理块数的概念。2.内存分配策略在请求分页系统中，可采取两种内存分配策略，即固定和可变分配策略。在进行置换时，也可采取两种策略，即全局置换和局部置换。于是可组合出以下三种适用的策略。1)固定分配局部置换(FixedAllocation，LocalReplacement)2)可变分配全局置换(VariableAllocation，GlobalReplacement)3)可变分配局部置换(VariableAllocation，LocalReplacement)3.物理块分配算法在采用固定分配策略时，如何将系统中可供分配的所有物理块分配给

7、各个进程，可采用下述几种算法：(1)平均分配算法，即将系统中所有可供分配的物理块平均分配给各个进程。(2)按比例分配算法，即根据进程的大小按比例分配物理块。如果系统中共有n个进程，每个进程的页面数为Si，则系统中各进程页面数的总和为：又假定系统中可用的物理块总数为m，则每个进程所能分到的物理块数为bi可由下式计算：这里，bi应该取整，它必须大于最小物理块数。(3)考虑优先权的分配算法。在实际应用中，为了照顾到重要的、紧迫的作业能尽快地完成，应为它分配较多的内存空间。通常采取的方法是把内存中可供分配的所有物理块分成两部分：一部分按比例地分配给各进程；另