Informatik Lehrbuch-Reihe, pages 1-441. International Thomson Publishing, 1995. In German.
Abstract: Deadlocks sind zyklische Wartebeziehungen zwischen Prozessoren eines Computersystems, die den Stillstand dieses Systems bewirken. Ziele dieses Buches ist eine einheitliche und vergleichende Darstellung von Deadlocks und von Möglichkeiten der Deadlockbehandlung bei der Prozessverarbeitung in Betriebssystemen, der Transaktionsverarbeitung in Datenbanksystemen und der Paketvermittlung in Rechnernetzen. In Form eines Lehrbuchs werden die Grundlagen des Themas anhand von Deadlocksituatuionen aus der Praxis eingeführt und grundlegende Konzepte diskutiert. AnschlieÑend werden Möglichkeit und Kosten der Deadlockbehandlung in Computersystemen und Datenbanksystemen erörtert. Dabei werden zur formalen Modellierung und Veranschaulichung Petrinetze eingesetzt.
Keywords: deadlocks; operating systems; database systems; formal models.