sem bowl=m;
sem chosticks[n];
while(i=0;i<n;i++){
    chopsticks[i]=1;
}

哲学家i{
    P(bowl);
    P(chopsticks[i]);
    P(chopsticks[i%n]);
    ……;
    V(bowl);
    V(chopsticks[i]);
    V(chopsticks[i%n]);
}