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

Gespeichert in:
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!
Beschreibung
Zusammenfassung: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 consistent cuts and vector time to give a simple one-phase deadlock detection algorithm.< >
ISBN:0818620870
9780818620874
DOI:10.1109/SPDP.1990.143519