Deadlockerkennung

Gegeben seien die Prozesse P1 bis P5 und die Ressourcen A bis G. Jede Ressource sei genau einmal vorhanden. Sie kann auch nur exklusiv genutzt werden, d.h. von maximal einem Prozess zur Zeit.

Aktuell besteht folgende Ressourcenzuteilung und -anforderung:

• P1 belegt D und fordert C und G an.
• P2 belegt E und fordert B an.
• P3 belegt B und fordert D an.
• P4 belegt G und fordert A an.
• P5 belegt C und fordert E an.

Liegt bei dieser Ressourcenzuteilung und -anforderung ein Deadlock vor? Falls ja: Welche Prozesse sind daran beteiligt? Falls nein: Begründen Sie, warum nicht.

In der Vorlesung haben wir die vier Bedingungen für das Eintreten von Deadlocks kennengelernt. Zwei davon sind:

• Exklusive Allokation von Ressourcen (“gegenseitiger Ausschluss”)
• Allokation zusätzlicher Ressourcen (“halten und warten”)

Nennen Sie stichwortartig die beiden fehlenden Bedingungen.

Die Funktionen p1 und p2 werden nebenläufig auf einem Betriebssystem ausgeführt.

 1semaphore S1, S2;
 2
 3void p1(void) {
 4    wait(&S1);
 5    wait(&S2);
 6    // … Code
 7    signal(&S2);
 8    signal(&S1);
 9}
10
11void p2(void) {
12    wait(&S1);
13    wait(&S2);
14    // … Code
15    signal(&S2);
16    signal(&S1);
17}

Kann es hier zu einem Deadlock kommen? Begründen Sie.