《操作系统课程设计_哲学家进餐问题》由会员分享，可在线阅读，更多相关《操作系统课程设计_哲学家进餐问题（21页珍藏版）》请在金锄头文库上搜索。
1、目录1 .设计题目与要求1L1实验目的与设计要求11.2初始条件12总体设计思想及相关知识22. 1总体设计思想 22. 2临界区互斥编程原理22. 3开发环境与工具 33数据结构与模块说明32.1 数据结构33. 2程序各模块流程图 53. 2.1主程序模块54. 2. 2状态改变模块 65. 2.3返回哲学家状态模块 76. 2. 4返回餐具状态模块 84 .源程序代码95 .测试及结果146 .课设总结16参考文献171 .设计题目与要求1.1 实验目的与设计要求实验目的：通过实现哲学家进餐问题的同步深入了解和掌握进程 同步和互斥的原理。设计要求：哲学家有N个，也定全体到齐后开始讨论：在
2、讨论的 间隙哲学家进 餐，每人进餐时都需使用刀、叉各一把，所有哲学家 刀和叉都拿到后才能进餐。哲学家的人数、餐桌上的布置自行设 定，实现刀和叉的互斥使用算法的程序实现。1.2 初始条件1）操作系统：windows2）程序设计语言：C+3）设定桌上有六个哲学家，三对刀叉，如下图摆放:图1一1哲学家进餐问题设定图2总体设计思想及相关知识2 . 1总体设计思想哲学家的生活就是思考和吃饭，即思考，饿了就餐，再思考，循 环往复。要：每一个哲学家只有在拿到位于他左右的刀叉后，才能 够就餐；哲学家只能先拿一把刀或叉，再去拿另一把刀或叉，而 不能同时去抓他旁边的两把餐具，也不能从其他哲学家手中抢夺餐 具；哲学
3、家每次就餐后必须放下他手中的两把餐具后恢复思考，不 能强抓住餐具不放。设计一个程序，能够显示当前各哲学家的状态和桌上餐具的使用 情况，并能无死锁的推算出下一状态各哲学家的状态和桌上餐具的 使用情况。即设计一个能安排哲学家正常生活的程序。为哲学家设计3种状态，即“等待” “进餐”“思考”。每个哲 学家重复进行“等待” -“进餐”“思考”的行动循环。其中：“等待”- “进餐”：只有一个哲学家处于等待进餐状态，且左 右手两边的餐具都处于“空闲”状态时，可以发生这种状态改变。此 状态改变发生后，哲学家拿起左右手两边的餐具。“进餐”- “思考”：此状态改变发生后，哲学家放下左右手上 的餐具。餐具状态由“
4、使用中”转变为“空闲”。“思考”- “等待”：哲学家思考结束后，无条件转入等待状O由上所述，程序中应设置6个元素的信号量数组，tools6,用 来保持哲学家之间的同步。2.2临界区互斥编程原理不论是硬件临界资源，还是软件临界资源，多个进程必须互斥地 对它进行访问。每个进程中访问临界资源的那段代码称为临界区(Critical Section )。每个进程中访问临界资源的那段程序称为临界区(Critical Section)(临界资源是一次仅允许一个进程使用的共享资源)。每次只 准许一个进程进入临界区，进入后不允许其他进程进入。不论是硬件 临界资源，还是软件临界资源，多个进程必须互斥地对它进行访问
5、。本程序主要使用了 EnterCriticalSection (&cs)和 LeaveCriticalSection (&cs)两个函数实现临界区互斥。EnterCriticalSection (&cs) 用 来进入临界区， LeaveCriticalSection (&cs)用来禺开临界区。2 . 3开发环境与工具系统平台：WINDOW环境实现语言：C+开发工具：VC+6. 03数据结构与模块说明3.1数据结构Philosopher -number:int -status:int +Philosopher(in num:int) +find() const:int +getinfo() co
6、nst:int +Change():void图3-1哲学家类的UML图程序中定义一个哲学家类，包含两个私有对 象和四个公有对象Number对象：报讯哲学家的编号。Status对象：用于保存当前该哲学家的状态，0表示正在等待（即处于 饥饿状态）1表示得到餐具正在吃饭，2表示正在思考Philosopher （int num）方法：哲学家类构造函数，参数num表示哲学家 编号find。const方法：返回该哲学家编号getinfoO const方法：返 回哲学家当前状态Change。方法：根据题目要求改变哲学家的状态（等 待进餐-思考-等待）另外，程序中包含一个公有对象，bool类型数组tools6
7、,用来保 存6把餐当前状态：true表示该餐具当前空闲，false表示该餐具 当前正被使用。程序中还包含两个公有函数：print和toolstatus。Print用来返回一 个哲学家的状态，toolstatus用来返回一个餐具的状态。3. 2程序各模块流 程图3. 2.1主程序模块定义信号里。冏6定义哲学家类对象P1W6哲学家们的状态发生改变； P1 Change P2 Change() P3 ChangeQ P4 Changef): P5 ChangeO P6 Change。输出当前状态图3 . 2. 2状态改变模 块图3-3状态改变模块Change()流程图是7名冬高处于济辍才法”3. 2
8、. 3 模块返回哲学家状态取得状态数； int i=pA-qetinfo(;st“思考返回str 3图3-4返回哲学家状态模块print 0 流程图3.2.4返回餐具状态 模块定义string state；state= u 用“$返回state;结束4 .源程序代码/实验目的：通过实现哲学家进餐问题的同步深入了解和掌握进程同步和互斥的原理。/设计要求：哲学家有N个，也定全体到达后开始讨论：在讨论的间隙哲学家进餐，/每人进餐时都需使用刀、叉各一把，所有哲学家刀和叉都拿到后才能进餐。哲学家的人 数、/餐桌上的布置自行设定，实现刀和叉的互斥使用算法的程序实现。ttinclude ttinclude
9、ttinclude ttinclude ttinclude using namespace std;bool tools 6： /全局变量,用餐工具CRITICAL_SECTION cs; 信号量,在线程中使用，临界区class Philosopherprivate:t曙11b版$返回餐具状态模块toolstatus (bool a)流程图int status; /*标记当前哲学家的状态,0表示正在等待(即处于饥饿状态),1表示得到两支筷子正在吃饭,2表示正在思考*/public:Philosopher (int num=0): status(2), number(num) int find(
10、) const return number; int getinfo() const return status; void Change () ; /状态改变函数)；void Philosopher:Change()EnterCriticalSection (&cs); 进入临界区if (status=l) / 正在进餐tools number%6=true; / 放下左手工具 tools (number-l)%6=true; /放下右手工具status=2; /改变状态为思考else if (sta.tus=2) / 思考中status=0; /改变状态为等待)else if (sta.t
11、us=0) / 等待中if (tools number%6&tools (number-1) %6) / 左右手两边工具 均为空闲状态:toolsnumber%6=false; /拿起左手工具tools (number-l)%6=false; / 拿起右手工具 status= 1;LeaveCriticalSection (&cs)string print (Philosopher *pA)/pA-Change ();int i=pA-getinfo ();string str;if (i=0)str=/，等待”；else if (i=l)str=,/ 就餐”；else str二思考；retu
12、rn str;string toolstatus(bool a)string state;if (a=true)state二闲；if (a二二false)state二用；return state;int main ()char con二y ; /判断是否继续for(int i=0;i6;i+)tools i二true; 组刀叉都未使用，初始化/3Philosopher Pl(l), P2(2), P3(3), P4(4),P5(5),P6(6);InitializeCriticalSection (&cs);初始化初始化临界区/COUt,，状态说明小意图 :，zendl;cout 哲学家 0
13、号的状态 endl;cout哲学家5号的状态*叉3的状态刀1的状态哲学家1号的状态endl;cout 刀 3 的状态 叉 1 的状态endl;cout哲学家4号的状态*叉2的状态刀2的状态哲学家2号的状态endl;cout，z 哲学家 3 号的状态 endl;cout餐具的状态，“用”表示使用中，“闲”表示空闲中。endl;coutz，endl;cout哲学家们开始生活：endl;coutendl; coutendl;while (con二二y)Pl. Change ();P2. Change ();P3. Change ();P4. Change ();P5. Change ();P6. Change ();cout，z 当前状态为：，endl;cout，z Z，P1. f ind () print (&P1) ，z ，zendl;coutP6. find
