虚拟内存管理

一. 虚拟内存基本概念

传统存储管理方式

传统内存管理策略都是为了将多个进程保存在内存中，以便允许进行多道程序设计。它们都有以下共同特征：

• 一次性：作业必须一次性全部装入内存后，才能开始运行。会导致以下两个问题：
  • 作业过大而无法装入内存，导致无法运行。
  • 大作业运行时，由于无法容纳所有作业，降低多道程序的并发性。
• 驻留性：作业装入内存后，一直驻留内存，任何部分都不会被换出，直到作业运行结束。
  • 运行中的进程可能会因为等待 I/O 而被阻塞，可能处于长期等待状态。
  • 可能只需要访问作业的一小部分数据就可以运行，大量用不到的数据驻留内存，浪费了内存资源。

局部性原理

• 时间局部性：程序中的某条指令短时间内被多次执行 或 某个数据短时间内被多次访问。
  • 产生原因：代码中的循环指令。
• 空间局部性：程序访问某个存储单元后，短时间内其附近的存储单元也被访问。
  • 原因：指令的顺序存放，顺序执行 / 数据以向量，数组，表等形式簇存储。

虚拟技术实际上建立“内存——外存”两级存储结构，利用局部性实现高速缓存。

虚拟存储器的定义和特征

• 定义：基于局部性原理，程序仅将少数页面（或段）装入内存，其余部分暂留外存。

【请求调用页/段功能：】程序执行时，OS 负责将所需要的在外存的访问信息调入内存，接着程序继续执行。
【页面/段置换功能】当内存空间不够，OS 负责将暂时用不到的信息换出内存，为外存信息调入腾出空间；
这样，OS 就好像提供了一个比实际内存容量大得多的存储器，称为虚拟存储器。

• 特征：
  • 多次性。作业运行时无需全部调入内存，允许在运行时多次调入。
  • 对换性。作业无需常驻内存。将暂时不用的程序和数据调出至外存的对换区（换出），需要时再从外存调入内存。（换入）
  • 虚拟性。逻辑上扩充了内存容量，使用户看到的内存容量远大于实际容量。

虚拟内存技术的实现

虚拟内存技术采用多次调入方式，如果使用连续分配方式，会使得相当一部分内存空间暂时或 “永久”处于空闲状态，极大地浪费了内存空间。
因此，虚拟内存技术需要建立在离散分配的内存管理方式上。
实现方式：

• 请求分页存储管理
• 请求分段存储管理
• 请求段页式存储管理

一般需要的硬件支持方面：

• 一定容量的内外存
• 段/页表机制作为主要数据结构
• 地址变换机构（逻辑地址—>物理地址）

二. 请求分页管理方式

建立在基本分页系统基础之上，增加请求调页和页面置换功能。需要有页表机制、缺页中断机构和地址变换机构等。

页表机制

新增四个字段：

• 状态位 P：标记是否调入内存
• 访问字段 A：标记本页近段时间的访问次数
• 修改位 M：表示调入内存后是否曾被修改
• 外存地址：记录该页在外存存放的地址。通常是物理块号。

缺页中断机构

缺页中断：当想要访问的页面不存在内存时，就会产生缺页中断，请求 OS 的缺页中断处理程序处理。此时缺页的进程阻塞，调页完成后唤醒。

• 若内存有空闲页框，直接为进程分配一个，然后将所需页面调入，并修改页表相应表项。
• 若内存没有空闲页框，使用页面置换算法淘汰一个页面。
  • 若该淘汰页面被修改过，则需要写回外存。否则不需要。

地址变换机构

步骤：

• 检索快表
  • 快表命中。从相应表项取出该页物理块号，修改页表项的访问位。【对于写指令，还需要将修改位置 1】
  • 快表未命中。查询页表。
    • 页表找到。从相应表项取出该页物理块号，将该页表项写入快表。若快表已满，需要采用替换算法进行对换，并删除换出快表的页表项。
    • 页表未找到。进行缺页中断处理，请求系统将该页从外存换入内存，页面调入内存后，OS 更新页表和快表，并获得物理块号。
• 利用得到的物理块号与页内地址拼接形成物理地址，用该地址访存。

流程图如下：

三. 页框分配

驻留集大小

驻留集：OS 给一个进程分配的页框集合。

• 驻留集小：进程数量多，提高多道程序并发性；但分配给每个进程的页框数量太少，导致缺页概率提高，CPU 会花费大量时间处理缺页。
• 驻留集大：分配给进程的页框超过某个数量时，再增加页框对缺页率的改善不大，并且会浪费内存空间，导致多道程序并发度下降。

内存分配策略

请求分页系统中，两种内存分配策略：固定分配策略，可变分配策略；两种置换策略：全局置换，局部置换。

• 固定分配局部置换
  • 进程分配固定数目的物理块；
  • 进程缺页时，只能从分配给该进程再内存的页面中选出一页换出，然后调入一页，以保证分配给该进程的内存空间不变。
  • 难以确定分配给进程的物理块数目。太少：频繁缺页中断；太多：降低 CPU 和其他资源的利用率。
• 可变分配全局置换
  • 先为进程分配一定数量的物理块，进程运行期间动态增加或减少。
  • 缺页时，系统从空闲物理块队列取出一块分配给该进程，并调入所缺页。
  • 优点：比固定分配局部置换更灵活，动态增减进程物理块。
  • 缺点：如果它盲目增加物理块，会降低系统多道程序的并发能力。
• 可变分配局部置换

物理块调入算法

采用固定分配策略时，空闲物理块分配给各个进程的算法：

• 平均分配算法：系统中所有空闲物理块平均分配给各个进程。
• 按比例分配算法：根据进程大小按比例分配物理块。
• 优先权分配算法：为重要紧迫的进程分配较多物理块。通常将物理块分成两部分，一部分按比例分配，另一部分根据优先权。分配

调入页面的时机

• 预调页策略：根据局部性原理，预测可能用到的页面，但目前成功率仅 50% ,因此主要用于进程首次调入，由程序员指出先调入哪些页。
• 请求调页策略：访问页面不存在，发出请求调入。易于实现，但通常每次仅仅调入一页，增加了磁盘 I/O 开销

何处调入页面

请求分页系统的外存分为两部分：

• 文件区：用于存放文件。采用离散分配方式。
• 对换区：用于存放对换页面，也称交换区。采用连续分配方式，因此磁盘 I/O 速度更快。

系统从何处将缺页调入内存：

• 系统拥有足够的对换空间
  • 可以全部从对换区调入，以提高调页速度。
  • 为此，进程运行之前，需要将与进程有关的文件从文件区复制到对换区。
• 系统缺少足够的对换空间
  • 不会被修改的文件从文件区调入；当换出这些页面时，由于它们不会被修改而不必再换出；
  • 对于可能被修改的部分，换出时必须放在对换区，以后需要再从对换区调入（由于 V读 > V写）
• UNIX 方式
  • 与进程有关的文件都放在文件区。
  • 运行过之后被换出的放在对换区。

进程请求的共享页面若被其他进程调入内存，则不必再次从对换区调入。

如何调入页面

• 内存未满
  • 启动磁盘 I/O，缺页调入内存并修改页表。
• 内存已满
  • 使用置换算法换出一页。
    • 若换出页面被修改过：写回磁盘，缺页调入内存，修改页表项，置存在位为 1。
    • 换出页码未被修改过：缺页调入内存，修改页表项，置存在位为 1

四. 页面置换算法

最佳（OPT）置换算法

• 原理：淘汰“以后永不使用”（或最长时间内不再访问）的页面。
• 缺点：由于人们无法预测进程会使用哪个页面，因此该算法无法实现。

先进先出（FIFO）置换算法

• 原理：将内存中页面按照调入顺序排为队列，发生对换时，淘汰队头（即最先调入内存的）页面。

最近最久未使用（LRU）置换算法

• 原理：淘汰最近最长时间未使用的页面。每个页面设置访问字段，记录从上次访问后经历的时间，将访问字段最大的页面对换出去。

时钟（CLOCK）置换算法

简单的 CLOCK 置换算法

• 原理：根据访问位 A，首次装入页面或被访问时，A=1；
  • 算法将内存中页面链接成一个循环队列，并设置一个替换指针。
  • 顺序查找替换页面，对 A=1 的页面将访问位置 0，给该类页面二次驻留内存的机会。 将 A=0 的页面被替换出来。

如果首次查找内存中所有页面访问位均为 1，则一次查找结束都为 0，第二轮查找指向页面即为替换页面。也称最近未使用（NRU）算法。

改进型 CLOCK 置换算法

• 原理：针对访问位 A 和修改位 M，产生以下四种页面。替换优先级从高到低依次排布：
  • A=0，M=0：最近未被访问，且未被修改，最佳淘汰页面。
  • A=0，M=1：最近未被访问，但已被修改，次佳淘汰页面。
  • A=1，M=0：最近已被访问，但未被修改，可能再次被访问。
  • A=1，M=1：最近已被访问，且已被修改，可能再次被访问。

原因：替换修改过的页面需要写回磁盘，置换代价更大。

算法总结对比

五. 抖动和工作集

• 抖动：页面置换过程中，发生刚换出的页面又被调入内存（需要访问）的现象，这种频繁的页面调入行为称为抖动或颠簸。

成因：分配给进程的物理块数量过少，不能满足进程基本运行的要求。

• 工作集：某段时间内，进程要访问的页面的集合。

六. 内存映射文件

• 定义：内存映射文件（Memory-Mapped Files）是 OS 向应用程序提供一个系统调用，在磁盘文件与进程的虚拟地址空间之间建立映射关系。
• 特点
  • 类似大字符数组，避免直接文件I/O操作。
  • OS 负责磁盘文件读写，对进程透明。
  • 映射时仅映射地址，实际内容按需读取。
  • 修改内容在进程退出或关闭映射时写回文件。进程间可通过映射相同文件至虚拟地址空间实现共享内存通信。各进程虚拟地址独立，但操作系统通过页表映射至相同物理内存。一进程写操作后，另一进程读取即可见前者修改结果。
• 优点：
  • 使程序员编程更简单。已建立映射的文件只需要按照访问内存的方式进行读写。
  • 方便多个进程共享同一个磁盘文件。