虚拟内存的起因及其目标

background:

使用硬盘/磁盘使更多的程序在有限的内存中运行
比如: 游戏的内存大小 让我们必须拥有更大内存的电脑
理想的存储器 : 更大更快更便宜和非易失性的存储区

交换技术 & 覆盖技术

如果是程序太多, 超过了内存的容量, 可以采用自动的交换(swapping)技术, 把暂时不能执行的程序送到外存(硬盘)中
目的 : 多道程序在内存时, 让正在运行的程序或需要运行的程序获得更多的内存资源
原理 :
可将暂时不能运行的程序送到外存, 从而获得空闲内存空间. 操作系统把一个进程的整个地址空间的内容保存到外存中(换出 swap out), 而将外存中的某个进程的地址空间读入到内存中(换入 swap in). 换入换出内容的大小为整个程序的地址空间.
缺点:
交换的程序如果内存很大, 那么开销就非常大


如果是程序太大, 超出了内存的容量, 可以采用手动的概率(overlay)技术, 只把需要的指令和数据保存在内存当中
目的 : 是在较小的可用内存中运行较大的程序, 常用于多道程序系统, 与分区存储管理配合使用.
原理 :
把程序按照其自身逻辑结构, 划分为若干个功能上相互独立的程序模块, 那些不会同时执行的模块共享同一块内存区域, 按时间先后来运行.

  • 必要部分(常用功能)的代码和数据常驻内存;
  • 可选部分(不常用功能)在其他程序模块中实现, 平时存放在外存中, 在需要用到时才装入内存;
  • 不存在调用关系的模块不必同时装入到内存, 从而可以相互覆盖, 即这些模块共用一个分区.

也就是说,程序松耦合的部分可以按需装入内存,不需要的时候放在外存中,多个不常用部分共用一个分区.

虚拟内存管理技术

在覆盖和交换技术无法处理的情况下,我们就需要另外使用其他的方法来解决程序在内存中的占比技术

目标:

  • 像覆盖技术那样, 不是把程序的所有内容都放在内存中, 因而能够运行比当前的空闲内存空间还要大的程序**. 但做的更好, 由操作系统自动来完成, 无需程序员的干涉.**
  • 像交换技术那样, 能够实现进程在内存与外存之间的交换, 因而获得更多的空闲内存空间. 但做的更好, 只对进程的部分内容在内存和外存之间进行交换.

总而言之, 就是将交换技术 & 覆盖技术合并其优点来完成。

程序的局部性原理

程序的局部性原理(principle of locality) : 指程序在执行过程中的一个较短时期, 所执行的指令地址和指令的操作数地址, 分别局限于一定的区域.

  • 时间局部性 : 一条指令的一次执行和下次执行, 一个数据的一次访问和下次访问都集中在一个较短时期内 ;
  • 空间局部性 : 当前指令和邻近的几条指令, 当前访问的数据和邻近的几个数据都集中在一个较小区域内.

程序的局部性原理表明,** 从理论上来说, 虚拟存储技术是能够实现的. 而且在实现了以后应该是能够取得一个满意的效果**.

基本概念 & 特征

  • 可以在页式或段式内存管理的基础上实现
    • 在装入程序时, 不必将其全部装入内存, 而只需将当前需要执行的部分页面或段装入到内存中, 就可以让程序开始执行;
    • 在程序执行过程中, 如果需执行的指令或访问的数据尚未在内存中(称为缺页或缺段), 则由处理器通知操作系统将相应的页面或段调入到内存, 然后继续执行程序;
    • 另一方面, 操作系统将内存中暂时不使用的页面或段调出保存在外存上, 从而腾出更多空闲内存空间存放将要装入的程序以及将要调入的页面或段.
  • **基本特征: **
    • 大的用户空间 : (相当于把硬盘当作内存)通过把物理内存和外存相结合, 提供给用户的虚拟内存空间通常大于实际的物理内存, 即实现了这两者的分离. 如32位的虚拟地址理论上可以访问4GB, 而可能计算机上仅有256M的物理内存, 但硬盘容量大于4GB.
    • 部分交换 : 与交换技术相比较, 虚拟存储的调入和调出是对部分虚拟地址空间进行的;
    • 不连续性 : 物理内存分配的不连续性, 虚拟地址空间使用的不连续性.

虚拟页式内存管理

image.png
页式内存管理
页表 : 完成逻辑页到物理页帧的映射

根据页号去页表中寻找索引, 先查看 resident bit 是否为0, 0表示不存在, 1表示映射关系存在, 获得帧号加上原本的偏移, 获得了物理地址.

虚拟页式内存管理

  • 大部分虚拟存储系统都采用虚拟页式存储管理技术, 即在页式存储管理的基础上, 增加请求调页和页面置换功能.
  • 基本思路
    • 当一个用户程序要调入内存运行时, 不是将该程序的所有页面都装入内存, 而是只装入部分的页面, 就可启动程序运行.
    • 在运行的过程中, 如果发现要运行的程序或要访问的数据不再内存, 则向系统发出缺页的中断请求, 系统在处理这个中断时, 将外存中相应的页面调入内存, 使得该程序能够继续运行.

image.png

  • 页表表项逻辑页号 | 访问位 | 修改位 | 保护位 | 驻留位 | 物理页帧号
    • 驻留位 : 表示该页是在内存中还是在外存. (1[内存中] ; 0 [外存中] )
    • 保护位 : 表示允许对该页 做何种类型的访问, 如只读, 可读写, 可执行等
    • 修改位 : 表示此页在内存中是否被修改过. 当系统回收该物理页面时, 根据此位来决定是否把它的内容写回外存
    • 访问位 : 如果该页被访问过(包括读写操作), 则设置此位. 用于页面置换算法.

image.png

  • **缺页中断处理过程 :**在何处保存未被映射的页?后备存储(二级存储) :
    1. 如果在内存中有空闲的物理页面, 则分配一物理页帧f, 然后转第4步; 否则转到第2步;
    2. 采用某种页面置换算法, 选择一个将被替换的物理页帧f, 它所对应的逻辑页为q, 如果该页在内存期间被修改过, 则需要把它写回外存;
    3. 对q所对应的页表项修改, 把驻留位置为0;
    4. 将需要访问的页p装入到物理页面f当中;
    5. 修改p所对应的页表项的内容, 把驻留位置为1, 把物理页帧号置为f;
    6. 重新运行被中断是指令.

后备存储

在何处保存未被映射的页 ?

  • 能够简单地识别在二级存储器中的页
  • 交换空间(磁盘或者文件) : 特殊格式, 用于存储未被映射的页面

后备存储概念 :

  • 一个虚拟地址空间的页面可以被映射到一个文件(在二级存储中)的某个位置
  • 代码段 : 映射到可执行二进制文件
  • 动态加载的共享库程序段 : 映射到动态调用的库文件
  • 其他段 : 可能被映射到交换文件(swap file)

虚拟内存性能

为了便于理解分页的开销, 使用有效存储器访问时间 effective memory access time (EAT)
EAT = 访存时间 * 页表命中几率 + page fault处理时间 * page fault几率
实例 :

  • 访存时间 : 10 ns
  • 磁盘访问时间 : 5 ms
  • 参数 p = page fault 几率
  • 参数 q = dirty page 几率
  • (对页面写操作)EAT = 10*(1-p) + 5000000p(1+q)