餐饮哲学家问题-需要澄清

脏意味着处理已启动,因此可以中断。

只有当你有两个叉子的时候你才能处理。

脏似乎意味着“空闲”或“可用”,而干净则意味着“必须请求”或“抢占”。

它说,如果一个叉子被他捡起,它是“脏的”(当他想要它的时候,叉子没有被争用),如果他必须要它,它是“干净的”,并且它的初始状态是脏的。

• 拿起一个可用的叉子=>叉子脏了=>清洗它,并在被要求时放弃。

• 没有可用的货叉=>必须要货叉=>将收到清洁的货叉。

它让我想起了组织模式 Don't Interrupt an Interrupt .