实验二虚拟存储器

实验二虚拟存储器一、实验内容模拟分页式虚拟存储管理中硬件的地址转换和缺页中断，以及选择页面调度算法处理缺页中断。二、实验目的在计算机系统中，为了提高主存利用率，往往把辅助存储器（如磁盘）作为主存储器的扩充，使多道运行的作业的全部逻辑地址空间总和可以超出主存的绝对地址空间。用这种办法扩充的主存储器称为虚拟存储器。通过本实验帮助同学理解在分页式存储管理中怎样实现虚拟存储器。三、设计说明功能说明：模拟分页式存储管理中硬件的地址转换和产生缺页中断。（1）分页式虚拟存储系统是把作业信息的副本存放在磁盘上，当作业被选中时，可把作业的开始几页先装入主存且启动执行。为此，在为作业建立页表时，应说明哪些页已在主存，哪些页尚未装入主存，页表的格式为：页号标志主存块号在磁盘上的位置其中，标志----用来表示对应页是否已经装入主存，标志位=1，则表示该页已经在主存，标志位=0，则表示该页尚未装入主存。主存块号----用来表示已经装入主存的页所占的块号。在磁盘上的位置----用来指出作业副本的每一页被存放在磁盘上的位置。（2）作业执行时，指令中的逻辑地址指出了参加运算的操作存放的页号和单元号，硬件的地址转换机构按页号查页表，若该页对应标志为“1”，则表示该页已在主存，这时根据关系式：绝对地址=块号×块长+单元号计算出欲访问的主存单元地址。如果块长为2的幂次，则可把块号作为高地址部分，把单元号作为低地址部分，两者拼接而成绝对地址。若访问的页对应标志为“0”，则表示该页不在主存，这时硬件发“缺页中断”信号，有操作系统按该页在磁盘上的位置，把该页信息从磁盘读出装入主存后再重新执行这条指令。（3）设计一个“地址转换”程序来模拟硬件的地址转换工作。当访问的页在主存时，则形成绝对地址，但不去模拟指令的执行，而用输出转换后的地址来代替一条指令的执行。当访问的页不在主存时，则输出“*该页页号”，表示产生了一次缺页中断。该模拟程序的算法如图2-1。图2-1地址转换模拟算法（4）假定主存的每块长度为128个字节；现有一个共七页的作业，其中第0页至第3页已经装入主存，其余三页尚未装入主存；该作业的页表为：015011118012219013311021400225002360121查页表输出“*”页号表示发生缺页中断形成绝对地址输出绝对地址有后续指令？结束取下一条指令否是该页标志=1？如果作业依次执行的指令序列为：操作页号单元号操作页号单元号+070移位4053+150+5023×215存1037存321取2078取056+4001－640存6084（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)modm再由装入程序把要访问的一页信息装入到主存中。重新启动刚才那条指令执行。（3）编制一个FIFO页面调度程序，为了提高系统效率，如果应淘汰的页在执行中没有修改过，则可不必把该页调出（因在磁盘上已有副本）而直接装入一个新页将其覆盖。因此在页表中增加是否修改过的标志，为“1”表示修改过，为“0”表示未修改过，格式为：由于是模拟调度算法，所以，不实际启动输出一页和装入一页的程序，而用输出调出的页号和装入的页号来代替一次调出和装入的过程。页号标志主存块号修改标志再磁盘上的位置结构说明：作业：操作页号单元号操作页号单元号+070移位4053+150+5023×215存1037存321取2078取056+4001－640存6084页表：页号标志主存块号修改标志在磁盘的位置01501111801221901331102140NULL02250NULL02360NULL0121流程图：是否是否否（产生缺页中断）是模拟FIFO页面调度模拟硬件地址转换取一条指令开始该页标志=1？取指令中访问的页号→L查页表形成绝对地址输出绝对地址有后继指令？取下一条指令是存指令？置L页修改标志为“1”结束j:=P[k]j页修改标志为1输出“outj”输出“inL”P[k]:=L,k:=(k+1)modm修改页表图2-2FIFO页面调度模拟算法四、测试和使用说明1、程序开发环境：Visualstudio2013运行环境：windows操作系统2、测试用例和运行结果程序运行截图：