System level concurrency control for distributed database systems
ACM Transactions on Database Systems (TODS)
Notes on Data Base Operating Systems
Operating Systems, An Advanced Course
DEADLOCK DETECTION IN COMPUTER NETWORKS
DEADLOCK DETECTION IN COMPUTER NETWORKS
An example of stepwise refinement of distributed programs: quiescence detection
ACM Transactions on Programming Languages and Systems (TOPLAS) - The MIT Press scientific computation series
ACM Computing Surveys (CSUR) - The MIT Press scientific computation series
The distributed deadlock detection algorithm
ACM Transactions on Computer Systems (TOCS)
Transaction management in the R* distributed database management system
ACM Transactions on Database Systems (TODS)
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
The precedence-assignment model for distributed databases concurrency control algorithms
PODS '87 Proceedings of the sixth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Recovery management in QuickSilver
ACM Transactions on Computer Systems (TOCS)
Recovery management in QuickSilver
SOSP '87 Proceedings of the eleventh ACM Symposium on Operating systems principles
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
Two-Phase Deadlock Detection Algorithm
IEEE Transactions on Computers
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
A distributed deadlock detection algorithm for CSP-like communication
ACM Transactions on Programming Languages and Systems (TOPLAS)
An Optimistic Locking Technique for Concurrency Control in Distributed Databases
IEEE Transactions on Software Engineering
Efficient deadlock-free routing
PODC '91 Proceedings of the tenth annual ACM symposium on Principles of distributed computing
Experience with transactions in QuickSilver
SOSP '91 Proceedings of the thirteenth ACM symposium on Operating systems principles
An annotated bibliography of dependable distributed computing
ACM SIGOPS Operating Systems Review
Deadlock prevention in a distributed database system
ACM SIGMOD Record
Performance evaluation of a new distributed deadlock detection algorithm
ACM SIGMOD Record
Distributed snapshots: determining global states of distributed systems
ACM Transactions on Computer Systems (TOCS)
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 Graph Algorithm for the Detection of Local Cycles and Knots
IEEE Transactions on Parallel and Distributed Systems
A Distributed Deadlock Resolution Algorithm for the AND Model
IEEE Transactions on Parallel and Distributed Systems
Using semantic knowledge for transaction processing in a distributed database
ACM Transactions on Database Systems (TODS)
Distributed transactions for reliable systems
Proceedings of the tenth ACM symposium on Operating systems principles
Distributed deadlock detection
ACM Transactions on Computer Systems (TOCS)
Computation and communication in R*: a distributed database manager
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
Development of a Class of Distributed Termination Detection Algorithms
IEEE Transactions on Knowledge and Data Engineering
Performance Analysis of Distributed Deadlock Detection Algorithms
IEEE Transactions on Knowledge and Data Engineering
A Fault-Tolerant Distributed Deadlock Detection Algorithm
IWDC '02 Proceedings of the 4th International Workshop on Distributed Computing, Mobile and Wireless Computing
Deadlock Detection in the Face of Transaction and Data Dependencies in Advanced Transaction Models
ICATPN '98 Proceedings of the 19th International Conference on Application and Theory of Petri Nets
The VLDB Journal — The International Journal on Very Large Data Bases
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
Detecting & exploiting positive goal interaction in intelligent agents
AAMAS '03 Proceedings of the second international joint conference on Autonomous agents and multiagent systems
A Safe Algorithm for Resolving OR Deadlocks
IEEE Transactions on Software Engineering
Concurrency control and integrity preservation for the `RIM' DBMS
ACM SIGMIS Database
Stochastic analysis of distributed deadlock scheduling
Proceedings of the twenty-fourth annual ACM symposium on Principles of distributed computing
On deadlocks of exclusive AND-requests for resources
Distributed Computing
Decentralized coordination of transactional processes in peer-to-peer environments
Proceedings of the 14th ACM international conference on Information and knowledge management
On Optimal Deadlock Detection Scheduling
IEEE Transactions on Computers
Static Analysis of Concurrent Programs Using Ordinary Differential Equations
ICTAC '09 Proceedings of the 6th International Colloquium on Theoretical Aspects of Computing
Advanced program-to-program communication in SNA
IBM Systems Journal
Detecting Locally Distributed Predicates
ACM Transactions on Autonomous and Adaptive Systems (TAAS)
M-Guard: a new distributed deadlock detection algorithm based on mobile agent technology
ISPA'04 Proceedings of the Second international conference on Parallel and Distributed Processing and Applications
Efficient detection and resolution of deadlocks in distributed databases
Computer Communications
| Hi-index | 0.01 |
We propose an algorithm for detecting deadlocks among transactions running concurrently in a distributed processing network (i.e., a distributed database system). The proposed algorithm is a distributed deadlock detection algorithm. A proof of the correctness of the distributed portion of the algorithm is given, followed by an example of the algorithm in operation. The performance characteristics of the algorithm are also presented.