デッドロックの必要条件

Question

デッドロック防止のための4つの条件は必要条件であり、十分ではないことが判明しました。

必要な条件は次のとおりです。 -

1.相互排除。

2.保留して待ちます。

3優先なし。

4.循環待ち。

ここでは、これらの条件は必要なだけで十分ではないことが明確に言及されています。 https://cs.nyu.edu/courses/spring03/V22.0202-002/lecture-06.html

誰かが十分でない理由を教えてもらえますか？私はすべての条件が満たされているがデッドロックが発生していない例を考え出すことができません。

Answer 1

すべての条件が成り立つが、それが本当であるリソースのインスタンスが複数存在する状況を考えてみます。次に、デッドロックは発生しません。

Answer 2

もう1つの状況は、リソースが注文され、システムがその順序でリソースをロックする必要がある場合です。