Chandy–Misra–Haas algorithm

GPTKB entity

Statements (18)
Predicate Object
gptkbp:instanceOf deadlock detection algorithm
gptkbp:appliesTo distributed systems
gptkbp:detects wait-for cycles
gptkbp:field computer science
https://www.w3.org/2000/01/rdf-schema#label Chandy–Misra–Haas algorithm
gptkbp:namedAfter gptkb:Jayadev_Misra
gptkb:Laura_Haas
gptkb:K._Mani_Chandy
gptkbp:publishedIn gptkb:ACM_Transactions_on_Computer_Systems
gptkbp:purpose detect deadlocks in distributed systems
gptkbp:relatedTo distributed computing
resource allocation
wait-for graph
gptkbp:type distributed deadlock detection
gptkbp:uses probe messages
gptkbp:yearProposed 1983
gptkbp:bfsParent gptkb:K._Mani_Chandy
gptkbp:bfsLayer 8