修复死锁和了解误报

一种消除潜在死锁和实际死锁的方法是使用一种令牌机制，该机制要求哲学家必须收到令牌后才能尝试进餐。可用令牌的数量必须少于餐桌前哲学家的人数。当哲学家收到令牌后，他可以根据餐桌规则尝试进餐。每位哲学家在进餐后归还令牌，然后重复该过程。以下伪代码显示了使用令牌机制时每位哲学家的逻辑。

   while (there is still food on the table)
      {
        get token
        grab right fork
        grab left fork
        eat some food
        put down left fork
        put down right fork
        return token 
      }

以下几节将详细介绍令牌机制的两种不同实现。