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...

Full description

Saved in:
Bibliographic Details
Published in:Parallel and Distributed Processing, 2nd IEEE Symposium On pp. 126 - 129
Main Authors: Kshemkalyani, A.D., Singhal, M.
Format: Conference Proceeding
Language:English
Published: IEEE Comput. Soc. Press 1990
Subjects:
Broadcasting
Clocks
Control systems
Detection algorithms
Distributed computing
Information science
Phase detection
Protocols
System recovery
Timing
ISBN:0818620870, 9780818620874
Online Access:Get full text
Tags: Add Tag
No Tags, Be the first to tag this record!
Description
Summary: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