经典进程的同步问题-哲学家进餐问题

哲学家进餐问题

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

1.让一个哲学家先不吃。

semaphore chopstick[5]={1,1,1,1,1};
//第i位哲学家
do{
  wait(num)//num=4表示允许最多同时吃饭的哲学家是数量。
  wait（chopstick[i]）;//拿筷子
  wait(chopstick[（i+1）%5]);
  ...
  //eat
  ...
  signal（chopstick[i]）；//放筷子
  signal(chopstick[（i+1）%5]);
  signal(num);
  ...
  //think
  ...
}while(TRUE);

2.上面的方法通过限制数量避免了死锁问题，我们还可以通过AND信号量。

Var chopstick: array [0, …, 4] of semaphore:=(1, 1, 1, 1, 1);
Process i
     repeat
         think;
         Swait(chopstick[ ( i +1) mod 5] , chopstick[ i ] );
         eat;
         Ssignal(chopstick[ ( i +1) mod 5] , chopstick[ i ] );     
     until  false;

3还可以通过让奇数哲学家拿左边的筷子，偶数哲学家拿右边的筷子，避免死锁问题。