操作系统课程设计——哲学家进餐问题q_ucgbpe.doc

目录 TOC \o 1-3 \h \z \u HYPERLINK \l _Toc282594505 1．设计题目与要求 PAGEREF _Toc282594505 \h 1 HYPERLINK \l _Toc282594506 1.1实验目的与设计要求 PAGEREF _Toc282594506 \h 1 HYPERLINK \l _Toc282594507 1.2 初始条件 PAGEREF _Toc282594507 \h 1 HYPERLINK \l _Toc282594508 2 总体设计思想及相关知识 PAGEREF _Toc282594508 \h 2 HYPERLINK \l _Toc282594509 2.1总体设计思想 PAGEREF _Toc282594509 \h 2 HYPERLINK \l _Toc282594510 2.2 临界区互斥编程原理 PAGEREF _Toc282594510 \h 3 HYPERLINK \l _Toc282594511 2.3开发环境与工具 PAGEREF _Toc282594511 \h 3 HYPERLINK \l _Toc282594512 3数据结构与模块说明 PAGEREF _Toc282594512 \h 4 HYPERLINK \l _Toc282594513 3.1 数据结构 PAGEREF _Toc282594513 \h 4 HYPERLINK \l _Toc282594514 3.2程序各模块流程图 PAGEREF _Toc282594514 \h 5 HYPERLINK \l _Toc282594515 3.2.1 主程序模块 PAGEREF _Toc282594515 \h 5 HYPERLINK \l _Toc282594516 3.2.2 状态改变模块 PAGEREF _Toc282594516 \h 6 HYPERLINK \l _Toc282594517 3.2.3 返回哲学家状态模块 PAGEREF _Toc282594517 \h 7 HYPERLINK \l _Toc282594518 3.2.4 返回餐具状态模块 PAGEREF _Toc282594518 \h 8 HYPERLINK \l _Toc282594519 4. 源程序代码 PAGEREF _Toc282594519 \h 9 HYPERLINK \l _Toc282594520 5. 测试及结果 PAGEREF _Toc282594520 \h 14 HYPERLINK \l _Toc282594521 6. 课设总结 PAGEREF _Toc282594521 \h 16 HYPERLINK \l _Toc282594522 参考文献 PAGEREF _Toc282594522 \h 17 1．设计题目与要求 1.1实验目的与设计要求 实验目的：通过实现哲学家进餐问题的同步深入了解和掌握进程同步和互斥的原理。 设计要求：哲学家有N个,也定全体到齐后开始讨论:在讨论的间隙哲学家进餐,每人进餐时都需使用刀、叉各一把，所有哲学家刀和叉都拿到后才能进餐。哲学家的人数、餐桌上的布置自行设定，实现刀和叉的互斥使用算法的程序实现。 1.2 初始条件 （1）操作系统：windows （2）程序设计语言：C++ （3）设定圆桌上有六个哲学家，三对刀叉，如下图摆放： 图1-1 哲学家进餐问题设定图 2 总体设计思想及相关知识 2.1总体设计思想 哲学家的生活就是思考和吃饭，即思考，饿了就餐，再思考，循环往复。要求是：每一个哲学家只有在拿到位于他左右的刀叉后，才能够就餐；哲学家只能先拿一把刀或叉，再去拿另一把刀或叉，而不能同时去抓他旁边的两把餐具，也不能从其他哲学家手中抢夺餐具；哲学家每次就餐后必须放下他手中的两把餐具后恢复思考，不能强抓住餐具不放。 设计一个程序，能够显示当前各哲学家的状态和桌上餐具的使用情况，并能无死锁的推算出下一状态各哲学家的状态和桌上餐具的使用情况。即设计一个能安排哲学家正常生活的程序。 为哲学家设计3种状态，即“等待”“进餐”“思考”。每个哲学家重复进行“等待”-“进餐”-“思考”的行动循环。其中： “等待”-“进餐”：只有一个哲学家处于等待进餐状态，且左右手两边的餐具都处于“空闲”状态时，可以发生这种状态改变。此状态改变发生后，哲学家拿起左右手两边的餐具。 “进餐”-“思考”：此状态改变发生后，哲学家放下左右手上的餐具。餐具状态由“使用中”转变为“空闲”。 “思考”-“等待”：哲学家思考结束后，无条件转入等待状态。 由上所述，程序中应设置6个元素的信号量数组，tools[6]，用来