A new algorithm, the Horizontal and Vertical Algorithm, for
on-line detection of deadlocks in distributed computer systems, is
presented. Two protocols for implementing the algorithm are given.
The first protocol, the centralized protocol, is based on the
assumption that one site in the network acts as the controller for
global...