2 虚拟内存
**定义:**具有请求调入和置换功能,能从逻辑上对内存容量加以扩充的一种存储器系统。其逻辑容量由内存和外存之和决定。
虚拟内存允许执行进程不必完全在内存中。
虚拟内存的基本思想是:每个进程拥有独立的地址空间,这个空间被分为大小相等的多个块,称为页(Page)。
每个页都是一段连续的地址,这些页被映射到物理内存,但是并不是所有的页都必须在内存中才能运行程序。
当程序引用到一部分在物理内存中的地址空间时,由硬件立刻进行必要的映射;
当程序引用到一部分不在物理内存中的地址空间时,由操作系统负责将缺失的部分装入物理内存并重新执行失败的命令。
这样,对于进程而言,逻辑上似乎有很大的内存空间,实际上其中一部分对应物理内存上的一块(称为帧,通常页和帧大小相等),还有一些没家在在内存中的对应在磁盘上。
如下图所示:
注意:请求分页系统、请求分段系统和请求页式系统都是针对虚拟内存的,通过请求实现内存与外存的信息置换。
由上图可以看出,虚拟内存实际上比物理内存大。
当访问虚拟内存时,会访问MMU(内存管理单元)去匹配对应的物理地址(比如上图中的0,1,2)。
如果虚拟内存的页并不存在于物理内存中(如上图中的3,4),会产生缺页中断,从磁盘中取得缺的页放入内存,如果内存已满,还会根据某种算法将磁盘中的页换出。
-
与传统存储器比较虚拟存储器有以下三个主要特征:
(1)多次性:是指无需在作业运行时一次性的全部装入内存,而是允许被分成多次调入内存运行
(2)对换性,是指无需在作业运行时一直常驻内存,而是允许在作业的运行过程中,进行换进和换出
(3)虚拟性,是指从逻辑上扩充内存的容量,使用户所看到的内存容量,远大于实际的内存容量 -
虚拟内存的实现有以下两种方式
(1)请求分页存储管理
(2)请求分段存储管理
3 页面置换算法
-
FIFO先进先出算法
在操作系统中经常被用到,比如作业调度(主要实现简单,很容易想到)
该算法总是淘汰最先进入内存的页面,即选择在内存中驻留时间最久的页面予以淘汰。 -
LRU(Last recently use) 最近最久使用算法
根据使用时间到现在的长短来判断
该算法是选择最近最久未使用的页面予以淘汰,系统在每个页面设置一个访问字段,用以记录这个页面上次被访问以来所经历的时间T,当要淘汰一个页面时,选择T最大的页面 -
LFU(Least frequently use) 最少使用次数算法
根据使用次数来判断
该算法选择最近时期使用最少的页面作为淘汰页 -
OPT(Optimal replacement ) 最优置换算法
理论的最优,理论:就是要保证置换出去的是不再被使用的页,或者是在实际内存中最晚使用的算法