Systemstruktur und -entwicklung

Eine Verklemmung liegt vor, wenn Prozesse auf Betriebsmittel warten, die niemals freigegeben werden. Die einfachste Form einer Verklemmung besteht darin, daß ein Prozeß P₁ im Besitz eines Betriebsmittels a ist und auf die Zuteilung eines Betriebsmittels B wartet, während ein anderer Prozeß P₂ im Besitz von B ist und auf A wartet. Im Abschnitt 3.5 haben wir gesehen, wie zwei Prozesse in eine solche Situation geraten können: der eine Prozeß führt ‘P(A); P(B)’ aus, der andere ‘P(B); P(A)’, wobei die Semaphore A,B mit 1 initialisiert sind. Verallgemeinert: jeder Prozeß in einer Gruppe von Prozessen wartet auf ein Betriebsmittel, das gerade von einem anderen Prozeß der Gruppe benutzt wird.