操作系统实习报告进程同步和互斥

操作系统实习报告进程同步和互斥

ID:41093616

大小:600.50 KB

页数:10页

时间:2019-08-16

操作系统实习报告进程同步和互斥_第1页
操作系统实习报告进程同步和互斥_第2页
操作系统实习报告进程同步和互斥_第3页
操作系统实习报告进程同步和互斥_第4页
操作系统实习报告进程同步和互斥_第5页
资源描述:

《操作系统实习报告进程同步和互斥》由会员上传分享,免费在线阅读,更多相关内容在工程资料-天天文库

1、进程同步和互斥一、设计目的:通过实现哲学家进餐问题的同步深入了解和掌握进程同步和互斥的原理。二、设计内容哲学家有N个,也定全体到达后开始讨论:在讨论的间隙哲学家进餐,每人进餐时都需使用刀、叉各一把,所有哲学家刀和叉都拿到后才能进餐。哲学家的人数、餐桌上的布置自行设定,实现刀和叉的互斥使用算法的程序实现。三、开发环境windows环境,VC6.0平台。四、分析设计<一>实验原理不论是硬件临界资源,还是软件临界资源,多个进程必须互斥地对它进行访问。每个进程中访问临界资源的那段代码称为临界区(CriticalSection)。每个进程中访问

2、临界资源的那段程序称为临界区(CriticalSection)(临界资源是一次仅允许一个进程使用的共享资源)。每次只准许一个进程进入临界区,进入后不允许其他进程进入。不论是硬件临界资源,还是软件临界资源,多个进程必须互斥地对它进行访问。本程序主要使用了EnterCriticalSection(&cs)和LeaveCriticalSection(&cs)两个函数实现临界区互斥。EnterCriticalSection(&cs)用来进入临界区,LeaveCriticalSection(&cs)用来离开临界区。哲学家进餐问题设定图<二>程序

3、结构1、主程序模块(详见图1)2、状态改变模块(详见图2)3、返回哲学家状态模块(详见图3)4、返回餐具状态模块(详见图4)<三>数据结构:程序中定义一个哲学家类,包含两个私有对象和四个公有对象。Number对象:报讯哲学家的编号。Status对象:用于保存当前该哲学家的状态,0表示正在等待(即处于饥饿状态)1表示得到餐具正在吃饭,2表示正在思考Philosopher(intnum)方法:哲学家类构造函数,参数num表示哲学家编号find()const方法:返回该哲学家编号getinfo()const方法:返回哲学家当前状态Chang

4、e()方法:根据题目要求改变哲学家的状态(等待->进餐->思考->等待…………)另外,程序中包含一个公有对象,bool类型数组tools[6],用来保存6把餐当前状态:true表示该餐具当前空闲,false表示该餐具当前正被使用。程序中还包含两个公有函数:print和toolstatus。Print用来返回一个哲学家的状态,toolstatus用来返回一个餐具的状态。<四>程序流程图:1、主程序模块图12、状态改变模块图23、返回哲学家状态模块图34、返回餐具状态模块图4五.运行示例及结果分析结果分析:哲学家们抢餐具,但只能抢空闲的餐

5、具,只有同时拿到了刀和叉才能就餐。当哲学家只拿到一把餐具的时候,如果临近的餐具在用它抢不到,那这位哲学家就把拿到的餐具放下,继续等待临近两把餐具都闲的时候抢到了才能进餐。根据这个原理就能分析结果了。1号刀和3号叉式闲的时候,哲学家0号就抢到了餐具1号刀和3号,那哲学家0号就开始进餐了,当餐具刀2和叉2在用的时候4号哲学家在等待。其他哲学家按照上面的原理得出结果。运行示例如下图:图5-1程序运行开始界面图5-2哲学家状态1图5-2哲学家状态2图5-2哲学家状态3图5-2哲学家状态4图5-6退出程序六、心得与体会经过了前后共2周的时间,我

6、完成了这次课程设计。通过这次课程设计,我学到了许多课本上学不到的知识,注意到了许多课本上没有提到的东西。设计中总会遇到这样那样的问题,遇到问题势必要自己分析问题,通过各种渠道解决问题,比如利用互联网。这次课程设计也加强了我上网查数检索问题的能力。有些时候,学习到的知识是次要的,重要的是学习知识的方法。参考文献:1、汤小丹编:《计算机操作系统》(第三版),西安电子科技大学出版社2、谭浩强编:《C语言程序设计》,清华大学出版社附录、源程序清单#include #include #include

7、ing> #include #include usingnamespacestd; booltools[6];//定义信号量,全局变量,数组用来保存6把餐当前状态:true表示该餐具当前空闲,false表示该餐具当前正被使用 CRITICAL_SECTIONcs;//信号量,在线程中使用,临界区 classPhilosopher { private: intnumber;//报讯哲学家的编号 intstatus;//标记当前哲学家的状态,0表示正在等待(即处于饥饿状态),1表示得到两支筷子正在吃

8、饭,2表示正在思考 public: Philosopher(intnum=0):status(2),number(num){}//Philosopher(intnum)哲学家类构造函数,参数num表示哲学家编号 intf

当前文档最多预览五页,下载文档查看全文

此文档下载收益归作者所有

当前文档最多预览五页,下载文档查看全文
温馨提示:
1. 部分包含数学公式或PPT动画的文件,查看预览时可能会显示错乱或异常,文件下载后无此问题,请放心下载。
2. 本文档由用户上传,版权归属用户,天天文库负责整理代发布。如果您对本文档版权有争议请及时联系客服。
3. 下载前请仔细阅读文档内容,确认文档内容符合您的需求后进行下载,若出现内容与标题不符可向本站投诉处理。
4. 下载文档时可能由于网络波动等原因无法下载或下载错误,付费完成后未能成功下载的用户请联系客服处理。