死锁必要条件

Question

我读到防止死锁的4个条件是必要条件，但还不够。

四个必要条件是： -

1.Mutual exclusion。

2.等等。

3.没有先发制人。

4.Circular wait。

这里明确提到这些条件只是必要但不充分。 https://cs.nyu.edu/courses/spring03/V22.0202-002/lecture-06.html

有人可以告诉我他们为什么不够？我无法想出所有条件都满足但死锁不会发生的例子。

Answer 1

另一种情况是，如果订购了资源，系统需要按顺序锁定资源。

Answer 2

考虑一种情况，其中所有条件都成立，但有多个资源实例保持为真。然后，它不会陷入僵局。