经典进程的同步问题之——哲学家进餐

跟風遠走 提交于 2020-01-09 07:08:15

哲学家进餐问题描述

由Dijkstra提出并解决哲学家进餐问题(The Dinning Philosophers Problem)是经典的同步问题。该问题是描述有五个哲学家共用一张圆桌,分别坐在周围的五张椅子上,在桌子上有五个碗和五只筷子,他们的生活方式是交替的进行思考和进餐。平时,一个哲学家进行思考,饥饿时便试图取用其左右最靠近他的筷子,只有他拿到两只筷子时才能进餐,进餐完毕继续进行思考。

1 利用记录型信号量解决哲学家进餐问题

经过分析可知,圆桌上的筷子是临界资源,在一段时间内只允许一位哲学家使用,为了实现筷子的互斥使用,可以使用一个信号量表示一只筷子,由这五个信号量构成信号量数组。

描述如下:

 1 Var chopstick:array[0,...,4] of semapthore;
 2 所有信号量均被初始化为1,第i位哲学家的活动可描述为:
 3 repeat
 4     wait(chopstick[i]);          // 申请一个临界资源使用权(获取左边的筷子)
 5     wait(chopstick[(i+1) mod 5]);// 在申请一个临界资源使用权(获取右边的筷子)
 6     ...
 7     eat                          // 资源申请成功后进餐操作
 8     ...
 9     signal(chopstick[i]);          // 释放一个临界资源(放回走手边筷子)
10     signal(chopstick[(i+1) mod 5]) // 再释放一个临界资源(放回右手边筷子)
11     ...
12     think
13 until false

但这种方式会引起死锁,例如:假如五位哲学家同时饥饿,同时拿起左边的筷子,此时五个信号量chopstick均为0;当他们试图拿起右边的筷子时都将因为没有筷子而进入无限等待。对于这样的死锁问题,可采用以下几种解决办法。

(1) 至多只允许有四位哲学家同时去拿左边的筷子,最终能保证至少有一位哲学家能够 进餐,并在用毕时能释放出他用过的两只筷子,从而使更多的哲学家能够进餐。

(2) 仅当哲学家的左、右两只筷子均可用时,才允许他拿起筷子进餐。

(3) 规定奇数号哲学家先拿他左边的筷子,然后再去拿右边的筷子,而偶数号哲学家则 相反。按此规定,将是 1、2 号哲学家竞争 1 号筷子;3、4 号哲学家竞争 3 号筷子。即五位 哲学家都先竞争奇数号筷子,获得后,再去竞争偶数号筷子,最后总会有一位哲学家能获 得两只筷子而进餐。

2.利用 AND 信号量机制解决哲学家进餐问题

在哲学家进餐问题中,要求每个哲学家先获得两个临界资源(筷子)后方能进餐,这在本 质上就是前面所介绍的 AND 同步问题,故用 AND 信号量机制可获得最简洁的解法。

描述如下

1 Var chopstick array of semapthore:=(1,1,1,1,1);
2     processi
3         repeat
4             think;
5             Sswait(chopstick[(i+1) mod 5],chopstick[i]);
6             eat
7             Ssignal(chopstick[(i+1) mod 5],chopstick[i]);
8         until false;

 

标签
易学教程内所有资源均来自网络或用户发布的内容,如有违反法律规定的内容欢迎反馈
该文章没有解决你所遇到的问题?点击提问,说说你的问题,让更多的人一起探讨吧!