关于操作系统 哲学家吃饭的问题 ,不需要编程,用信号量解决哲学家吃饭的原理和方法.
来源:学生作业帮 编辑:搜搜做题作业网作业帮 分类:综合作业 时间:2024/07/13 15:51:43
关于操作系统 哲学家吃饭的问题 ,不需要编程,用信号量解决哲学家吃饭的原理和方法.
还有用test and set 来解决哲学家吃饭的原理和方法.
还有用test and set 来解决哲学家吃饭的原理和方法.
1.利用记录型信号量解决哲学家进餐问题
经分析可知,放在桌子上的筷子是临界资源,在一段时间内只允许一位哲学家使用.为了实现对筷子的互斥使用,可以用一个信号量表示一只筷子,由这五个信号量构成信号量数组.其描述如下:
Var chopstick:array〔0,…,4〕 of semaphore;
所有信号量均被初始化为1,第i位哲学家的活动可描述为:
repeat
wait(chopstick〔i〕);
wait(chopstick〔(i+1) mod 5〕);
eat;
signal(chopstick〔i〕);
signal(chopstick〔(i+1) mod 5〕);
think;
until false;
存在的问题?
上述方法可以保证不会有两个相邻的哲学家同时进餐,但有可能产生死锁.
假如五个哲学家同时饥饿而各自拿起左边的筷子时,就会使五个信号量chopstick均为0;当他们去取右边的筷子时都将因无筷子可拿而无限期等待.
可采取以下几种解决方法:
(1) 至多只允许有四位哲学家同时去拿左边的筷子,最终能保证至少有一位哲学家能够进餐,并在用毕时能释放出他用过的两只筷子,从而使更多的哲学家能够进餐.
(2) 仅当哲学家的左、右两只筷子均可用时,才允许他拿起筷子进餐.
(3) 规定奇数号哲学家先拿他左边的筷子,然后再去拿右边的筷子;而偶数号哲学家则相反.按此规定,将是1、 2号哲学家竞争1号筷子;3、4号哲学家竞争3号筷子.即五位哲学家都先竞争奇数号筷子,获得后,再去竞争偶数号筷子,最后总会有一位哲学家能获得两只筷子而进餐.
2.利用AND信号量机制解决哲学家进餐问题
在哲学家进餐问题中,要求每个哲学家先获得两个临界资源(筷子)后方能进餐,这在本质上就是前面所介绍的AND同步问题,故用AND信号量机制可获得最简洁的解法.
Var chopstick array 〔0,…,4〕 of semaphore∶ =(1,1,1,1,1);
processi
repeat
think;
P(chopstick〔(i+1) mod 5〕,chopstick 〔i〕);
eat;
V(chopstick 〔(i+1) mod 5〕,chopstick 〔i〕);
until false;
我的课件上的解释,希望对你有所帮助!
经分析可知,放在桌子上的筷子是临界资源,在一段时间内只允许一位哲学家使用.为了实现对筷子的互斥使用,可以用一个信号量表示一只筷子,由这五个信号量构成信号量数组.其描述如下:
Var chopstick:array〔0,…,4〕 of semaphore;
所有信号量均被初始化为1,第i位哲学家的活动可描述为:
repeat
wait(chopstick〔i〕);
wait(chopstick〔(i+1) mod 5〕);
eat;
signal(chopstick〔i〕);
signal(chopstick〔(i+1) mod 5〕);
think;
until false;
存在的问题?
上述方法可以保证不会有两个相邻的哲学家同时进餐,但有可能产生死锁.
假如五个哲学家同时饥饿而各自拿起左边的筷子时,就会使五个信号量chopstick均为0;当他们去取右边的筷子时都将因无筷子可拿而无限期等待.
可采取以下几种解决方法:
(1) 至多只允许有四位哲学家同时去拿左边的筷子,最终能保证至少有一位哲学家能够进餐,并在用毕时能释放出他用过的两只筷子,从而使更多的哲学家能够进餐.
(2) 仅当哲学家的左、右两只筷子均可用时,才允许他拿起筷子进餐.
(3) 规定奇数号哲学家先拿他左边的筷子,然后再去拿右边的筷子;而偶数号哲学家则相反.按此规定,将是1、 2号哲学家竞争1号筷子;3、4号哲学家竞争3号筷子.即五位哲学家都先竞争奇数号筷子,获得后,再去竞争偶数号筷子,最后总会有一位哲学家能获得两只筷子而进餐.
2.利用AND信号量机制解决哲学家进餐问题
在哲学家进餐问题中,要求每个哲学家先获得两个临界资源(筷子)后方能进餐,这在本质上就是前面所介绍的AND同步问题,故用AND信号量机制可获得最简洁的解法.
Var chopstick array 〔0,…,4〕 of semaphore∶ =(1,1,1,1,1);
processi
repeat
think;
P(chopstick〔(i+1) mod 5〕,chopstick 〔i〕);
eat;
V(chopstick 〔(i+1) mod 5〕,chopstick 〔i〕);
until false;
我的课件上的解释,希望对你有所帮助!
关于操作系统 哲学家吃饭的问题 ,不需要编程,用信号量解决哲学家吃饭的原理和方法.
操作系统中信号量哲学家进食
利用AND型信号量解决哲学家进餐问题,要windows下的C/C++的完整源代码程序.(五个哲学家五只筷子)
哲学家靠什么吃饭
关于哲学家进餐问题.我们知道操作系统中可能出现死锁的问题——哲学家进餐问题,这个问题中涉及到“筷子”.但是要知道,计算机
哲学家平时靠什么吃饭?
哲人哲学家靠什么吃饭?
古希腊有个哲学家提倡回归,说人要动物一样的生活着,吃饭和睡觉都在大街上,甚至是排泄……这个哲学家是谁
袁隆平是怎样解决农民吃饭问题的
关于哲学家的故事
悲剧哲学家和悲观哲学家的区别
哲学家,靠什么吃饭?干什么工作?