问题描述
一张圆桌上坐着5名哲学家,每两个哲学家之间的桌上摆着一根筷子,桌子的中间是一碗米饭,哲学家们倾注毕生精力用于思考和进餐,哲学家在思考时,并不影响他人。只有当哲学家饥饿时,才试图拿起左、右两根筷子(一根一根地拿起)。如果筷子已在他人手上,则需等待。饥饿的哲学家只有同时拿起两根筷子才可以开始进餐,当进餐完毕后,放下筷子继续思考。
问题分析
- 关系分析。系统中有5个哲学家进程,5位哲学家与左右邻居对其中间筷子的访问是互斥关系。
- 整理思路。这个问题中只有互斥关系,但与之前遇到的问题不同的是,没个哲学家进程需要同时持有两个临界资源才能开始吃饭。如何避免临界资源分配不当造成的死锁现象,是哲学家问题的精髓。
- 信号量设置。定义互斥信号量数组
chopstick[5]={1,1,1,1,1}用于实现对5个筷子的互斥访问,并对哲学家按0~4编号,哲学家左边的筷子编号为i,右边的筷子编号为(i+1)%5(避免溢出)
那么现在每个哲学家需要先对自己左边的筷子实行P操作,再对右边的筷子实行P操作,最后依次释放。
semaphore chopstick[5] = {1,1,1,1,1};
Pi(){ //i号哲学家的进程
while(1){
P(chopstick[i]); //拿左
P(chopstick[(i+1)%5]); //拿右
吃饭...
V(chopstick[i]); //放左
V(chopstick[(i+1)%5]); //放右
思考...
}
}
但是这么做的问题在于,如果此时5个哲学家都并发的执行吃饭操作,当第一个哲学家拿起左边筷子后,又切换到了第二个哲学家也拿起了左边的筷子,如此五个哲学家都拿到了自己左边的筷子,但是当哲学家想要拿起自己右边的筷子的时候,会发现自己右边的筷子已经被别人占用了,所以当执行第二个P操作的时候,所有的哲学家都会被阻塞,他们会循环的等待自己右边的人放下自己想要的那根筷子,这就引发死锁问题。每个哲学家都在等待资源,但是又不会主动的把自己已经拿到的资源放回去,这就导致了所有的哲学家都在僵持谁也没办法往下推进。所以这种解决方案是不合理的。
如何实现
- 可以对哲学家进程施加一些限制条件,比如最多允许四个哲学家同时进餐。这样可以保证至少有一个哲学家是可以拿到左右两只筷子的。
即使有四个哲学家并发执行,那么至少可以保证有一个哲学家可以拿起自己相邻的筷子进餐,只要这个哲学家进餐结束把筷子放下了,那么剩下被阻塞的哲学家还是可以依次被激活。
- 要求奇数号哲学家先拿起左边的筷子。然后再拿右边的筷子,而偶数号的哲学家刚好相反。用这种方法可以保证如果相邻的两个奇偶号哲学家都想吃饭,那么只有其中一个可以拿起第一支筷子,另一个会直接阻塞,避免了占有一支后再等待另一只的情况。
- 仅当一个哲学家左右两支筷子都可用时才允许他抓起筷子。
首先可以设置一个互斥信号量mutex
semaphore chopstick[5] = {1,1,1,1,1};
Pi(){ //i号哲学家的进程
while(1){
P(mutex); //上锁
P(chopstick[i]); //拿左
P(chopstick[(i+1)%5]); //拿右
V(mutex); //关锁
吃饭...
V(chopstick[i]); //放左
V(chopstick[(i+1)%5]); //放右
思考...
}
}
当号0哲学家执行了互斥的P操作后,拿起了左侧的筷子,这个时候即使进程转到了2号哲学家,由于0号哲学家还没有对mutex执行V操作,所以在2号哲学家执行mutex的P操作的时候会被阻塞。
一直到切换回0号哲学家,在0号哲学家顺利的拿到了右边的筷子后,2号哲学家又可以被激活,那么它就可以顺利的执行下面的P操作
此时如果0号哲学家开始执行,顺利的拿起了左右筷子开始吃饭后,对mutex实施了V操作,当转到1号哲学家的时候,此时因为0号哲学家已经对mutex释放了,所以1号哲学家执行mutex的P操作的时候并不会被阻塞,但是它却拿不到左边的筷子,也会造成阻塞。但是当转到2号哲学家的时候,因为此时1号哲学家还没有释放mutex的V操作,所以2号哲学家在实施mutex的P操作时会造成阻塞。所以即使2号哲学家此时左右两边的筷子都是可以拿起来的,他依然有可能会被阻塞。
第三种情况:如果刚开始0号哲学家开始执行拿起了左右两边的筷子开始吃饭,然后转到了4号哲学家,4号哲学家顺利拿起了左边的筷子,但是当他想要拿起右边筷子的时候,因为此时右边的筷子已经被0号哲学家拿走了,所以他依然会被阻塞
所以即使是要求只有两边筷子同时可以拿起时哲学家才能拿起筷子,但是依然会出现即使一边筷子不可使用但是仍拿筷子的状况。所以这种方法是不太严谨的。
更准确的说法应该是:各哲学家拿筷子这件事必须互斥的执行。这就保证了即使一个哲学家在拿筷子拿到一半被阻塞,也不会有别的哲学家会继续尝试拿筷子。这样的话,当前正在吃饭的哲学家放下筷子后,被阻塞的这也假就可以获得等待的筷子了。
哲学家进餐问题的关键在于解决进程死锁。
这些进程之间只存在互斥关系,但是与之前接触到的互斥关系不同的是,每个进程都需要同时持有两个临界资源,因此就有“死锁”问题的隐患。
如果子啊考试中遇到了一个进程需要同时持有多个临界资源的请,应该参考哲学家问题的思想,分析问题中给出的进程之间是否会发生循环等待,是否会发生死锁。可以参考哲学家进餐问题解决死锁的三种思路。