当前位置: 首页 > 知识库问答 >
问题:

哲学家晚宴的导体解决方案

陈实
2023-03-14

哲学家晚餐问题的指挥解决方案建议使用四码的信号,所有哲学家都试图在右叉之前得到左叉。http://en.wikipedia.org/wiki/Dining_philosophers_problem#Conductor_solution

信号量应该用于访问左fork和访问右fork的每个人吗?

如果一个哲学家能在规定的时间内得到左叉子,但没有得到右叉子,他该怎么办?他们应该把左叉子还给我吗?

哲学家返回叉子的顺序重要吗?

当然,这种解决方案仍然会导致饥饿。例如,维基说A和C都有两个分叉。这意味着信号量将不再对任何人说叉子,并保持第五个。D和E之间的叉子必须留在桌子上。然后说A返回他的右叉。

现在信号量将在3点回来。

D可以再次尝试左叉子,然后意识到他不能右转。B只能走左边。同样没有用。

A可以尝试再次选择右叉,因为他已经有了左叉。这意味着我们要绕圈子。

我遗漏了什么

帮助

共有1个答案

勾炳
2023-03-14

我相信哲学家总是“同时”归还两把叉子。通过要求哲学家获得左叉然后获得右叉,这个问题被进一步简化了。锁获取顺序确实有助于简化死锁问题。遵循导体方案将保证死锁是不可能的。

这里的额外技巧是,服务员要求5位哲学家中只有4位一次可以拿着叉子(因此这更像是一个计数信号,计数哲学家而不是叉子)。

 类似资料:
  • 所描述的哲学家晚餐问题的导体解决方案建议使用大小为4的符号,并且所有哲学家都试图先得到左叉,再得到右叉。http://en.wikipedia.org/wiki/Dining_philosophers_problem#Conductor_solution 它还表明哲学家们是按左/右顺序拿起叉子的? 为什么哲学家按左/右顺序拿起叉子很重要? 或者都在同一个序列中(我猜它们也可以是右/左)?

  • 根据这篇维基百科文章中的钱迪/米斯拉部分,我们有5位哲学家,编号为P1-P5。 根据这句话: 对于每一对争夺资源的哲学家,创建一个叉子,并将其交给具有较低ID的哲学家(n代表代理Pn)。每个叉子可以是脏的或干净的。最初所有的叉子都是脏的 当一个有叉子的哲学家收到一个请求消息时,如果叉子是干净的,他会保留它,但是如果叉子是脏的,他会放弃它。如果他把叉子送过去,他会先把叉子清理干净。 因此,如果知道所

  • 我已经完成了解决方案。因为在某个时间点,典型的监视器实现会导致饥饿。我已经阅读了这里给出的用餐哲学家问题的“礼貌”版本 那么,如果两个相邻的哲学家同时感到饥饿呢。因为测试(i)是检查它的左派和右派哲学家是否饿了。如果它发现它的邻居也饿了。这是一种僵局,对吗?我的意思是他们两个都不能吃东西,因为他们附近的哲学家家饿了,对吧?

  • 本文向大家介绍餐饮哲学家问题(DPP),包括了餐饮哲学家问题(DPP)的使用技巧和注意事项,需要的朋友参考一下 餐饮哲学家的问题指出,有5位哲学家共享一张圆桌,他们交替吃饭和思考。每个哲学家都有一碗饭和5根筷子。哲学家需要左右筷子才能吃饭。饿了的哲学家只有在两把筷子都齐备的情况下才可以吃东西,否则哲学家放下筷子,重新开始思考。 餐饮哲学家是一个经典的同步问题,因为它演示了一大类并发控制问题。 餐饮

  • 今天,我决定尝试解决哲学家吃饭的问题。所以我写下面的代码。但我认为这是不正确的,所以如果有人告诉我这是怎么回事,我会很高兴的。我使用fork作为锁(我只读取它们,因为我不把对它们的访问放在同步块中),我有一个扩展线程的类,它保留了它的两个锁。 我认为有些不对劲,因为第五位哲学家从不吃饭,第四位和第三位哲学家大多吃饭。提前感谢。

  • 我的Java代码中有一个问题,它应该模拟pholosophers问题,如下所述:http://en.wikipedia.org/wiki/Dining_philosophers_problem我想输出所有哲学家的当前状态,每次他们中的一个吃饭或思考。输出应该是这样的:“OxOx(2)”,其中“X”表示哲学家在吃,“O”表示他在思考,“O”表示他在等筷子。括号中的数字表示状态已更改的哲学家的编号。我