虚拟存储器的基本概念
1.常规存储器管理方式的特征
一次性:作业在运行前一次性地全部装入内存
驻留性:作业装入内存后,便一直驻留在内存中,直至作业运行结束。
2.局部性原理
-
时间局部性
被引用过一次的存储器位置很可能在不远的将来再被多次引用。 -
空间局部性
如果一个存储器位置被引用了一次,那么程序很可能在不远的将来引用附近的一个存储器位置。
基于局部性原理
- 程序运行前,不需全部装入内存(打破一次性)
*仅装入当前要运行的部分页面或段即可运行,其余部分暂留在外存上。
*缺页/段的情况:要访问的页(段) 尚未调入内存。程序应利用OS所提供的请求调页(段)功能,将它们调入内存,使程序继续执行。 - 调入需要的页/段时,如果内存已满,无法再装入新页(段),通过置换功能将内存中暂时不用的页(段)调至外存,腾出足够的内存空间。(不总驻留)
交换技术与虚存使用的调入调出技术 相同点与区别:”
*主要相同点是都要在内存与外存之间交换信息;
*主要区别在于交换技术换出换进一般是整个进程(proc结构和共享正文段除外),因此一个进程的大小受物理存储器的限制;
而虚存中使用的调入调出技术在内存与外存之间来回传递的是存储页或存储段,而不是整个进程,从而使得进程映射具有了更大的灵活性,且允许进程的大小比可用的物理存储空间大的多 。
3.虚拟存储器的定义:
所谓“虚拟存储器”,是指具有请求调入功能和置换功能,能从逻辑上对内存容量加以扩充的一种存储器系统。
虚拟存储管理下:
- 内存逻辑容量由内存容量和外存容量之和所决定
- 运行速度接近于内存速度
- 每位的成本却接近于外存。
4.虚拟存储器的实现:
虚拟存储管理:
允许将一个作业分多次调入内存。
若采用连续分配方式,需申请足够空间,再分多次装入,造成内存资源浪费,并不能从逻辑上扩大内存容量。
虚拟的实现建立在离散分配存储管理基础上
- 方式:请求分页/请求分段系统
- 细节:分页/段机构、中断机构、地址变换机构、软件支持
5.虚拟存储器的特征:
离散分配方式是基础
- 多次性:一个作业被分成多次调入内存运行
- 对换性:允许在作业的运行过程中进行换进、换出。(进程整体对换不算虚拟)
- 虚拟性:能够从逻辑上扩充内存容量,使用户所看到的内存容量远大于实际内存容量。
请求分页存储管理方式
1)硬件支持
-
页表机制
(1)状态位P :指示该页是否已调入内存。
(2)访问字段A :用于记录本页在一段时间内被访问的次数,或记录本页最近已有多长时间未被访问。(置换时考量的参数)
(3)修改位M :该页在调入内存后是否被修改过。(关系到置换时调出的具体操作)
(4)外存地址:用于指出该页在外存上的地址。 -
缺页中断机构
每当要访问的页面不在内存时,便产生一缺页中断通知OS,OS则将所缺之页调入内存。作为中断,需经历几个步骤:
a)“保护CPU环境”
b)“分析中断原因”
c)“转入缺页中断处理程序”
d)“恢复CPU环境”等。
作为一种特殊中断,与一般中断有明显区别:
(1) 在指令执行期间产生和处理中断信号。
(2) 一条指令在执行期间,可能产生多次缺页中断。 -
地址转换机构
2)内存分配
①最小物理块数的确定
- 少于此数量进程将不能运行
- 与计算机的硬件结构有关,取决于指令的格式、功能和寻址方式
②物理块的分配策略
-
固定分配、局部置换
*为每个进程分配一定数目的物理块,在整个运行期间不再改变(基于进程的类型,或根据程序员、程序管理员的建议)
*运行中缺页时,只能从该进程内存中n个页面中选出一页换出,然后再调入一页。
困难:难以把握为每个进程分配“适量”物理块数
-
可变分配、全局置换
*先为每个进程分配一定数目的物理块
*OS管理一个空闲物理块队列,发生缺页时,系统从队列中取出一块分配给该进程,将欲调入的页装入(动态增长型,全局空闲空间都可分配使用)
*空闲空间不足时,可与其他任何进程页面置换。“会使其他进程缺页率提高,影响运行”
*最易实现
-
可变分配、局部置换
*为每个进程分配一定数目的物理块
*缺页时,只允许换出该进程在内存的页面,不影响其他进程执行。
*根据缺页率增减进程的物理块数:若频繁缺页中断,则系统再为进程分配若干物理快;若缺页率特别低,则适当减少分配给该进程的物理块。
③物理块的分配算法
-
平均分配算法
*将所有可供分配的物理块平均分配给各进程。
*缺点:未考虑各进程本身的大小,利用率不均。 -
按比例分配算法
*根据进程的大小按比例分配物理块。
设系统中共有n个进程则,每个进程能分到的物理块数:
Si:进程i页面数为;
S:n个进程页面数总和;
m:可用物理块总数
(PS: b应取整,且必须大于最小物理块数。) -
考虑优先权的分配算法
实际应用中,要照顾重要、急迫的作业尽快完成,为它分配较多的内存空间。
所有可用物理块分两部分:
- 一部分按比例分配给各进程;
*另一部分根据各进程优先权,适当地为其增加份额,分配给各进程。
3)调页策略(该内容见下篇)
请求分段存储管理方式
1)请求分段中的硬件支持
-
段表机制
(1)存取方式 :用于标识本分段的存取属性。R,R/W,W
(2) 访问字段A :用于记录本段被访问的频繁程度。
(3) 修改位M :表示该段在调入内存后是否被修改过。
(4) 存在状态位P :指示该段是否已调入内存。
(5) 增补位 :特有字段,表示该段运行中是否做过动态增长
(6) 外存地址:用于指出该段在外存上的起始地址(盘块号)。 -
缺段中断机构
发现运行进程所访问段尚未调入内存
①由缺段中断机构产生一缺段中断信号
②进入OS,由缺段中断处理程序将所需的段调入内存。
③缺段中断同样在一条指令的执行期间产生和处理中断,一条指令执行可能产生多次缺段中断。但不会出现一条指令被分割在两个分段中或一组信息被分割在两个分段中的情况。 -
地址变换机构
基于分段系统地址变换机构的基础
段调入内存
修改段表
再利用段表进行地址变换。
总之:就是增加了缺段中断的请求及处理等功能。
2)分段的共享和保护
-
实现共享:共享段表
在内存中配置一张共享段表,每个共享段都占有一表项,记录如下内容:
共享计数count:
共享段为多个进程所需要,当某进程不再需要它而释放它时,系统并不回收该段所占内存区,仅当所有共享该段的进程全都不再需要它时,才由系统回收该段所占内存区。设置count用于记录有多少个进程需要共享该分段。
存取控制字段:
一个共享段给不同的进程以不同的存取权限。
段号:
对一个共享段,不同的进程可用不同的段号。
-
共享端如何分享与回收
共享段的分配
*第一个请求使用该共享段的进程A:系统为该共享段分配一物理区,再把共享段装入该区;
*将该区的始址填入A的段表相应项;
*共享段表中增加一表项,填写有关数据,count置1;
*其他进程B也调用该共享段时,无需再为该段分配内存,只需在B的段表中增加一表项,填写该共享段的物理地址;在共享段的段表中,填上调用进程的进程名、存取控制等,再执行count:=count+1操作。
共享段的回收
*包括撤消在进程段表中共享段所对应的表项,执行count:=count-1。
*如果count为0,则由系统回收该共享段的物理内存,并取消共享段表中该段所对应的表项。 -
分段保护
·越界检查
**段表寄存器存放了段表长度;段表中存放了每个段的段长。
**在进行存储访问时,将段号与段表长度比较,段内地址与段长比较。
·存取控制检查
**尤其表现在不同进程对共享段的不同使用上。段表每个表项都设置“存取控制”字段,规定该段的访问方式:只读,只执行,读/写
·环保护机构
**规定:低编号的环具有高优先权
**遵循的原则:一个程序可以访问驻留在相同环或较低特权环中的数据。一个程序可以调用驻留在相同环或较高特权环中的服务