哲学家进餐问题:
来源:互联网 发布:mac如何给iphone刷机 编辑:程序博客网 时间:2024/04/30 18:12
哲学家进餐问题:
分析:筷子是临界资源,在一段时间内只允许一个哲学家使用
用一个信号量表示一支筷子,由这五个信号量构成信号量组
Var chopstick:array[0...4] of semaphore
所有信号量被初始化为1
用记录型信号量 解决哲学家进餐问题:
第i个哲学家的活动可描述为:
Repeat
Wait(chopstick[i]);
Wait (chopstick[(i+1)mod5]);
...eat...
Signal(chopstick[i]);
Signal(chopstick[i+1]mod5);
...
Think;
Until false;
问题: 假如五个哲学家同时饥饿而各自拿起左边的筷子,会使五个信号量均为0,当他们再试图拿起右边的筷子时,都将无限期地等待。
解决方法:1、之多四个人同时拿起左边的筷子,保证至少有一个人可以进餐,最终释放筷子使 更多的人进餐
2、仅当哲学家的左右两只筷子均可用时,才 允许他拿起筷子进餐。
3、规定奇数号哲学家先拿起其左边的筷子
用AND型信号量 解决哲学家进餐问题
Var chopstick;
Array[0...4] of semaphore: = (1,1,1,1,1)
第i个哲学家的活动:
Repeat
Think;
swait(chopstick[chopstick(i+1)mod5], chopstick[i]);
eat
Ssignal(chopstick[(i+1)mod5] , chopstick[i]);
think;
until false;
0 0
- 哲学家进餐问题
- 哲学家进餐的问题
- 哲学家进餐问题
- 哲学家进餐问题
- 关于哲学家进餐问题
- 哲学家进餐问题
- 哲学家进餐问题
- 哲学家进餐问题
- 关于哲学家进餐问题
- 哲学家进餐问题:
- 哲学家进餐问题
- 哲学家进餐问题
- 哲学家进餐问题
- 哲学家进餐问题
- 哲学家进餐问题
- 关于哲学家进餐问题
- 信号量 哲学家进餐问题
- 【操作系统】“哲学家进餐”问题
- struts2 interceptor 的InterceptorListener
- apache+tomcat 负载均衡
- Android开发新“神器”:模拟器之王genymotion!
- struts2字段校验器与非字段校验器
- C#操作XML
- 哲学家进餐问题:
- 操作系统中的进程通信
- 线程小讲
- cocos2d-x在android下添加多盟插屏广告
- 计算机的调度
- 调度算法:
- Struts 2配置MySQL
- easyPHP配置
- cclimits头文件