进程同步模拟设计——哲学家就餐问题总结 计划 汇报 设计.docVIP

武汉理工大学《操作系统》课程设计说明书 PAGE10 / NUMPAGES10 学 号： 课 程 设 计 题 目 进程同步模拟设计—哲学家就餐 学 院 计算机科学与技术 专 业 计算机科学与技术 班 级 计算机 姓 名 指导教师 20011 年 1 月 19 日 课程设计任务书 学生姓名： 专业班级： 计算机 指导教师： 汪祥莉 工作单位： 计算机科学与技术学院 题 目: 进程同步模拟设计——哲学家就餐问题 初始条件： 1．预备内容：阅读操作系统的进程管理章节内容，对进程的同步和互斥，以及信号量机制度有深入的理解。 2．实践准备：掌握一种计算机高级语言的使用。 要求完成的主要任务: （包括课程设计工作量及其技术要求，以及说明书撰写等具体要求） 1．模拟用信号量机制实现哲学家就餐问题。 2．设计报告内容应说明： ⑴ 需求分析； ⑵ 功能设计（数据结构及模块说明）； ⑶ 开发平台及源程序的主要部分； ⑷ 测试用例，运行结果与运行情况分析； ⑸ 自我评价与总结： = 1 \* roman i）你认为你完成的设计哪些地方做得比较好或比较出色； = 2 \* roman ii）什么地方做得不太好，以后如何改正； = 3 \* roman iii）从本设计得到的收获（在编写，调试，执行过程中的经验和教训）； = 4 \* roman iv）完成本题是否有其他方法（如果有，简要说明该方法）； = 5 \* roman v）对实验题的评价和改进意见，请你推荐设计题目。 时间安排： 设计安排一周：周1、周2：完成程序分析及设计。 周2、周3：完成程序调试及测试。 周4、周5：验收、撰写课程设计报告。 （注意事项：严禁抄袭，一旦发现，一律按0分记） 指导教师签名： 年 月 日 系主任（或责任教师）签名： 年 月 日 进程同步模拟设计 ——哲学家就餐问题 需求分析 1.1问题描述 有五个哲学家围坐在一圆桌旁，桌中央有一盘通心粉，每人面前有一只空盘子，每两人之间放一只筷子，即共5只筷子。 每个哲学家的行为是思考和进餐。为了进餐，每个哲学家必须拿到两只筷子，并且每个人只能直接从自己的左边或右边去取筷子。思考时则同时将两支筷子放回原处 （此图中以叉子代表筷子） 规则： = 1 \* GB3 ①只有拿到两只筷子时，哲学家才能吃饭； = 2 \* GB3 ②如果筷子已经在他人手上，则该哲学家必须等到他人吃完之后才能拿到筷子； = 3 \* GB3 ③任何一个哲学家在自己没有拿到两只筷子吃饭之前，决不放下自己手中的筷子。 由此出现的问题： 可能出现死锁问题，因为当五个哲学家都饥饿时，都拿着一支筷子，这样就可能五个哲学家都用不上餐 1.2问题分析 该问题可用记录型信号量或者是AND型信号量解决。 记录型信号量解决： 经分析可知，放在桌子上的筷子是临界资源，在一段时间内只允许一位哲学家使用，为了实现对筷子的互斥使用，可以用一个信号量表示一只筷子，由这五个信号量组成信号量数组。当哲学家饥饿时总是先拿其左边的筷子，成功后，再去拿右边的筷子，又成功后方可就餐。进餐完，又先放下他左边的筷子，再放下右边筷子。这个算法可以保证不会有两个相邻的哲学家同时就餐，但有可能引起死锁。 AND型信号量解决： 在哲学家就餐过程中，要求每个哲学家先获得两个临界资源后方能就餐，这在本质上就是AND同步问题，故用AND信号量机制可获得最简洁的解法。 1.3解决方法 对于死锁问题可采取这样的几种解决方法： (1)至多只允许四个哲学家同时进餐，以保证至少有一个哲学家可以进餐，最终总会释放出他所用过的两只筷子，从而可使更多的哲学家进餐； (2)仅当左右两只筷子均可用时，才允许哲学家拿起筷子就餐 (3)规定奇数号哲学家先拿起右边筷子，然后再去拿左边筷子，而偶数号哲学家则相反。 (4)把筷子顺序编号 fk0, fk1, fk2, fk3, fk4，给每个哲学家分配 筷子时，必须依从小号到大号（或者相反顺序）进行。 本实验，我们采用第二种解决方法 功能设计 2.1数据结构及模块说明 主要的数据结构及模块有： class ChopStick （筷子类） class Philosopher （哲学家类） class ChopStick { 数据成员： int ID; //筷子编号 bool available //筷子是否可用 函数成员： Bool takeup() //筷子拿