课程设计哲学家就餐问题（报告+代码）C++.docVIP

目录 设计题目与要求…………………………………………………2 1.1设计目的 1.2设计要求 总体设计思想与相关知识………………………………………2 2.1总体设计思想 2.2问题描述 2.3解决方案 3． 数据结构、流程图………………………………………………2 3.1数据结构 3.2流程图 4． 源代码…………………………………………………………….3 5． 运行结果………………………………………………………….6 6． 结果分析………………………………………………………….7 7． 总结及心得体会………………………………………………….7 8． 参考资料………………………………………………………….8 设计题目与要求 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 程序中定义一个哲学家类，包含两个私有对象和四个公有对象。 myid对象：报讯哲学家的编号。 mystate对象：用于保存当前该哲学家的状态， philosopherProc( LPVOID lpParameter)方法：哲学家类构造函数， PHILOSOPHER_NUM表示哲学家编号 ResumeThread(hPhilosopher[i])方法：返回该哲学家编号 strcpy(stateStr, )方法：返回哲学家当前状态 根据题目要求改变哲学家的状态（饥饿-进餐-思考-饥饿…………） 3.2流程图 源代码 //哲学家就餐问题的解法 #include windows.h #include process.h #include time.h #include stdlib.h #include stdio.h #include iostream using namespace std; //命名空间std内定义的所有标识符都有效 const unsigned int PHILOSOPHER_NUM=5; //哲学家数目 const char THINKING=1; /*标记当前哲学家的状态,1表示等待,2表示得到饥饿,3表示正在吃饭*/ const char HUNGRY=2; const char DINING=3; HANDLE hPhilosopher[5]; //定义数组存放哲学家 /*HANDLE(句柄)是windows操作系统中的一个概念。指的是一个核心对象在某一个进程中的唯一索引*/ HANDLE semaphore[PHILO