模拟分页式虚拟存储管理中地址转换和缺页中断

整理文档很辛苦,赏杯茶钱您下走!

免费阅读已结束,点击下载阅读编辑剩下 ...

阅读已结束,您可以下载文档离线阅读编辑

资源描述

合肥学院计算机科学与技术系实验报告2009~2010学年第一学期课程操作系统原理实验名称模拟分页式存储管理中硬件的地址转换和产生缺页中断学生姓名方岚王庆红王兆娟何佳丽专业班级07计本(1)指导教师屠菁2009年11月一、实验目的在计算机系统中,为了提高主存利用率,往往把辅助存储器(如磁盘)作为主存储器的扩充,使多道运行的作业的全部逻辑地址空间总和可以超出主存的绝对地址空间。通过这次实习理解在分页式存储管理中怎样实现虚拟存储器。深入了解分页式存储管理如何实现地址转换,进一步认识分页式虚拟存储管理中如何处理缺页中断。二、实验内容编写程序完成页式虚拟存储管理中地址转换过程和模拟缺页中断的处理。实验具体包括:首先对给定的地址进行地址转换工作,若发生缺页则先进行缺页中断处理,然后再进行地址转换;最后编写主函数对所作工作进程测试。假定主存64KB,每个主存块1024字节,作业最大支持到64KB,系统中每个作业分得主存块4块。三、实验步骤1.概要设计分页式存储管理中地址转换过程很简单,假定主存块的大小为2n字节,主存大小为2m'字节和逻辑地址m位,则进行地址转换时,首先从逻辑地址中的高m-n位中取得页号,然后根据页号查页表,得到块号,并将块号放入物理地址的高m'-n位,最后从逻辑地址中取得低n位放入物理地址的低n位就得到了物理地址,过程如图1所示。图1页式存储管理系统地址转换示意图地址转换是由硬件完成的,实验中使用软件程序模拟地址转换过程,模拟地址转换的流程图如图2.7所示(实验中假定主存64KB,每个主存块1024字节,即n=10,m'=16,物理地址中块号6位、块内地址10位;作业最大64KB,即m=16,逻辑地址中页号6位、页内地址10位)。页号页内地址块号块内地址页号…块号………物理地址逻辑地址m'nn-10mnn-10在分页式虚拟存储管理方式中,作业信息作为副本放在磁盘上,作业执行时仅把作业信息的部分页面装入主存储器,作业执行时若访问的页面在主存中,则按上述方式进行地址转换,若访问的页面不在主存中,则产生一个“缺页中断”,由操作系统把当前所需的页面装入主存储器后,再次执行时才可以按上述方法进行地址转换。页式虚拟存储管理方式中页表除页号和该页对应的主存块号外,至少还要包括存在标志(该页是否在主存),磁盘位置(该页的副本在磁盘上的位置)和修改标志(该页是否修改过)。缺页处理过程简单阐述如下:①根据当前执行指令中逻辑地址中的页号查页表,判断该页是否在主存储器中,若该页标志为“0”,形成缺页中断。中断装置通过交换PSW让操作系统的中断处理程序占用处理器;②操作系统处理缺页中断的方法就是查主存分配表,找一个空闲主存块;若无空闲块,查页表,选择一个已在主存的页面,把它暂时调出主存。若在执行过程中该页被修改过,则需将该页信息写回磁盘,否则不必写回;③找出该页的磁盘位置,启动磁盘读出该页信息,把磁盘上读出的信息装入第2步找到的主存块,修改页表中该页的标志为“1”;④由于产生缺页中断的那条指令没有执行完,所以页面装入后应重新执行被中断的指令。当重新执行该指令时,由于要访问的页面已在主存中,所以可正常执行。关于第②步的查找装入新页面的主存块的处理方式,不同系统采用的策略可能有所不同,这里采用局部置换算法,就是每个作业分得一定的主存块,只能在分得的主存块内查找空闲块,若无空闲主存块,则从该作业中选择一个页面淘汰出主存。2.详细设计(1).分页式虚拟存储系统是把作业信息的副本存放在磁盘上,当作业被选中时,可把作业的开始几页装入主存且启动执行。为此,在为作业建立页表时,应说明哪些页已在主存,哪些页尚未装入主存,页表的格式如表1:表1作业页表格式页号标志主存块号在磁盘上的位置主要数据结构设计structinfo//页表{boolflag;标志//用来表示对应页是否已经装入主存,标志位=1,则表示页已经在主存,标志位=0,则表示该页尚未装入主存。longblock;主存块号//用来表示已经装入主存的页所站的块号longdisk;磁盘位置即磁盘块号//用来指出作业副本的每一页被存放在磁盘上的位置}pagelist[SizeOfPage];//定义结构体用来存储页表信息(2).作业执行时,指令中的逻辑地址指出了参加运算的操作数存放的页号和单元号,硬件的地址转换机构按页号查页表,若该页对应标志为“1”,则表示该页已在主存,根据关系式:绝对地址=块号×块长+单元号计算出欲访问的主存单元地址。若访问的页对应标志为“0”,则表示该页不在主存,这时硬件发“缺页中断”信号,由操作系统按该页在磁盘上的位置,把该页信息从磁盘读出装入主存后再重新执行这条指令。(3).设计一个“地址转换”函数work_ex()来模拟硬件的地址转换工作。当访问的页在主存时,则形成绝对地址。当访问的页不在主存时,则输出“*该页页号”,表示产生了一次缺页中断。(4).假定主存的每块长度为128字节;现有一个共七页的作业,在函数init_ex()中对页表初始化,将第0页到第3页中的内容装入主存中,其余三页未装入主存;该作业的页表如表2:表2主存中页表格式015011118012219013311021400225002360121如果作业依次为执行的指令序列,作业执行指令序列表,如表3:表3作业执行指令序列表操作页号单元号操作页号单元号+0070移位4053+1050+5023×2015存1037存3021取2078取0056+4001-6040存6084(5).在主函数intmain()中调用函数work_ex()和函数init_ex(),实现地址的转换和产生缺页中断。3.算法设计函数名intmain()功能实现地址转换。流程图如:图2所示图2地址转换的主程序流程图否是结束取下一条指令有后继指令?是输出绝对地址形成绝对地址否输出“*”页号表示发生缺页中断该页标志=1?查页表取指令中访问的页号取一条指令开始4.结果显示:地址转换——在主存,输出绝对地址;不在,输出*。如图2所示:图2地址转换四、参考资料:《计算机操作系统》汤子瀛哲凤屏汤小丹编著西安电子科技大学出版社《C++程序设计》吴乃陵李海文编著高等教育出版社《C语言程序设计》谭浩强编著清华大学出版社五、实验总结我们的题目是模拟分页式存储管理中硬件的地址转换和产生缺页中断,主要的思路和步骤就是根据流程图走下来的。在这个实验中由于所学的知识有限,为了理解在分页式存储管理中怎样实现虚拟存储器,做了很多知识准备工作,参考了相关书籍资料,对怎样产生和处理缺页中断有了一定的了解。在对题目深刻了解后我们就开始编程,在编程中我们遇到许多语法错误和语意错误,因此,在调试上运用了大量的时间。但最后在老师和同学的帮助下,问题都得到了解决,收获是很大的。而且我在编程是也掌握了不少编程技巧。并在这次的编写过程中,培养了团结合作的精神,大家分工合作,共同讨论,最终完成了这次设计。通过做本次实验,我们对分页式虚拟存储管理系统和缺页中断有了更深入的认识。在分页式虚拟存储系统中是把作业信息的副本存放在磁盘上。而在请求分页系统中,每当所要访问的页面不在内存时,便产生一次缺页中断,请求OS将所缺之页调入内存。本次实验即是做模拟分页式存储管理中硬件的地址转换和缺页中断。通过编写模拟硬件的地址转换工作的程序,不仅加深了我们对绝对地址如何转换的理解,同时也锻炼了我们的编程能力。六、附录#includestdio.h#includestring.h#defineSizeOfPage100#defineSizeOfBlock128#defineM4structinfo//页表{boolflag;//标志longblock;//块号longdisk;//在磁盘上的位置}pagelist[SizeOfPage];longP[M];voidinit_ex()//把页表初始化{pagelist[0].flag=1;pagelist[0].block=5;pagelist[0].disk=011;pagelist[1].flag=1;pagelist[1].block=8;pagelist[1].disk=012;pagelist[2].flag=1;pagelist[2].block=9;pagelist[2].disk=013;pagelist[3].flag=1;pagelist[3].block=1;pagelist[3].disk=021;pagelist[4].flag=0;pagelist[4].disk=022;pagelist[5].flag=0;pagelist[5].disk=023;pagelist[6].flag=0;pagelist[6].disk=121;}voidwork_ex(){boolstop=0;//stop=1,结束程序;stop=0,继续程序longp,q;chars[128];do{printf(请输入指令的页号和单元号:\n);if(scanf(%ld%ld,&p,&q)!=2)//输入的数不是两个数{scanf(%s,s);if(strcmp(s,exit)==0){stop=1;}}else{if(pagelist[p].flag==1)//标志为1,则该页在内存中{printf(绝对地址=%ld\n,pagelist[p].block*SizeOfBlock+q);}else{printf(*%ld\n,p);}}}while(!stop);//只要stop!=1,执行程序}voidmain(){init_ex();work_ex();}

1 / 9
下载文档,编辑使用

©2015-2020 m.777doc.com 三七文档.

备案号:鲁ICP备2024069028号-1 客服联系 QQ:2149211541

×
保存成功