Distributed deadlock detection
From MaRDI portal
Publication:1100883
DOI10.1007/BF01782773zbMath0641.68035MaRDI QIDQ1100883
Publication date: 1987
Published in: Distributed Computing (Search for Journal in Brave)
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