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

  • Authors:

  • Kshemkalyani; Singhal

  • Affiliations:

  • Dept. of Comput. & Inf. Sci., Ohio State Univ., Columbus, OH, USA;Dept. of Comput. & Inf. Sci., Ohio State Univ., Columbus, OH, USA

  • Venue:
  • SPDP '90 Proceedings of the 1990 IEEE Second Symposium on Parallel and Distributed Processing
  • Year:
  • 1990

Quantified Score

Hi-index 0.00

Visualization

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.