Aufgaben zu Deadlocks


Aufgabe 1

Aufgabe
Deadlock

Erläutere: Was versteht man unter einem Deadlock?


Aufgabe 2

Aufgabe
Deadlock-Beispiel

Erläutere anhand eines selbstgewählten Beispiels, wie ein Deadlock zwischen zwei (oder mehr) Prozessen entstehen kann.


Aufgabe 3

Aufgabe
Betriebsmittelgraph

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.

Zeichne den Betriebsmittelgraphen!

Woran kannst du am Graphen allgemein erkennen, ob ein Deadlock vorliegt?

Liegt bei der o.a. Ressourcenzuteilung und -anforderung ein Deadlock vor? Falls ja: Welche Prozesse sind daran beteiligt?


Aufgabe 4

Aufgabe
Bedingungen nach Coffman

In Zusammenhang mit Deadlocks wurden von Coffman et al. vier Bedingungen identifiziert, die allesamt eingetreten sein müssen, damit ein Deadlock entsteht.

Nenne und erläutere diese vier Bedingungen in jeweils einem Satz!


Aufgabe 5

Aufgabe
Auszahlung mit Limit

In einer Bank gibt es verschiedenen Konten, die jeweils einen positiven oder negativen Kontostand aufweisen können. Das Limit zu einem Konto gibt an, um wieviel ein Kontostand überzogen sein darf. (Ein Limit von "-500,00" bedeutet also, der Kontostand darf -500,00 nicht unterschreiten.)

Gegeben sei das folgende "Programmstück", das eine Auszahlung von einem Konto prüft und bucht:

(1) Lese Kontostand des zu belastenden Kontos.
(2) Prüfe ob (Kontostand – Auszahlungsbetrag) < Limit.
(2a) Falls ja: Gebe eine Fehlermeldung aus.
(2b) Falls nein: Überschreibe den Kontostand mit (Kontostand – Auszahlungsbetrag).

Erläutere warum mehrere Auszahlungen nicht beliebig parallel durchgeführt werden dürfen. Was könnte passieren?

Erläutere ferner wie das Programmstück abgesichert werden kann.