Resourcen Verteilungs-Graph

Es gibt eine grafische Möglichkeit Deadlocks darzustellen. Man benutzt dazu als Hilfsmittel einen Graph aus der Mathematik. Ein Graph besteht aus Ecken und Kanten. In diesem Fall gibt es zwei verschiedene Formen von Ecken: Resourcen, dargestellt als Rechtecke und Prozesse, dargestellt als Kreise. Ein Teilgraph

4cm zugeteilt

bedeutet: Die Resource R wurde dem Prozess P zugeteilt. Andersherum bedeutet:

4cm angefordert

Der Prozess P hat die Resource R angefordert. In dieser graphischen Darstellung ist dann ein Deadlock erreicht, wenn der Graph einen Zyklus enthält.

Das Java-Beispiel von oben als Graph dargestellt ist in Abbildung zu sehen.

Figure: Deadlock als Resourcen Verteilungs-Graph