我读到防止死锁的4个条件是必要条件,但还不够。
四个必要条件是: -
1.互相排斥。
2.等等。
3.没有先发制人。
4.Circular等待。
这里明确提到这些条件只是必要但不充分。 https://cs.nyu.edu/courses/spring03/V22.0202-002/lecture-06.html
有人可以告诉我为什么他们还不够?我无法想出一个所有条件都满足但没有发生死锁的例子。
另一种情况是如果订购资源并且系统要求资源按该顺序锁定。
考虑一种情况,其中所有条件都成立,但有多个资源实例保持为真。然后,不会有僵局。