哲学家就餐解法_第1页
哲学家就餐解法_第2页
哲学家就餐解法_第3页
哲学家就餐解法_第4页
哲学家就餐解法_第5页
已阅读5页，还剩3页未读， 继续免费阅读

下载本文档

版权说明：本文档由用户提供并上传，收益归属内容提供方，若内容存在侵权，请进行举报或认领

文档简介

哲学家就餐问题及解决方法问题描述

有五个哲学家围坐在一圆桌旁，桌中央有一盘通心粉，每人面前有一只空盘子，每两人之间放一只筷子。每个哲学家的行为是思考，感到饥饿，然后吃通心粉。为了吃通心粉，每个哲学家必须拿到两只筷子，并且每个人只能直接从自己的左边和右边去取筷子。简单方法方法#define

N

5

void

philosopher

(int

i)

{

while

(true)

{

think；

wait(fork[i]);

wait(fork[(i+1)

%

5])；

eat；

signal(fork[i]);

signal(fork[(i+1)

%

5])；

}}问题恰好5个哲学家均拿起了每个人左边的筷子，这样5个哲学家都争不到右边的筷子，都不能吃饭，发生死锁。问题及解决方法为防止死锁发生可采取的措施：限制同时就餐人数：最多允许4个哲学家同时坐在桌子周围，仅当一个哲学家左右两边的筷子都可用时，才允许他拿筷子。仅当左右两边可用，才拿筷子进餐：AND信号量拿筷子方式：规定奇数位先拿左后拿右，偶数位置的先拿右后拿左解法：房间信号量(人数)最多允许4个哲学家同时坐在桌子周围，仅当一个哲学家左右两边的筷子都可用时，才允许他拿筷子。设置房间信号量实现semaphorefork[5]={1,1,1,1,1};semaphoreroom=4;voidphilosopher(inti);{while⑴{think();wait(room);wait(fork[i]);wait(fork[(i+l)%5]);eat();signal(fork[(i+l)%5]);signal(fork[i]);signal(room); }}解法：编号给所有哲学家编号，奇数号的哲学家必须首先拿左边的筷子，偶数号的哲学家则反之。

即规定奇数号（1，3）的哲学家先拿左边的筷子，偶数号（0，2，4）的哲学家先拿右边的筷子。编号：实现方法semaphorefork[5]={1,1,1,1,1};voidphilosopher(inti);{while⑴{think();if(i/2==0){ wait(fork[i]);wait(fork[(i+l)%5]);}

else{wait(fork[(i+l)%5]);wait(fork[i]);}

人人文库> 全部分类> 教育资料 > 课件下载

温馨提示

  • 1. 本站所有资源如无特殊说明，都需要本地电脑安装OFFICE2007和PDF阅读器。图纸软件为CAD,CAXA,PROE,UG,SolidWorks等.压缩文件请下载最新的WinRAR软件解压。
  • 2. 本站的文档不包含任何第三方提供的附件图纸等，如果需要附件，请联系上传者。文件的所有权益归上传用户所有。
  • 3. 本站RAR压缩包中若带图纸，网页内容里面会有图纸预览，若没有图纸预览就没有图纸。
  • 4. 未经权益所有人同意不得将文件中的内容挪作商业或盈利用途。
  • 5. 人人文库网仅提供信息存储空间，仅对用户上传内容的表现方式做保护处理，对用户上传分享的文档内容本身不做任何修改或编辑，并不能对任何下载内容负责。
  • 6. 下载文件中如有侵权或不适当内容，请与我们联系，我们立即纠正。
  • 7. 本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。

最新文档

评论

0/150

提交评论