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

Celý popis

Podrobná bibliografie

Vydáno v:	Parallel and Distributed Processing, 2nd IEEE Symposium On s. 126 - 129
Hlavní autoři:	Kshemkalyani, A.D., Singhal, M.
Médium:	Konferenční příspěvek
Jazyk:	angličtina
Vydáno:	IEEE Comput. Soc. Press 1990
Témata:	Broadcasting Clocks Control systems Detection algorithms Distributed computing Information science Phase detection Protocols System recovery Timing
ISBN:	0818620870, 9780818620874
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!