algorithm - 哲学家同步算法

Question

我在阅读新 Material 之前知道了“哲学家同步算法”这个术语，但我无法理解它。谁能帮我理解它是什么？

谢谢

Answer 1

这只是用于描述在并发世界中可能发生的事情的众多示例之一，在该世界中，您有许多实体可以对共享对象执行操作而不关心彼此。

问题很简单:你有 X 个哲学家，他们被安排在一张圆 table 上(每个人都有一个虚构的意大利面条盘)和 X 个 fork ，每对之间有一个哲学家。

游戏规则规定哲学家需要两把 fork 才能吃他的意大利面，这个例子说明了让他们中的任何一个尝试吃东西而不关心其他人会导致

• deadlocks : 每个哲学家都拿起他左边的 fork ，然后他们都在等待另一把 fork ，但没有自私的哲学家会放下他的 fork ，所以他们会永远等待
• starvation : 不能保证任何哲学家最终都能吃饭(请查看维基百科页面以了解确切的解释)
• livelocks : 另一个经典的例子.. 如果规则强加给 phils 在获得第一个 fork 最多 5 分钟后尝试获得第二个 fork ，然后释放已经获得的 fork ，你可能会遇到所有这些 fork 都完全同步的情况，并且它们继续拿一把 fork ，时间到后放开

在你的问题中，你清楚地谈到了与这个问题相关的算法(所以我想这个算法旨在解决刚才描述的问题)，维基百科提供了其中的 4 个 here .