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

操作系统课程设计报告 院（系）： 计算机科学学院 专业： 计算机科学与技术专业 学生姓名: 　　 题目：模拟仿真＂哲学家进餐＂问题的解决过程及方法 起讫日期: 2010.6.30----2010.7.11 完成日期: 2010 年 7 月 10 日 目录 1．设计题目与要求 2 1.1实验目的 2 1.3 初始条件 2 2 总体设计思想及相关知识 3 2.1总体设计思想 3 2.2 临界区互斥编程原理 3 2.3开发环境与工具 4 3数据结构与模块说明 4 3.1 数据结构 4 3.2程序各模块流程图 6 3.2.1 主程序模块 6 3.2.2 状态改变模块 7 3.2.3 返回哲学家状态模块 8 3.2.4 返回餐具状态模块 9 4. 源程序代码 10 5. 测试及结果 15 6. 课设总结 17 参考文献 18 1．设计题目与要求 1.2设计要求 哲学家有N个，也定全体到达后开始讨论：在讨论的间隙哲学家进餐，每人进餐时都需使用刀、叉各一把，所有哲学家刀和叉都拿到后才能进餐。哲学家的人数、餐桌上的布置自行设定，实现刀和叉的互斥使用算法的程序实现。 1.3 初始条件 （1）操作系统：（2）程序设计语言：C （3）-1 哲学家进餐问题设定图 2 总体设计思想及 2.1总体设计思想-“进餐”-“思考”的行动循环。其中： “等待”-“进餐”：只有一个哲学家处于等待进餐状态，且左右手两边的餐具都处于“空闲”状态时，可以发生这种状态改变。此状态改变发生后，哲学家拿起左右手两边的餐具。 “进餐”-“思考”：此状态改变发生后，哲学家放下左右手上的餐具。餐具状态由“使用中”转变为“空闲”。 “思考”-“等待”：哲学家思考结束后，无条件转入等待状态。 由上所述，程序中应设置6个元素的信号量数组，tools[6]，用来保持哲学家之间的同步。 2.2 临界区互斥编程原理 不论是硬件临界资源，还是软件临界资源，多个进程必须互斥地对它进行访问。每个进程中访问临界资源的那段代码称为临界区（Critical Section）。 每个进程中访问临界资源的那段程序称为临界区（Critical Section）（临界资源是一次仅允许一个进程使用的共享资源）。每次只准许一个进程进入临界区，进入后不允许其他进程进入。不论是硬件临界资源，还是软件临界资源，多个进程必须互斥地对它进行访问。LeaveCriticalSection (cs)两个函数实现临界区互斥。 EnterCriticalSection (cs)用来进入临界区，LeaveCriticalSection (cs)用来离开临界区。 2.3开发环境与工具 系统平台：环境 实现语言：C 开发工具： 3数据结构与模块说明 Philosopher -number:int -status:int +Philosopher(in num:int) +find() const:int +getinfo() const:int +Change():void 图3-1 哲学家类的UML图 程序中定义一个哲学家类，包含两个私有对象和四个公有对象。 Number对象：哲学家的编号。 Status对象：用于保存当前该哲学家的状态，0表示正在等待（即处于饥饿状态）1表示得到餐具正在吃饭，2表示正在思考 Philosopher(int num)方法：哲学家类构造函数，参数num表示哲学家编号 find() const方法：返回该哲学家编号 getinfo() const方法：返回哲学家当前状态 Change()方法：根据题目要求改变哲学家的状态（等待-进餐-思考-等待…………） 另外，程序中包含一个公有对象，bool类型数组tools[6]，用来保存6把餐具当前状态：true表示该餐具当前空闲，false表示该餐具当前正被使用。 程序中还包含两个公有函数：print和toolstatus。Print用来返回一个哲学家的状态，toolstatus用来返回一个餐具的状态。 3.2程序模块 3.2.1 主程序模块 图3-2 主程序模块流程图 3.2.2 状态改变模块 图3-3 状态改变模块Change()流程图 3.2.3 返回哲学家状态模块 图3-4 返回哲学家状态模块print()流程图 3.2.4 返回餐具状态模块 图3-5 返回餐具状态模块toolstatus(bool a)流程图 4. 源程序代码 //实验目的：通过实现哲学家进餐问题的同步深入了解和掌握进程同步和互斥的原理。 //设计要求：哲学家有N个，也定全体到达后开始