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

问题描述

一张圆桌上坐着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