Question

利用记录型信号量写出一个不会出现死锁的哲学家进餐问题的算法.请各位高手们帮忙.小弟在这里谢你们了.

Answer 1

Var chopstick:array[0,…,4] of semaphore;
void philosopher(int I)
{
while(true)
{
think();
Swait(chopstick[(I+1)]%5,chopstick[I]);
eat();
Ssignal(chopstick[(I+1)]%5,chopstick[I]);
}
}