哲学家进餐问题

哲学家进餐问题

问题描述

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

关系分析

系统中有5个哲学家进程，5位哲学家与左右邻居对其中间筷子的访问是互斥关系。

信号量设置

定义互斥信号量数组chopstick[5]={1,1,1,1,1}用于实现对5个筷子的互斥访问。

并对哲学家按0~4编号，哲学家i左边的筷子编号为i，右边的筷子编号为(i+1)%5。

方式1

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

原理：如果多只允许四个哲学家同时进餐，那么一定就能保证至少有一个哲学家能够进餐，当他进餐结束后，会释放出他所使用过的两支筷子，从而可使其他哲学家进餐。

semaphore chopstick[5]={1,1,1,1,1}//互斥信号量数组，用于实现对5个筷子的互斥访问
semaphore mutex=4;  //同步信号量，初始值为4，表示最多允许四个哲学家同时进餐

while(true)
{
    思考;
    P(mutex);//开始进餐
    P(chopstick[i]);//取左边筷子
    P(chopstick[(i+1)%5]);//取右边筷子
    进餐;
    V(chopstick[i]);//放下左边筷子
    V(chopstick[(i+1)%5]);//放下右边筷子
    V(mutex);//结束进餐，释放同步信号量
    思考;
}

方式2

规定：

• 奇数号的哲学家先拿起他左边的筷子，然后再去拿他右边的筷子；
• 偶数号的哲学家则先拿起他右边的筷子，然后再去拿他左边的筷子。

原理 ：按此规定，将是0、1号哲学家竞争1号筷子，2、3号哲学家竞争3号筷子等等。即五个哲学家都竞争奇数号筷子，获得后，再去竞争偶数号筷子，最后总会有一个哲学家能获得两支筷子而进餐

semaphore chopstick[5]={1,1,1,1,1}//互斥信号量数组，用于实现对5个筷子的互斥访问

while(true)
{
    思考;
    if(i%2==0)//如果是偶数号的哲学家
    {
        P(chopstick[(i+1)%5]);//取右边筷子
        P(chopstick[i]);//取左边筷子
        进餐;
        V(chopstick[(i+1)%5]);//放下右边筷子
        V(chopstick[i]);//放下左边筷子
    }
    else//如果是奇数号的哲学家
    {
        P(chopstick[i]);//取左边筷子
        P(chopstick[(i+1)%5]);//取右边筷子
        进餐;
        V(chopstick[i]);//放下左边筷子 
        V(chopstick[(i+1)%5]);//放下右边筷子
    }
    思考;
}

方式3

仅当哲学家的左，右两只筷子均可用时，才允许他拿起筷子进餐

semaphore chopstick[5]={1,1,1,1,1}//互斥信号量数组，用于实现对5个筷子的互斥访问
semaphore mutex=1;//互斥信号量，初始值为1，表示当前有1个哲学家进餐
while(true)
{
    思考;
    P(mutex);//当前哲学家取筷子
    P(chopstick[i]);//取左边筷子
    P(chopstick[(i+1)%5]);//取右边筷子
    V(mutex);//当前哲学家取到完整的一双筷子
    进餐;
    V(chopstick[i]);//放下左边筷子 
    V(chopstick[(i+1)%5]);//放下右边筷子
    思考;
}

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