Codeanalyse mit Semaphoren und Deadlockerkennung?

1 Antwort

Da außer in P4 alle Locks in derselben Reihenfolge angefragt werden muss ein mögliches Deadlock mit P4 zusammenhängen.

Das könnte nur dann auftreten, wenn P4 bereits Lock E hält und auf Lock D warten muss, während ein anderer Prozess Lock E hält und auf Lock D (direkt oder indirekt) warten muss.
Das kann aber nicht eintreten, da Lock E nur von P4 genutzt wird.