Notes on Data Base Operating Systems
Operating Systems, An Advanced Course
Deadlock Detection for a Class of Communicating Finite State Machines
Deadlock Detection for a Class of Communicating Finite State Machines
An example of stepwise refinement of distributed programs: quiescence detection
ACM Transactions on Programming Languages and Systems (TOPLAS) - The MIT Press scientific computation series
Distributed discrete-event simulation
ACM Computing Surveys (CSUR)
A survey of distributed deadlock detection algorithms
ACM SIGMOD Record
Local distributed deadlock detection by knot detection
SIGCOMM '86 Proceedings of the ACM SIGCOMM conference on Communications architectures & protocols
A probe-based monitoring scheme for an object-oriented distributed operating system
OOPLSA '86 Conference proceedings on Object-oriented programming systems, languages and applications
Detection of stable properties in distributed applications
PODC '87 Proceedings of the sixth annual ACM Symposium on Principles of distributed computing
Deadlock detection in distributed databases
ACM Computing Surveys (CSUR)
Semantic lock models in object-oriented distributed systems and deadlock resolution
SIGMOD '88 Proceedings of the 1988 ACM SIGMOD international conference on Management of data
A Modified Priority Based Probe Algorithm for Distributed Deadlock Detection and Resolution
IEEE Transactions on Software Engineering
Resolution of Deadlocks in Object-Oriented Distributed Systems
IEEE Transactions on Computers
Distributed Algorithms for Network Recognition Problems
IEEE Transactions on Computers
A distributed deadlock detection algorithm for CSP-like communication
ACM Transactions on Programming Languages and Systems (TOPLAS)
Efficient deadlock-free routing
PODC '91 Proceedings of the tenth annual ACM symposium on Principles of distributed computing
Deadlock prevention in a distributed database system
ACM SIGMOD Record
Performance evaluation of a new distributed deadlock detection algorithm
ACM SIGMOD Record
CIKM '95 Proceedings of the fourth international conference on Information and knowledge management
Detection and resolution of deadlocks in distributed database systems
CIKM '95 Proceedings of the fourth international conference on Information and knowledge management
Distributed deadlock detection in Ada run-time environments
TRI-Ada '90 Proceedings of the conference on TRI-ADA '90
A Distributed Deadlock Resolution Algorithm for the AND Model
IEEE Transactions on Parallel and Distributed Systems
CARAT: a testbed for the performance evaluation of distributed database systems
ACM '86 Proceedings of 1986 ACM Fall joint computer conference
Parallel resource allocation algorithms on macro-pipelined architectures
CSC '91 Proceedings of the 19th annual conference on Computer Science
Distributed deadlock detection
ACM Transactions on Computer Systems (TOCS)
A framework for understanding distributed (deadlock detection) algorithms
PODS '83 Proceedings of the 2nd ACM SIGACT-SIGMOD symposium on Principles of database systems
The VLDB Journal — The International Journal on Very Large Data Bases
Decentralization of process nets with centralized control
PODC '83 Proceedings of the second annual ACM symposium on Principles of distributed computing
A distributed algorithm for deadlock detection and resolution
PODC '84 Proceedings of the third annual ACM symposium on Principles of distributed computing
A distributed algorithm for generalized deadlock detection
PODC '84 Proceedings of the third annual ACM symposium on Principles of distributed computing
Non-blocking concurrency control in distributed database systems
PAS '95 Proceedings of the First Aizu International Symposium on Parallel Algorithms/Architecture Synthesis
On deadlocks of exclusive AND-requests for resources
Distributed Computing
A concurrent distributed deadlock detection/resolution algorithm for distributed systems
ISTASC'05 Proceedings of the 5th WSEAS/IASME International Conference on Systems Theory and Scientific Computation
Deadlock avoidance for streaming computations with filtering
Proceedings of the twenty-second annual ACM symposium on Parallelism in algorithms and architectures
The generalized deadlock resolution problem
ICALP'05 Proceedings of the 32nd international conference on Automata, Languages and Programming
On time complexity of distributed algorithms for generalized deadlock detection
ADBIS'97 Proceedings of the First East-European conference on Advances in Databases and Information systems
Efficient detection and resolution of deadlocks in distributed databases
Computer Communications
MC2DR: multi-cycle deadlock detection and recovery algorithm for distributed systems
HPCC'07 Proceedings of the Third international conference on High Performance Computing and Communications
Edge chasing delayed consistency: pushing the limits of weak memory models
Proceedings of the 2012 ACM workshop on Relaxing synchronization for multicore and manycore scalability
Proceedings of the 4th annual Symposium on Cloud Computing
| Hi-index | 0.01 |
This paper presents a distributed algorithm to detect deadlocks in distributed data bases. Features of this paper are (1) a formal model of the problem is presented, (2) the correctness of the algorithm is proved, i.e. we show that all true deadlocks will be detected and deadlocks will not be reported falsely, (3) no assumptions are made other than that messages are received correctly and in order and (4) the algorithm is simple.