1． 设计题目与要求
1.1 设计目的
掌握进程同步问题的解决思路及方法，熟练使用 Windows 操作系统提供的信号
量机制解决各种进程同步问题。
1.2 设计要求
设有五个哲学家,共用一张放有五把椅子的餐桌,每人坐在一把椅子上,桌子上有五
个碗和五只筷子,每人两边各放一只筷子。哲学家们是交替思考和进餐,饥饿时便试图取
其左右最靠近他的筷子。条件:
(1) 只有拿到两只筷子时,哲学家才能吃饭。
(2) 如果筷子已被别人拿走,则必须等别人吃完之后才能拿到筷子。
(3) 任意一个哲学家在自己未拿到两只筷子吃饭前,不会放下手中拿到的筷子。
2．总体设计思想与相关知识
2.1 总体设计思想
哲学家的生活就是思考和吃饭，即思考，饿了就餐，再思考，循环往复。要求是：
每一个哲学家只有在拿到位于他左右的筷子后，才能够就餐；哲学家只能先拿左边的
筷子，再去拿右边的筷子，而不能同时去抓他两边的筷子，也不能从其他哲学家手中
抢夺筷子；哲学家每次就餐后必须放下他手中的两把筷子后恢复思考，不能强抓住餐
具不放。
设计一个程序，能够显示当前各哲学家的状态和桌上餐具的使用情况，并能无死
锁的推算出下一状态各哲学家的状态和桌上餐具的使用情况。即设计一个能安排哲学
家正常生活的程序。
2.2 问题描述
可能出现死锁问题，因为当五个哲学家都饥饿时，都拿着一支筷子，这样就可能
五个哲学家都用不上餐。
2.3 解决方案
2.3.1 最多允许 4 个哲学家同时坐在桌子周围。
2.3.2 给所有哲学家编号，奇数号的哲学家必须首先拿左边的筷子，偶数号的哲
学家则反之。
2.3.3 为了避免死锁，把哲学家分为三种状态，思考，饥饿，进食，仅当一个哲
学家左右两边的筷子都可用时，才允许他拿筷子，并且一次拿到两只筷子，否则不拿。
3．数据结构及流程图
3.1 数据结构
philosopherProc
+myid:int
+mystate:int
+philosopherProc(LPVOIDlpParameter)
+ResumeThread(hPhilosopher[i]):int
+strcpy(stateStr, ""):int
- 1
- 2
- 3
前往页