Prozesse, die im Betriebsablauf definitiv blockiert sind, ohne dass planmäßige Maßnahmen zur Synchronisation mit anderen Prozessen dafür ursächlich sind, heißen verklemmt. Mit ,,definitiv“ ist dabei gemeint, dass kein weiterer Ablauf der (den beteiligten Prozessen zugrunde liegenden) Algorithmen möglich ist, bei dem die verklemmten Prozesse deblockiert werden können. Als Verklemmung wird ein Zustand bezeichnet, in dem Prozesse verklemmt sind. In diesem Kapitel werden solche Zustände charakterisiert und an einfachen Beispielen illustriert. Es werden Maßnahmen zu ihrem Ausschluss und zu ihrer Erkennung und Auflösung erörtert; zu ihrer Vermeidung wird der Bankiers-Algorithmus von Dijkstra vorgestellt. Abschließend werden Verklemmungswahrscheinlichkeiten berechnet und alle Gegenmaßnahmen bewertet.