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

哲学家进餐问题课程设计（学年设计、学年论文）任务书 学 院计算机信息与工程学院专 业计算机科学与技术课程名称操作系统题 目哲学家进餐问题完成期限自2014年6月3日至2014年6月30日共4周内容及任务一、项目的目的（1）通过实现哲学家进餐问题的同步,深入了解和掌握进程同步和互斥的原理。（2）了解并掌握利用信号量解决资源死锁问题。（3）加强对c+语言的编写能力。二、项目任务的主要内容和要求设计一个程序，能够显示当前各哲学家的状态和桌上餐具的使用情况，并能无死锁的推算出下一状态各哲学家的状态和桌上餐具的使用情况3、 项目设计（研究）思路本次设计包括了总体设计，模块设计，以及程序编写等步骤，主要研究哲学家进餐问题，利用记录信号量避免产生资源死锁问题，设计时候首先总体需求分析，其次模块求精，最后测试编写的程序，采用了在windows环境下的c+语言解决哲学家进餐问题。4、 具体成果形式和要求程序最后能够显示五个哲学家和五支筷子的状态，能够清楚显示资源是否释放，以及各哲学家对资源的竞争。进度安排起止日期工作内容6月3至6月10总体设计思想的分析6月10至6月17日从总体到部分，了解程序所需的变量以及函数，对模块进行分析。6月17日至6月30日根据总体和模块的分析，编写程序，并且对程序进行编译和测试。主要参考资料1.汤小丹，计算机操作系统第三版，西安电子科技出版社，2007；2.黄干平，陈洛资，等.计算机操作系统.北京:科学出版社，1989；3.李勇，陈恩林.计算机体系结构.长沙：国防科技大学出版；4.黄祥喜，计算机操作系统实验教程.广州：中山大学出版社，1994.指导教师意见（签字）： 年 月 日系（教研室）主任意见（签字）： 年 月 日 哲学家进餐问题设计说明书（或论文） （封面）学院名称： 计算机信息与工程学院 班级名称： 2012级计算机科学与技术 学生姓名： 操飞飞 学 号： 2012211296 题 目： 哲学家进餐问题 指导教师姓 名： 马丽生 起止日期：2014年6月3日至2014年6月30日 目 录第一部分：正文部分1一、选题背景1二、 设计思路1（1）总体设计思想1（2）资源互斥问题1三、过程论述2（1）数据结构2（2）程序模块3四、 结果分析6（1）程序开始执行状态6（2）哲家状态图6（3）程序结束图8五、结论（或总结）9第二部分：参考文献9 第三部分： 指导教师评语10第四部分：成绩评定10附录11第一部分：正文部分一、选题背景哲学家进餐问题由Dijkstra提出并解决的哲学家进餐问题(The Dinning Philosophers Problem)是典型的同步问题,该问题是描述有五个哲学家共用一张圆桌,分别坐在周围的五张椅子上,在圆桌上有五个碗和五只筷子,他们的生活方式是交替地进行思考和进餐,平时,一个哲学家进行思考,饥饿时便试图取用其左右最靠近他的筷子,只有在他拿到两只筷子时才能进餐,进餐毕,放下筷子继续思考.此次课程设计的主要内容是模拟实现资源分配。同时要求编写和调试一个系统动态分配资源的简单模拟程序，观察死锁产生的条件，设计一个程序，能够显示当前各哲学家的状态和桌上餐具的使用情况，并能无死锁的推算出下一状态各哲学家的状态和桌上餐具的使用情况。2、 设计思路 (1)总体设计思想为哲学家设计3种状态，即“等待”“进餐”“思考”。每个哲学家重复进行“等待”-“进餐”-“思考”的行动循环。其中：“等待”-“进餐”：只有一个哲学家处于等待进餐状态，且左右手两边的餐具都处于“空闲”状态时，可以发生这种状态改变。此状态改变发生后，哲学家拿起左右手两边的餐具。“进餐”-“思考”：此状态改变发生后，哲学家放下左右手上的餐具。餐具状态由“使用中”转变为“空闲”。“思考”-“等待”：哲学家思考结束后，无条件转入等待状态。设计一个程序，能够显示当前各哲学家的状态和桌上餐具的使用情况，并能无死锁的推算出下一状态各哲学家的状态和桌上餐具的使用情况。即设计一个能安排哲学家正常生活的程序。(2)资源互斥问题不论是硬件临界资源，还是软件临界资源，多个进程必须互斥地对它进行访问。每个进程中访问临界资源的那段代码称为临界区（Critical Section）。 每个进程中访问临界资源的那段程序称为临界区（Critical Section）（临界资源是一次仅允许一个进程使用的共享资源）。每次只准许一个进程进入临界区，进入后不允许其他进程进入。不论是硬件临界资源，还是软件临界资源，多个进程必须互斥地对它进行访问本程序主要使用了EnterCriticalSection (&cs)和LeaveCriticalSection (&cs)两个函数实现临界区互斥。EnterCriticalSection (&cs)用来进入临界区，LeaveCriticalSection (&cs)用来离开临界区。三、过程论述(1)数据结构 class Philosopher：定义一个哲学家类，包含两个私有对象和四个公有对象。 int number,int status:用于记录哲学家编号以及用于保存当前该哲学家的状态，0表示正在等待（即处于饥饿状态）1表示得到餐具正在吃饭，2表示正在思考。 Philosopher(int num)方法：哲学家类构造函数，参数num表示哲学家编号。 find() const方法：返回该哲学家编号。 getinfo() const方法：返回哲学家当前状态。 Change()方法：根据题目要求改变哲学家的状态（等待-进餐-思考-等待） bool tools5：bool类型数组tools6，用来保存6把餐当前状态：true表示该餐具当前空闲，false表示该餐具当前正被使用。 Print:Print用来返回一个哲学家的状态。 toolstatus：toolstatus用来返回一个餐具的状态。 EnterCriticalSection(&cs)和LeaveCriticalSection (&cs)：用来进入临界区及用来离开临界区。（2）程序模块 主程序模块 开始定义信号量tool5定义哲学家类对象P1-P5 哲学家们状态发生改变P1.change()；P2.change()P3.change()；P4.change()P5.change()输出当前状态图 停止程序 结束 图3.1主程序模块 状态改变模块开始哲学家进餐状态哲学家处于思考状态 放下左手餐具Toolsnumber%5=trueTools(number+1)%5=true哲学家处于等待状态改变状态为等待 Status=0 改变状态为思考； status=2左右手均空闲？拿起左右手餐具Toolsnumber%5=faleTools(number+1)%5=fale 改变状态为进餐 status=1 结束 图3.2状态改变程序模块 返回哲学家状态模块开始i=0i=3 i=1Str=”等待”i=2Str=”进餐”Str=”思考” 结束 图3.3哲学家状态模块 返回餐具状态模块开始定义：string status 参数 a=fale参数a=true status=”用”status=”闲” 返回status 结束 图3.4餐具状态模块4、 结果分析（1）程序开始执行状态 图4.1程序开始执行状态（2）哲家状态图 图4.2哲学家的状态图1 图4.3哲学家状态图2 图4.4哲学家状态图3 图4.5哲学家状态图4（3）程序结束图 图4.6程序结束图五、结论（或总结）经过4周的时间完成了这次的课程设计,通过这次课程设计，我解决了哲学家进餐问题，加深了windows平台下信号量的理解，了解死锁的产生以及死锁的解决方法。而且，通过这次设计，我学到了许多课本上学不到的知识，注意到了许多课本上没有提到的东西,我得到了一个很好的理论联系实际的机会，锻炼了通过理论解决实际问题的能力。正所谓“实践出真知”，有些代码看上去没什么问题，但是实际运行起来就是不出正确结果。代码内部可能存在逻辑或语法等方面我们平时不会注意到的小问题，通过这次课程设计，我积累了不少这样小问题的解决方法。设计中总会遇到这样那样的问题，遇到问题势必要自己分析问题，通过各种渠道解决问题，比如利用互联网。这次课程设计也加强了我上网查数检索问题的能力。有些时候，学习到的知识是次要的，重要的是学习知识的方法。第二部分：参考文献1.汤小丹，计算机操作系统第三版，西安电子科技出版社，2007；2.黄干平，陈洛资，等.计算机操作系统.北京:科学出版社，1989；3.李勇，陈恩林.计算机体系结构.长沙：国防科技大学出版,1987；4.黄祥喜，计算机操作系统实验教程.广州：中山大学出版社，1994. 学生签名：操飞飞 填表日期：2014年6月15日第三部分： 指导教师评语第四部分：成绩评定指导教师签名： 填表日期： 年 月 日14附录#include #include #include #include #include using namespace std; /控制活动线程数目的信号量（保护线程共享资源）bool tools5;/全局变量，用餐工具CRITICAL_SECTION cs; /信号量, 在线程中使用，临界区class Philosopher private: int number; int status; /*标记当前哲学家的状态,0表示正在等待(即处于饥饿状态),1表示得到两支筷子正在吃饭,2表示正在思考*/ public:Philosopher(int num=0): status(2), number(num) int find() const return number; int getinfo() const return status; void Change() ; /状态改变函数; void Philosopher:Change() EnterCriticalSection (&cs) ; /进入临界区if(status=1)/正在进餐toolsnumber%5=true; /放下左手工具tools(number+1)%5=true; /放下右手工具status=2;/改变状态为思考 else if(status=2)/思考中 status=0; /改变状态为等待 else if(status=0)/等待中 if(toolsnumber%5&tools(number+1)%5) /左右手两边工具均为空闲状态toolsnumber%5=false; /拿起左手工具tools(number+1)%5=false; /拿起右手工具status=1; LeaveCriticalSection (&cs) ; string print(Philosopher *pA) /pA-Change(); int i=pA-getinfo(); string str; if(i=0) str=等待; else if(i=1) str=就餐; else str=思考; return 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;i5;i+) toolsi=true; Philosopher P1(1),P2(2),P3(3),P4(4),P5(5); InitializeCriticalSection (&cs) ; /初始化初始化临界区cout-状态说明示意图：-endl;cout哲学家1号的状态endl;cout筷5的状态筷1的状态endl;cout哲学家5号的状态 哲学家2号的状态endl;cout 筷4的状态 筷2的状态endl;cout哲学家4号的状态 筷3的状态 哲学家3号的状态endl;cout-endl;cout哲学家们开始生活：endl;coutendl;coutendl;while(con=y) P1.Change();P2.Change();P3.Change();P4.Change();P5.Change();cout当前状态为：endl;coutP1.find()print(&P1)endl;cout toolstat