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

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!