哲学家进餐问题
五个哲学家共用一张圆桌,分别坐在周围的五张椅子上,在桌子上有五只碗和五只筷子,他们的生活方式是交替地进行思考和进餐。平时,一个哲学家进行思考,饥饿时便试图取用其左右最靠近他的筷子,只有在他拿到两只筷子时才能进餐。进餐毕,放下筷子继续思考。
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还可以通过让奇数哲学家拿左边的筷子,偶数哲学家拿右边的筷子,避免死锁问题。