- 1、本文档共50页,可阅读全部内容。
- 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
- 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
- 5、该文档为VIP文档,如果想要下载,成为VIP会员后,下载免费。
- 6、成为VIP后,下载本文档将扣除1次下载权益。下载后,不支持退款、换文档。如有疑问请联系我们。
- 7、成为VIP后,您将拥有八大权益,权益包括:VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
- 8、VIP文档为合作方或网友上传,每下载1次, 网站将根据用户上传文档的质量评分、类型等,对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
方案2 while(1) // 去拿两把叉子{ take_fork(i); // 去拿左边的叉子 if(fork((i+1)%N)) { // 右边叉子还在吗 take_fork((i + 1) % N);// 去拿右边的叉子 break; // 两把叉子均到手 } else { // 右边叉子已不在 put_fork(i); // 放下左边的叉子 wait_some_time( ); // 等待一会儿 }} 对拿叉子的过程进行了改进,但仍不正确 方案3 while(1) // 去拿两把叉子{ take_fork(i); // 去拿左边的叉子 if(fork((i+1)%N)) { // 右边叉子还在吗 take_fork((i + 1) % N);// 去拿右边的叉子 break; // 两把叉子均到手 } else { // 右边叉子已不在 put_fork(i); // 放下左边的叉子 wait_random_time( ); // 等待随机长时间 }} 等待时间随机变化。可行,但非万全之策 方案4 semaphore mutex // 互斥信号量,初值1void 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); // 退出临界区 }} 互斥访问。正确,但每次只允许一人进餐 方案4的缺点: 它把就餐(而不是叉子)看成是必须互斥访问的 临界资源,因此会造成(叉子)资源的浪费。从 理论上说,如果有五把叉子,应允许两个不相邻 的哲学家同时进餐。 S1 思考中…S2 进入饥饿状态;S3 如果左邻居或右邻居正在进餐,等待;否则转S4S4 拿起两把叉子;S5 吃面条…S6 放下左边的叉子;S7 放下右边的叉子;S8 新的一天又开始了,转S1 哲学家就餐问题的解答 思路(1) 哲学家自己怎么来解决这个问题? 指导原则:要么不拿,要么就拿两把叉子。 S1 思考中…S2 进入饥饿状态;S3 如果左邻居或右邻居正在进餐,进入阻塞状态; 否则转S4S4 拿起两把叉子;S5 吃面条…S6 放下左边的叉子,看看左邻居现在能否进餐 (饥饿状态、两把叉子都在),若能则唤醒之;S7 放下右边的叉子,看看右邻居现在能否进餐, 若能,唤醒之;S8 新的一天又开始了,转S1 思路(2) 计算机程序怎么来解决这个问题? 指导原则:不能浪费CPU时间;进程间相互通信。 思路(3) 怎么样来编写程序? 必须有一个数据结构,来描述每个哲学家的当前状态; 该数据结构是一个临界资源,各个哲学家对它的访问应该互斥地进行——进程互斥; 一个哲学家吃饱后,可能要唤醒它的左邻右舍,两者之间存在着同步关系——进程同步; 数据结构的定义 #define N 5 // 哲学家个数#define LEFT (i+N-1)%N // 第i个哲学家的左邻居#define RIGHT (i+1)%N // 第i个哲学家的右邻居#define THINKING 0 // 思考状态#define HUNGRY 1 // 饥饿状态#define EATING 2 // 进餐状态int state[N]; // 记录每个人的状态semaphore mutex; // 互斥信号量,初值1semaphore s[N]; // 每人一个信号量,0 void philosopher(int i) // i的取值:0到N
您可能关注的文档
- 理论力学16—质点动力学基本方程.ppt
- 团委组织部学生会部长竞选.ppt
- 团日活动-我的未来不是梦.ppt
- 理论力学B-动量定理10-2013.ppt
- 团日活动流程模版.ppt
- 理论力学教学材料-2平面一般力系3.ppt
- 理论力学牛顿动力学方程.ppt
- 团结友爱和睦共处共建和谐班级主题班会.ppt
- 理论力学运动复习.ppt
- 团结就是力量1.ppt
- 2024年证券分析与咨询服务项目投资申请报告代可行性研究报告.docx
- 2024年铬酸酐项目资金申请报告代可行性研究报告.docx
- 2024年清洁胶项目资金申请报告代可行性研究报告.docx
- 2024年肉松饼项目投资申请报告代可行性研究报告.docx
- 2024年陆上泵项目资金需求报告代可行性研究报告.docx
- 2024年未硫化复合橡胶及其制品项目资金需求报告代可行性研究报告.docx
- 2024年精密温控节能设备项目资金筹措计划书代可行性研究报告.docx
- 2024年汽车覆盖件模具项目资金筹措计划书代可行性研究报告.docx
- 宋词行书钢笔字帖.pdf
- 我的暑假生活作文三年级300字10篇.pdf
文档评论(0)