［读书笔记］虚拟内存

最新推荐文章于 2020-08-26 13:29:56 发布

sugaryaruan

最新推荐文章于 2020-08-26 13:29:56 发布

阅读量985

点赞数 1

分类专栏：操作系统文章标签：读书笔记虚拟内存管理

本文链接：https://blog.csdn.net/sugaryaruan/article/details/50742705

版权

操作系统专栏收录该内容

6 篇文章 0 订阅

订阅专栏

引入虚拟内存的逻辑考量

进程中的所有内存访问都是逻辑地址，这些逻辑地址在运行时动态地转换成物理地址。这意味着一个进程可以被换入或换出内存，使得进程可以在执行过程中的不同时刻占据内存中的不同区域

一个进程可以划分成许多块，在执行过程中，这些块不需要连续地位于内存中的不同区域

进程在执行过程中，如果内存中保存着要取的下一条指令的所在块，以及将要访问的下一个数据单元的所在块，那么执行将继续下去。基于此，引入常驻集的概念(进程执行中任何时候都在内存的部分)。当进程执行时，只要所有的内存访问都是在常驻集中，执行就可以顺利进行。基于此
，这里的“块”就是上篇讲到的页或者段。使用段表或者页表纪录进程所有的块。

如果处理器需要访问一个不在内存中的逻辑地址（处理访问的块不在内存中），则产生一个中断，操作系统把被中断的进程置于阻塞态，
同时把该逻辑地址的进程块读入内存（常驻集）中。这个过程就是虚拟内存换入常驻集的过程。
在这个磁盘I/O中断期间，操作系统可以调度另一个进程运行。具体如何调度在下篇中讲到。
一旦需要的块成功读入内存，则产生一个I/O中断，控制权从另一个进程交回来，原来处于阻塞态的进程置为就绪态。

虚存支持更有效的多道程序设计，并解除了用户和内存之间的紧密联系。

虚拟内存可行的依据

局部性原理描述了一个进程中程序和数据引用的集簇倾向。局部性原理说明了虚拟内存方案是可行的。

虚拟内存分页

页表结构

P位
表示它所对应的页当前是否在内存中
M位
表示相应页的内容从上一次装入内存中到现在是否已经改变

使用页表把虚拟地址（逻辑地址）转换到物理地址。虚拟地址的页号用于检索页表／查找相应的页框号，并与虚拟地址的偏移量组合起来产生需要的实地址。

大多数虚拟内存方案都在虚存而非实存中保存页表，因此页表和其他页一样都服从分页管理。一个进程正在运行时，它的页表一部分必须在内存中，这一部分包括正在运行的页的页表项，另一部分在虚拟内存中。典型情况下，一个页表的最大长度被限制位一页。

对于大型页表，有多种方案。

两级方案组织大型页表

在这类方案中有一个页目录，每一项指向一个页表，因此如果页目录长度X，并且如果一个页表最大长度是Y，那么这个进程可以有X＊Y页。

缺陷是：页表大小与虚拟地址空间的大小成正比。

倒排页表

虚拟地址的页号部分使用一个简单的散列函数映射到散列表中。散列表包含一个指向倒排表的指针，而倒排表中含有页表项。由于多个需您地址可能映射到同一个散列表项中（同义词），因此需要使用一种链接技术管理这种溢出。

＃倒排页表里的页结构

页号
进程标识符
控制位
链指针

转换检测缓冲区

虚拟内存方案为页表项使用一个特殊的高速缓存，称为转换检测缓冲区（TLB），包含最近用过的页表项。

一次缓冲的工作过程

给定一个虚拟地址，处理器检查TLB
如果需要的页表项在其中（TLB命中），则检索页框号并形成实地址
如果TLB未命中，处理器用也好检索进程页表，并检查页框号并形成实地址，同时更新TLB，使其包含着歌新的页表项。
缺页中断
如果页表项中的P位没有置位，则表示需要的页不在内存中，这时将产生一次内存访问故障。