Deadlock notwendigen Bedingungen

Question

Ich lese, dass die 4 Bedingungen für die Verhinderung von Deadlocks notwendigen Bedingungen sind und nicht ausreichend.

Die vier notwendigen Bedingungen sind: -

1.Mutual Ausgrenzung.

2.Halten und warten.

3. Keine Vorkaufsrechte.

4. Circular warten.

Hier wird deutlich erwähnt, dass diese Bedingungen nur notwendig, aber nicht ausreichend sind. https://cs.nyu.edu/courses/spring03/V22.0202-002/lecture-06.html

Kann mir bitte jemand sagen, warum reichen sie nicht? Ich bin nicht in der Lage, ein Beispiel zu finden, bei dem alle Bedingungen erfüllt sind, aber kein Stillstand auftritt.

Answer 1

Betrachten Sie eine Situation, in der alle Bedingungen erfüllt sind, es jedoch mehr als eine Instanz der Ressource gibt, auf die sie zutrifft. Dann wird es keinen Stillstand geben.

Answer 2

Eine andere Situation ist, wenn die Ressourcen bestellt werden und das System erfordert, dass die Ressourcen in dieser Reihenfolge gesperrt werden.