给哲学家的线。放下筷子的顺序

Question

我在为一个哲学家创建一个线程。下面是伪代码：

while(true)
  think
  get left chopstick
  get right chopstick
  eat
  putdown left chopstick
  putdown right chopstick

凭直觉，我认为松开筷子的顺序无关紧要。那么，如果先放下左筷子，我可以先放下右筷子吗？这会导致任何错误吗？我怀疑它会。如果这导致死锁，如何解决？如果不是，但建议先左，为什么？

非常感谢。

Answer 1

while(true)
  think

  identify nearest chopstick set location

  think

  get nearest chopstick of set
  get remaining chopstick of set

  eat

  putdown left chopstick
  putdown right chopstick

Answer 2

想象一下。假设你有四位哲学家，每一位哲学家之间都有一根筷子。

四个人同时拿起左筷子。这没关系，因为每个人都有一根筷子，没有人会竞争一根。

然后他们向右看，没有筷子了，因为每个人都有四个筷子中的一个。

他们不能吃东西，所以他们陷入僵局。

如果你把它编码成一段时间后他们放弃并放下筷子，你会遇到同样的问题，因为每个人都试图拿起左边的筷子，而没有右边的筷子留下（时间会导致这种情况不会发生，但事实如此最好为它编码）。

相反，你应该选择一位哲学家，让他先拿起右手的筷子。这打破了僵局，因为无论是右边的筷子哲学家还是左边的筷子哲学家都能成功地获得筷子并能吃东西（这最终会让每个人都吃得饱）。

Answer 3

这里有几个锁：

while(true)
  think

  wait until you finished thinking

  get left chopstick
  get right chopstick

  wait until you you took both sticks

  eat
  putdown left chopstick
  putdown right chopstick

锁之间的事情（等待）可以以任何顺序成功，因为这并不重要。