Distributed deadlock detection

DOI10.1007/BF01782773zbMath0641.68035MaRDI QIDQ1100883

Gabriel Bracha, Sam Toueg

Publication date: 1987

Published in: Distributed Computing (Search for Journal in Brave)

zbMATH Keywords

distributed systemsdeadlocksAND-OR request model

Mathematics Subject Classification ID

Performance evaluation, queueing, and scheduling in the context of computer systems (68M20) Theory of operating systems (68N25) Theory of software (68N99)

Related Items

Deadlock resolution in wait-for graphs by vertex/arc deletion, Asynchronous distributed termination-parallel and symmetric solutions with echo algorithms, Strong stable properties in distributed systems, On deadlocks of exclusive AND-requests for resources, The inhibition spectrum and the achievement of causal consistency, Concurrent common knowledge: Defining agreement for asynchronous systems, The distributed simulation of clustered processes, A minimal property for characterizing deadlock-free programs, An incremental approach for detecting distributed deadlocks in the generalized model

Cites Work

• Time, clocks, and the ordering of events in a distributed system
• Communicating sequential processes