哲学家进餐问题

五个哲学家共用一张圆桌，分别坐在周围的五张椅子上，在桌子上有五只碗和五只筷子，他们的生活方式是交替地进行思考和进餐。平时，一个哲学家进行思考，饥饿时便试图取用其左右最靠近他的筷子（先拿左边的筷子再拿右边的筷子），只有在他拿到两只筷子时才能进餐。进餐毕，放下筷子继续思考。

放在桌子上的筷子是临界资源，在一段时间内只允许一个哲学家使用。为实现对筷子的互斥使用，用一个信号量表示一只筷子，五个信号量构成信号量数组。 chopstick[5] = {1, 1, 1, 1, 1};

i 从0开始，对于第 i 个哲学家，他左边的筷子记为chopstick[i]，那么他右边的筷子记为chopstick[(i + 1) mod 5] 。

semaphore chopstick[5]={1,1,1,1,1};
第i 位哲学家的活动可描述为：
      do{
          wait(chopstick[i]);
          wait(chopstick[ (i +1) mod 5] );
          …
          eat;
          …
          signal(chopstick[i]);
          signal(chopstick[(i + 1) mod 5]);
          …
          think;
      }while(TRUE);

根据问题的描述我们可以发现：1、相邻两位不能同时进餐；2、最多只能有两个人同时进餐。现在的模型很容易引起死锁，比如每个时间片只够一个哲学家拿起左边的筷子，这样5个时间片后每个哲学家都有一根筷子，但是每个哲学家再想拿右边的筷子就拿不到了，从而被阻塞，5个哲学家都被阻塞，引起死锁。

 

解决问题的思路：

1、最多允许四个哲学家同时吃饭。也就是说最多允许四个哲学家同时去拿左边的筷子。这样总会有一根筷子闲置，四个哲学家中的一位          就可以使用这根筷子避免阻塞。

2、当哲学家的左右两边筷子都可以使用时，才允许该哲学家进餐

3、规定奇数号哲学家先拿他左边的筷子，然后再去拿右边的筷子；偶数号哲学家则反之。

 

用记录型信号量实现思路：

// 1、最多四个哲学家进餐
semaphore chopstick[5]={1，1，1，1，1};
semaphore count=4;
void philosopher(int i)
{
    while(true)
    {
        think();
        wait(count); //请求进入房间进餐
        wait(chopstick[i]); //请求左手边的筷子
        wait(chopstick[(i+1)%5]); //请求右手边的筷子
        eat();
        signal(chopstick[(i+1)%5]); //释放右手边的筷子
        signal(chopstick[i]); //释放左手边的筷子
        signal(count); //退出房间释放信号量
    }
}

// 2、保证拿到两个筷子再进餐
semaphore mutex = 1 ;
semaphore chopstick[5]={1，1，1，1，1};
void philosopher(int i)
{
    while(true)
    {
        think();
        wait(mutex);
        wait(chopstick[(i+1)%5]);
        wait(chopstick[i]);
        signal(mutex);
        eat();
        signal(chopstick[(i+1)%5]);
        signal(chopstick[i]);

        // think;
        // Swait(chopstick[(i+1)mod 5],chopstick[i]);
        // eat;
        // Ssignal(chopstick[(i+1)mod 5], chopstick[i] );     

    }
}

// 3、奇数位哲学家先左后右，偶数位哲学家反之
semaphore chopstick[5]={1，1，1，1，1};
void philosopher(int i)
{
    while(true)
    {
        think();
        if(i%2 == 0) //偶数哲学家，先右后左。
        {
            wait (chopstick[(i + 1)%5]) ;
            wait (chopstick[i]) ;
            eat();
            signal (chopstick[(i + 1)%5]) ;
            signal (chopstick[i]) ;
        }
        else //奇数哲学家，先左后右。
        {
            wait (chopstick[i]) ;
            wait (chopstick[(i + 1)%5]) ;
            eat();
            signal (chopstick[i]) ;
            signal (chopstick[(i + 1)%5]) ;
        }
    }
}