《操作系统》-哲学家进餐问题

什么是哲学家进餐问题？

一张圆桌上坐着5名哲学家，每两个哲学家之间的桌上摆一根筷子，桌子的中间是一碗米饭。哲学家们倾注毕生的精力用于思考和进餐，哲学家在思考时，并不影响他人。只有当哲学家饥饿时，才试图拿起左、右两根筷子（一根一根地拿起）。如果筷子已在他人手上，则需等待。饥饿的哲学家只有同时拿起两根筷子才可以开始进餐，当进餐完毕后，放下筷子继续思考。

分析哲学家进餐问题

互斥关系
5位哲学家与左右邻居对中间筷子的访问是互斥的

如何解决

这个问题只有互斥关系，但与之前遇到的不同的是，哲学家进餐问题需要每个哲学家同时持有两个临界资源才能开始吃饭，如何避免临界资源分配不当造成的死锁现象，是哲学家进餐问题的精髓。
信号量设置定义互斥信号量数组chopstick[5]={1,1,1,1,1}用于实现对5个筷子的互斥访问，并对哲学家按0~4编号，哲学家i左边的筷子编号为i，右边的筷子编号为(i+1)%5。如上图所示

首先我们看一下如下代码

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位哲学家并发的拿起自己左手边的筷子，此时每位哲学家都在循环等待右边的人使用完放下右边的筷子，从而陷入无限的循环之中，这种情况就称为“死锁”

如何防止死锁的发生呢？
方案1：可以对哲学家进程施加一些限制条件，比如说是能有同时四个哲学家进餐，这样可以保证至少有一个哲学家可以拿到左右两个筷子
方案2：添加一些特定的要求，比如要求奇数号哲学家进餐是需要首先那左边的筷子，偶数号哲学家进餐时需要首先拿右边的筷子。用这种方式可以保证如果相邻的两个奇偶哲学家都想吃饭，那么只会有一个可以拿起第一个筷子，另一个会直接阻塞，这就避免了占有一只再等待另一只的情况
方案3：仅当一个哲学家左右两只筷子有可用时，才允许他抓起筷子
方案4：使拿筷子的行为互斥的进行，这就保证了有哲学家拿到筷子堵塞之后其他的哲学家无法尝试拿筷子，直到正在吃饭的哲学家放下筷子，堵塞的哲学家拿到两只筷子之后，其他哲学家才能再次尝试拿筷子，也可以解决死锁的问题

以第四种解决方法为例，代码如下

semaphore chopstick[5]={1,1,1,1,1};
semaphore mutex = 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]); //放右
思考… } }

关于哲学者进餐问题，我们需要理解几种解决死锁的方法