原创力文档- 1、本文档共50页，可阅读全部内容。
- 2、原创力文档（book118）网站文档一经付费（服务费），不意味着购买了该文档的版权，仅供个人/单位学习、研究之用，不得用于商业用途，未经授权，严禁复制、发行、汇编、翻译或者网络传播等，侵权必究。
- 3、本站所有内容均由合作方或网友上传，本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺！文档内容仅供研究参考，付费前请自行鉴别。如您付费，意味着您自己接受本站规则且自行承担风险，本站不退款、不进行额外附加服务；查看《如何避免下载的几个坑》。如果您已付费下载过本站文档，您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等，请点击“版权申诉”（推荐），也可以打举报电话：400-050-0827(电话支持时间：9:00-18:30)。
查看更多
方案2 while(1) // 去拿两把叉子 { take_fork(i); // 去拿左边的叉子 if(fork((i+1)%N)) { // 右边叉子还在吗 take_fork((i + 1) % N);// 去拿右边的叉子 break; // 两把叉子均到手 } else { // 右边叉子已不在 put_fork(i); // 放下左边的叉子 wait_some_time( ); // 等待一会儿 } } 对拿叉子的过程进行了改进，但仍不正确 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 方案3 while(1) // 去拿两把叉子 { take_fork(i); // 去拿左边的叉子 if(fork((i+1)%N)) { // 右边叉子还在吗 take_fork((i + 1) % N);// 去拿右边的叉子 break; // 两把叉子均到手 } else { // 右边叉子已不在 put_fork(i); // 放下左边的叉子 wait_random_time( ); // 等待随机长时间 } } 等待时间随机变化。可行，但非万全之策 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 方案4 semaphore mutex // 互斥信号量，初值1 void philosopher(int i) // 哲学家编号i：0－4 { while(TRUE){ think( ); // 哲学家在思考 P(mutex); // 进入临界区 take_fork(i); // 去拿左边的叉子 take_fork((i + 1) % N); // 去拿右边的叉子 eat( ); // 吃面条中…. put_fork(i); // 放下左边的叉子 put_fork((i + 1) % N); // 放下右边的叉子 V(mutex); // 退出临界区 }} 互斥访问。正确，但每次只允许一人进餐 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. 方案4的缺点： 它把就餐（而不是叉子）看成是必须互斥访问的 临界资源，因此会造成（叉子）资源的浪费。从 理论上说，如果有五把叉子，应允许两个不相邻 的哲学家同时进餐。 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. S1 思考中… S2 进入饥饿状态； S3 如果左邻居或右邻居正在进餐，等待；否则转S4 S4 拿起两把叉子； S5 吃面条… S6 放下左边的叉子； S7 放下右边的叉子； S8 新的一天又开始了，转S1 哲学家就餐问题的解答 思路(1) 哲学家自己怎么来解决这个问题？ 指导原则：要么不拿，要么就拿两把叉子。 Evaluation only. Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0. Copyright 2004-2011 Aspose Pty Ltd. S1 思考中… S2 进入饥饿状态； S3 如果左邻居或右邻居正在进餐，进入阻塞状态； 否则转S4 S4 拿起两把叉子； S5 吃面条… S6 放下左边的叉子，看看
文档评论（0）