计算机学科专业基础2019 真题档案

设互斥信号量 chopstick[i]（初值均为 1）表示第 i 根筷子，信号量 bowl 表示允许同时取碗进餐的哲学家数，其初值为 min(m,n-1)。

semaphore chopsticks [n];
for (int i=0; i<n;i++) 
    chopsticks [i]=1;
bowl=min (n-1,m) ;

Pi:
while (true) {
    think;
    P(bowl);
    P(chopstick[i]);
    P(chopstick[(i+1) % n]);
    eat;
    V(chopstick[i]);
    V(chopstick[(i+1) % n]);
    V(bowl);
}

这样既尽可能多地允许哲学家同时就餐，又保证至少有一位哲学家能够取得两根筷子，避免死锁。