操作系统原理实验指导书(软件).doc

《操作系统原理实验指导书(软件).doc》由会员分享，可在线阅读，更多相关《操作系统原理实验指导书(软件).doc（14页珍藏版）》请在淘文阁 - 分享文档赚钱的网站上搜索。

1、 操作系统原理课程实验指导书编写人：郭伟 李建东软件工程系辽宁工程技术大学软件学院2008 年 10 月 10 日目 录实验一 进程同步与互斥1实验二 银行家算法实现资源分配4实验三 调度算法的使用7实验四 请求页式存储管理10实验一 进程同步与互斥一、实验目的1 掌握基本的同步与互斥算法，理解生产者消费者模型。2 学习使用Windows 2000/XP中基本的同步对象，掌握相关API的使用方法。3 了解Windows 2000/XP中多线程的并发执行机制，实现进程的同步与互斥。二、实验内容以生产者/消费者模型为依据，在Windows 2000环境下创建一个控制台进程，在该进程中创建n个线程模

2、拟生产者和消费者，实现进程(线程)的同步与互斥。三、实验性质验证性四、实验学时2学时五、实验环境C与C+程序设计学习与实验系统 六、实验原理及步骤假设这些生产者和消费者相互是等效的，只要缓冲区不满，生产者便可将产品放入缓冲区；而只要缓冲区不为空，消费者便可从缓冲区取走一件产品。需要两个私用信号量，empty表示缓冲区可接收产品的数目，full表示缓冲区已接收产品的数目。empty的初值为N，即缓冲区的容量；full的初值为0。我们还要增设一个公用信号量（mutex），初值为1，以保证这些生产者和消费者互斥地访问缓冲区。此外，生产者和消费者必须同步，生产者不能向满缓冲区写数据，消费者不能从空缓冲

3、区读数据。1 测试用例文件测试用例文件用于描述各线程的有关信息，该文件内容及格式如下：31 P 32 P 43 C 4 14 P 25 C 3 1 2 4说明：第一行给出的是程序中设置的临界区个数；其余各行是各进程信息。 每行中的数据之间用Tab键分隔。 第一列(除第一行外)：线程号。 第二列：P生产者，C消费者。 第三列：线程在生产和消费前的休眠时间，单位为秒。 第四及以后各列：消费的产品所对应的生产者线程号。2 数据结构(1) 用整型数组Buffer_Critical表示缓冲区。(2) 用自定义结构ThreadInfo记录一条线程信息，多个线程对应一个ThreadInfo数组。(3) 通过

4、如下同步对象实现互斥：l 设一个互斥量h-mutex，实现生产者在查询和保留缓冲区的下一个空位置时进行互斥。l 设置h_SemaphoreMAX_THREAD_NUM信号量数组表示相应产品已经生产，实现生产者与消费者之间的同步。同时，用表示空缓冲区树木的信号量empty_semephore指示是否存在空位置，实现类似的同步，以便开始下一个产品的生产。l 设置临界区对象数组PC_CriticalMAX_BUFFER_NUM实现每个缓冲区上消费者之间的互斥。3 程序结构 为了方便，程序结构用如下的文字予以描述。 (1) 主函数 (2) 初始化缓冲区、消费请求队列及部分同步对象 (3) 提取线程信息

5、 (4) 完成线程相关同步对象的初始化 (5) 创建线程，模拟生产者和消费者 (6) 等待所有线程结束 (7) 程序结束 (8) 消费者 (9) 有无消费请求？有，则继续(10)；无，则转(16) (10) 此请求可满足？可满足，转(11)；否，则阻塞，再转(10) (11) 确定产品位置 (12) 此产品正被消费？是，则阻塞，再转(12)；否，则转(13) (13) 进入临界区(请求同一产品的消费者之间互斥) (14) 消费产品，并判断是否应该释放产品所占缓冲区 (15) 退出临界区，转(9) (16) 结束消费者线程 (17) 生产者 (18) 存在空缓冲区？有，则继续(19)；无，则阻塞

6、，再转(18) (19) 另一生产者在写？否，则转(20)；是，则阻塞，再转(19) (20) 进入临界区(请求同一产品的生产者之间互斥) (21) 在缓冲区中为本线程产品分配空间 (22) 退出临界区 (23) 写入产品到分配的缓冲区空间中 (24) 结束生产者线程七、实验报告内容1.实验的程序源码2.运行程序，给出运行结果截图3.分析实验结果，得出结论实验二 银行家算法实现资源分配一、实验目的在了解和掌握银行家算法的基础上，能熟练的处理课本例题中所给状态的安全性问题，能编制银行家算法通用程序，将调试结果显示在计算机屏幕上，再检测和笔算的一致性。二、实验内容设计五个进程P0，P1，P2，P3

7、，P4共享三类资源A，B，C的系统，A，B，C的资源数量分别为10，5，7。进程可动态地申请资源和释放资源，系统按各进程的申请动态地分配资源。要求程序具有显示和打印各进程的某一时刻的资源分配表和安全序列；显示和打印各进程依次要求申请的资源号以及为某进程分配资源后的有关资源数据。三、实验性质验证性四、实验学时2学时五、实验环境C与C+程序设计学习与实验系统 六、实验原理及步骤1.进程pi提出资源申请时，系统执行下列步骤：（1）若RequestiNeedi,转（2）； 否则错误返回（2）若RequestiAvailable, 转（3）；否则进程等待（3）假设系统分配了资源，则有：Available

8、:=Available-Requesti;Allocationi:=Allocationi+Requesti;Needi:=Needi-Requesti（4）执行安全性算法，若系统新状态是安全的，则分配完成，若系统新状态是不安全的，则恢复原状态，进程等待2.进行安全性检查，定义数据结构：Work:ARRAY0.m-1 of integer;Finish:ARRAY0.n-1 of Boolean;m代表资源的数量，n代表进程的数量(1) Work:=Available; Finish:=false;(2) 寻找满足下列条件的i： a). Finishi=false; b). NeediWork

9、;如果不存在，则转(4)(3) Work:=Work+Allocationi; Finishi:=true; 转(2)(4) 若对所有i,Finishi=true,则系统处于安全状态，否则处于不安全状态设requesti为进程pi的请求向量，如果requestij=K，表示进程pi需要K个Rj资源。当系统发出请求后，系统按下述步骤开始检查：1）如果requestij=needij,转向步骤2；否则报告出错，申请的资源已经大于它需要的最大值。2）如果requestijid1-id2 BLOCK_QUEUE:-id3-id4三、实验性质验证性四、实验学时2学时五、实验环境C与C+程序设计学习与实验

10、系统 六、实验原理及步骤1. 启动C语言环境，新建文件。2. 假设在调度前，系统中有5个进程，他们的初始状态如下：ID 0 1 2 3 4PRIORITY 9 38 30 29 0CPUTIME 0 0 0 0 0ALLTIME 3 3 6 3 4STARTBLOCK 2 -1 -1 -1 -1BLOCKTIME 3 0 0 0 0STATE 都为 READY3.按照给定进程，作为程序的输入，编写程序运行。七、实验报告内容1.实验的程序源码2.运行程序，给出运行结果截图3.分析实验结果，得出结论实验四 请求页式存储管理一、实验目的通过编写和调试存储管理的模拟程序以加深对存储管理方案的理解，熟悉

11、虚存管理的各种页面淘汰算法。通过编写和调试地址转换过程的模拟程序以加强对地址转换过程的了解。二、实验内容（1）用C语言实现对分页式存储管理中的硬件的地址转换和产生缺页中断。（2）设计页表。分页式虚拟存储系统是把作业的副本存放在磁盘上，当作业被选中时，可把作业的开始几页先装入主存且启动执行。为此，在为作业建立页表时，应说明哪些页已在主存，哪些页尚未装入主存，页表的格式为：页 号 标 志 主存块号 在磁盘上的位置（3）地址计算。作业执行时，指令中的逻辑地址指出了参加运算的操作数存放的页号和单元号，硬件的地址转换机构按页号查页表，若该页对应标志为“1”，则表示该页已在主存，这时根据关系式： 绝对地址

12、=块号*块长+单元号计算出欲访问的主存单元地址。按计算出的绝对地址可以取到操作数，完成一条指令的执行。若访问的页标志为“0”，则表示该页不在主存，这时硬件发“缺页中断”信号，由OS按该页在磁盘上的位置，把该页信息从磁盘读出装入主存后再重新执行这条指令。（4）设计“地址转换”程序模拟硬件的地址转换工作。当访问的页在主存时，则形成绝对地址，但不去模拟指令的执行，而用输出转换后的地址来代替一条指令的执行。当访问的页不在主存时，则输出“*该页页号”，表示产生了一次缺页中断，执行缺页中断程序。该模拟程序的算法如图1.1所示。开始是取一条指令取指令中访问的页号查页表该页标志=1？转缺页中断子程序形成绝对地

13、址输出绝对地址有后继指令？结束取一条指令否是否图 1.1地址转换模拟流程图(5) 缺页中断模拟 如果访问页不在主存且页表未满，则调入一页并打印页表情况；如果该页不在主存且页表已满，则产生缺页中断，模拟算法如图1.2所示。输出：页号lnumber输出：*lnumber页号为lnumber淘汰页的页号j=phead将页lnumber装入队尾输出：页号j修改页表：第j页存在标志改为“0”第lnumber页存在标记改为“1”第lnumber页修改标记改为“0”第lnumber页主存块号为第j页原主存块号图 1.2 缺页中断算法流程图实验中采用FIFO算法进行页面淘汰。把在主存的页的页号按进入主存的先后

14、次序排成队列，每次总是调出队首页。用数组存放页号的队列。若分配给该作业的物理块数为m，则数组由m个元素组成，p0，p1pm-1，队首指针head，队尾指针tail。当装入新页时，将其页号装入数组。三、实验性质验证性四、实验学时2学时五、实验环境C与C+程序设计学习与实验系统 六、实验原理及步骤1. 启动C语言环境，新建文件。2. 假定主存的每块长度为128个字节；现有一个共七页的作业，其中的第0页至第3页已经装入主存，其余三页未装入主存，主存；该作业的页表为：015011118012219013311021400225002360121如果作业依次执行的指令序列（操作，页号，单元号）为：(+, 0, 070)、(+, 1, 050)、(*, 2, 015) 、(存, 3, 021)、(取, 0, 056)、(, 6, 040)、(移位, 4, 053)、(+, 5, 023)、(存, 1, 037)、(取, 2, 078)、(+, 0, 070)、(+, 4, 001)、(存, 6, 084)。运行设计的地址转换程序，显示或打印运行结果。因仅模拟地址转换，并不模拟指令的执行，故可不考虑上述指令序列中的操作。3. 编写程序运行。七、实验报告内容1.实验的程序源码2.运行程序，给出运行结果截图3.分析实验结果，得出结论