Correct two-phase and one-phase deadlock detection algorithms for distributed systems

The authors propose a correction to the two-phase deadlock detection algorithm, which has been shown to be incorrect. They prove the correctness of the modified algorithm using a stable property detection technique that observes the system at an absolute time instant. They then use the notion of con...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	Parallel and Distributed Processing, 2nd IEEE Symposium On S. 126 - 129
Hauptverfasser:	Kshemkalyani, A.D., Singhal, M.
Format:	Tagungsbericht
Sprache:	Englisch
Veröffentlicht:	IEEE Comput. Soc. Press 1990
Schlagworte:	Broadcasting Clocks Control systems Detection algorithms Distributed computing Information science Phase detection Protocols System recovery Timing
ISBN:	0818620870, 9780818620874
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!