哲学家就餐问题.docVIP

数学与计算机学院 课程设计说明书 课 程 名 称: 操作系统原理-课程设计 课 程 代 码: 8404061 题 目: 哲学家就餐问题模拟 年级/专业/班: 09级信息与计算科学三班 学 生 姓 名: 徐磊 学　　 号: 312009070102301 开 始 时 间: 2012 年 05 月 14 日 完 成 时 间: 2012 年 05月 31 日 课程设计成绩： 学习态度及平时成绩（30） 技术水平与实际能力（20） 创新（5） 说明书撰写质量（45） 总 分（100） 指导教师签名： 年 月 日 目 录 1 引 言 1 1.1 问题的提出 1 1.2任务与分析 1 2. 总体设计思想及相关知识 1 2.1总体设计思想 1 2.2临界区互斥编程原理 2 3 程序运行平台 2 4 程序类的说明 2 5 程序各个模块流程图 3 5.1主程序模块 3 5.2 状态改变模块 4 5.3 返回哲学家状态图 5 6系统测试 6 8 结论 10 1 引 言 问题的提出 哲学家进餐问题也是一个经典的同步问题，它是由Dijkstra提出并解决的。哲学家进餐问题是这样的：５个哲学家以思考、吃饭交替进行的方式生活，他们共享一张周围有５把椅子的圆桌，每人一把椅子，在桌子上摆有５个饭碗和５只筷子。当一个哲学家思考时，他不与邻座同事发生联系。当一哲学家饿了，他就试图拿起他左右两边的筷子吃饭。显然，他不能拿起已抓在他的邻座手中的筷子，于是，他可能只拿到一只甚至一只筷子也拿不到。当一个饥饿的哲学家得到了两只筷子，他就可以吃饭。当他用饭毕，就放下筷子并再次开始思考。5个哲学家共享5支筷子，最多只能不相邻的两个哲学家同时就餐在多道程序设计环境下，进程同步问题十分重要，其中“哲学家进餐问题”是较有代表性的。通过对该问题的研究学习和实践，可以帮助我们更好的理解和掌握临界资源、进程同步的概念和实现方法 总体设计思想及总体设计思想-“进餐”-“思考”的行动循环。其中： “等待”-“进餐”：只有一个哲学家处于等待进餐状态，且左右手两边的筷子都处于“空闲”状态时，可以发生这种状态改变。此状态改变发生后，哲学家拿起左右手两边的筷子。 “进餐”-“思考”：此状态改变发生后，哲学家放下左右手上的筷子。筷子状态由“使用中”转变为“空闲”。 “思考”-“等待”：哲学家思考结束后，无条件转入等待状态。 由上所述，程序中应设置5个元素的信号量数组，chopsticks[5]，用来保持哲学家之间的同步。 2.2临界区互斥编程原理 不论是硬件临界资源，还是软件临界资源，多个进程必须互斥地对它进行访问。每个进程中访问临界资源的那段代码称为临界区（Critical Section）。 每个进程中访问临界资源的那段程序称为临界区（Critical Section）（临界资源是一次仅允许一个进程使用的共享资源）。每次只准许一个进程进入临界区，进入后不允许其他进程进入。不论是硬件临界资源，还是软件临界资源，多个进程必须互斥地对它进行访问。LeaveCriticalSection (cs)两个函数实现临界区互斥。 EnterCriticalSection (cs)用来进入临界区，LeaveCriticalSection (cs)用来离开临界区。 3 程序运行平台 Visual Studio 2008。 具体操作如下：新建项目，添加相应的源文件，再编译，链接，执行等。 4 程序类的说明 程序中定义一个哲学家类，包含两个私有对象和四个公有对象。 Philosopher -number:int -status:int +Philosopher(in num:int) +find() const:int +getinfo() const:int +Change():void 图4-1 哲学家类的UML图 Number对象：哲学家的编号。 Status对象：用于保存当前该哲学家的状态，0表示正在等待（即处于饥饿状态）1表示得到餐具正在吃饭，2表示正在思考 Philosopher(int num)方法：哲学家类构造函数，参数num表示哲学家编号 find() const方法：返回该哲学家编号 getinfo() const方法：返回哲学家当前状态 Change()方法：根据题目要求改变哲学家的状态（等待-进餐-思考-等待…………） 另外，程序中包含一个公有对象，bool类型数组chopsticks[5]，用来保存5只