发布时间 : 星期二 文章操作系统实验六 - 虚拟存储器实验报告更新完毕开始阅读
实验六 虚拟存储器
一、实验内容
模拟分页式虚拟存储管理中硬件的地址转换和缺页中断，以及选择页面调度算法处理缺页中断。
二、实验目的
在计算机系统中，为了提高主存利用率，往往把辅助存储器（如磁盘）作为主存储器的扩充，使多道运行的作业的全部逻辑地址空间总和可以超出主存的绝对地址空间。用这种办法扩充的主存储器称为虚拟存储器。通过本实验帮助同学理解在分页式存储管理中怎样实现虚拟存储器。
三、实验题目
本实验有三道题目，其中第一题必做，第二，三题中可任选一个。 第一题：模拟分页式存储管理中硬件的地址转换和产生缺页中断。 [提示]
（1） 分页式虚拟存储系统是把作业信息的副本存放在磁盘上，当作业被选中时，可把作
业的开始几页先装入主存且启动执行。为此，在为作业建立页表时，应说明哪些页已在主存，哪些页尚未装入主存，页表的格式为： 页号 标志 主存块号 在磁盘上的位置
其中，标志----用来表示对应页是否已经装入主存，标志位=1，则表示该页已经在主
存，标志位=0，则表示该页尚未装入主存。 主存块号----用来表示已经装入主存的页所占的块号。
在磁盘上的位置----用来指出作业副本的每一页被存放在磁盘上的位置。
（2） 作业执行时，指令中的逻辑地址指出了参加运算的操作存放的页号和单元号，硬件
的地址转换机构按页号查页表，若该页对应标志为“1”，则表示该页已在主存，这时根据关系式：
绝对地址=块号×块长+单元号
计算出欲访问的主存单元地址。如果块长为2的幂次，则可把块号作为高地址部分，把单元号作为低地址部分，两者拼接而成绝对地址。若访问的页对应标志为“0”，则表示该页不在主存，这时硬件发“缺页中断”信号，有操作系统按该页在磁盘上
的位置，把该页信息从磁盘读出装入主存后再重新执行这条指令。
（3） 设计一个“地址转换”程序来模拟硬件的地址转换工作。当访问的页在主存时，则
形成绝对地址，但不去模拟指令的执行，而用输出转换后的地址来代替一条指令的执行。当访问的页不在主存时，则输出“* 该页页号”，表示产生了一次缺页中断。该模拟程序的算法如图6-1。
开始
结束 图6-1 地址转换模拟算法
有后继指令？ 取下一条指令 输出绝对地址 形成绝对地址 输出“*”页号表 示发生缺页中断 是 该页标志=1？ 否 查页表 取指令中访问的页号 取一条指令 （4） 假定主存的每块长度为128个字节；现有一个共七页的作业，其中第0页至第3页
已经装入主存，其余三页尚未装入主存；该作业的页表为：
0 1 2 3 4 5 6 1 1 1 1 0 0 0 单元号 70 50 15 21 56 40 5 8 9 1 操作 移位 + 存 取 + 存 011 012 013 021 022 023 121 页号 4 5 1 2 4 6 单元号 053 023 037 078 001 084 如果作业依次执行的指令序列为： 操作 + + × 存 取 － 页号 0 1 2 3 0 6
（5） 运行设计的地址转换程序，显示或打印运行结果。因仅模拟地址转换，并不模拟指
令的执行，故可不考虑上述指令序列中的操作。
第二题：用先进先出（FIFO）页面调度算法处理缺页中断。 [提示]：
（1） 在分页式虚拟存储系统中，当硬件发出“缺页中断”后，引出操作系统来处理这个
中断事件。如果主存中已经没有空闲块，则可用FIFO页面调度算法把该作业中最先进入主存的一页调出，存放到磁盘上，然后再把当前要访问的页装入该块。调出和装入后都要修改页表页表中对应页的标志。
（2） FIFO页面调度算法总是淘汰该作业中最先进入主存的那一页，因此可以用一个数组
来表示该作业已在主存的页面。假定作业被选中时，把开始的m个页面装入主存，则数组的元素可定为m个。例如：
P[0]，P[1]，….，P[m-1]
其中每一个P[i]（i=0，1，….，m-1）表示一个在主存中的页面号。它们的初值为： P[0]:=0，P[1]:=1，….，P[m-1]:=m-1
用一指针k指示当要装入新页时，应淘汰的页在数组中的位置，k的初值为“0”。 当产生缺页中断后，操作系统选择P[k]所指出的页面调出，然后执行：
P[k]:=要装入页的页号 k:=(k+1) mod m
再由装入程序把要访问的一页信息装入到主存中。重新启动刚才那条指令执行。
（3） 编制一个FIFO页面调度程序，为了提高系统效率，如果应淘汰的页在执行中没有
修改过，则可不必把该页调出（因在磁盘上已有副本）而直接装入一个新页将其覆盖。因此在页表中增加是否修改过的标志，为“1”表示修改过，为“0”表示未修改过，格式为：
页号 标志 主存块号 修改标志 在磁盘上的位置
由于是模拟调度算法，所以，不实际启动输出一页和装入一页的程序，而用输出调出的页号和装入的页号来代替一次调出和装入的过程。
把第一题中程序稍作修改，与本题结合起来，FIFO页面调度模拟算法如图6-2。