DocumentCode
3267084
Title
Correct two-phase and one-phase deadlock detection algorithms for distributed systems
Author
Kshemkalyani, Ajay D. ; Singhal, Mukesh
Author_Institution
Dept. of Comput. & Inf. Sci., Ohio State Univ., Columbus, OH, USA
fYear
1990
fDate
9-13 Dec 1990
Firstpage
126
Lastpage
129
Abstract
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
Keywords
concurrency control; distributed processing; operating systems (computers); parallel algorithms; absolute time instant; consistent cuts; distributed systems; one-phase deadlock detection algorithms; stable property detection; two-phase deadlock detection algorithm; vector time; Broadcasting; Clocks; Control systems; Detection algorithms; Distributed computing; Information science; Phase detection; Protocols; System recovery; Timing;
fLanguage
English
Publisher
ieee
Conference_Titel
Parallel and Distributed Processing, 1990. Proceedings of the Second IEEE Symposium on
Conference_Location
Dallas, TX
Print_ISBN
0-8186-2087-0
Type
conf
DOI
10.1109/SPDP.1990.143519
Filename
143519
Link To Document