Dynamische Deadlockerkennung für Parallelprogramme

Zusammenfassung

Auf einem Parallelrechner, der nach dem Message Passing Prinzip arbeitet, können Parallelprogramme durch die Interprozeß-Kommunikation in Deadlocksituationen geraten. In dieser Situation warten kommunikationswillige Prozesse aufeinander, ohne daß sie kommunizieren können, da sie jeweils keinen entsprechenden kommunikationswilligen Partnerprozeß finden können. Derartige Deadlocks unterscheiden sich von Deadlocks in Betriebssystemen und Datenbanken dadurch, daß sie nicht durch das Abbrechen eines am Deadlock beteiligten Prozesses aufgelöst werden können. Die Ursachen solcher Deadlocks liegen in der ungeeigneten Abfolge von Kommunikationsanweisungen, die deshalb auch als falsch plazierte Kommunikationsanweisungen betrachtet werden können. Dafür sind die herkömmlichen Deadlockerkennungsverfahren, die meistens auf Prozeßzuständen basieren, nicht geeignet. In der vorliegenden Arbeit wird ein neues Verfahren zur dynamischen Erkennung von Kommunikationsdeadlocks vorgestellt, das sowohl auf Prozeßzuständen als auch auf Kommunikationszuständen der Kanäle beruht. Schlüsselwörter: Deadlock, Deadlockerkennung, Kanalzustand, Monitor, Occam, Parallelprogrammierung, Transputer