【操作系统】哲学家进餐问题

问题描述

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

问题分析

1. 关系分析。系统中有5个哲学家进程，5位哲学家与左右邻居对其中间筷子的访问是互斥关系。
2. 整理思路。这个问题中只有互斥关系，但与之前遇到的问题不同的是，没个哲学家进程需要同时持有两个临界资源才能开始吃饭。如何避免临界资源分配不当造成的死锁现象，是哲学家问题的精髓。
3. 信号量设置。定义互斥信号量数组
   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操作的时候，所有的哲学家都会被阻塞，他们会循环的等待自己右边的人放下自己想要的那根筷子，这就引发死锁问题。每个哲学家都在等待资源，但是又不会主动的把自己已经拿到的资源放回去，这就导致了所有的哲学家都在僵持谁也没办法往下推进。所以这种解决方案是不合理的。

如何实现

1. 可以对哲学家进程施加一些限制条件，比如最多允许四个哲学家同时进餐。这样可以保证至少有一个哲学家是可以拿到左右两只筷子的。
   
   即使有四个哲学家并发执行，那么至少可以保证有一个哲学家可以拿起自己相邻的筷子进餐，只要这个哲学家进餐结束把筷子放下了，那么剩下被阻塞的哲学家还是可以依次被激活。
   
2. 要求奇数号哲学家先拿起左边的筷子。然后再拿右边的筷子，而偶数号的哲学家刚好相反。用这种方法可以保证如果相邻的两个奇偶号哲学家都想吃饭，那么只有其中一个可以拿起第一支筷子，另一个会直接阻塞，避免了占有一支后再等待另一只的情况。
3. 仅当一个哲学家左右两支筷子都可用时才允许他抓起筷子。

首先可以设置一个互斥信号量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号哲学家拿走了，所以他依然会被阻塞

所以即使是要求只有两边筷子同时可以拿起时哲学家才能拿起筷子，但是依然会出现即使一边筷子不可使用但是仍拿筷子的状况。所以这种方法是不太严谨的。

更准确的说法应该是：各哲学家拿筷子这件事必须互斥的执行。这就保证了即使一个哲学家在拿筷子拿到一半被阻塞，也不会有别的哲学家会继续尝试拿筷子。这样的话，当前正在吃饭的哲学家放下筷子后，被阻塞的这也假就可以获得等待的筷子了。

哲学家进餐问题的关键在于解决进程死锁。
这些进程之间只存在互斥关系，但是与之前接触到的互斥关系不同的是，每个进程都需要同时持有两个临界资源，因此就有“死锁”问题的隐患。

如果子啊考试中遇到了一个进程需要同时持有多个临界资源的请，应该参考哲学家问题的思想，分析问题中给出的进程之间是否会发生循环等待，是否会发生死锁。可以参考哲学家进餐问题解决死锁的三种思路。