NDLI: Deadlock detection in distributed databases

Content Provider	ACM Digital Library
Author	Knapp, Edgar
Copyright Year	1987
Abstract	The problem of deadlock detection in distributed systems has undergone extensive study. An important application relates to distributed database systems. A uniform model in which published algorithms can be cast is given, and the fundamental principles on which distributed deadlock detection schemes are based are presented. These principles represent mechanisms for developing distributed algorithms in general and deadlock detection schemes in particular. In addition, a hierarchy of deadlock models is presented; each model is characterized by the restrictions that are imposed upon the form resource requests can assume. The hierarchy includes the well-known models of resource and communication deadlock. Algorithms are classified according to both the underlying principles and the generality of resource requests they permit. A number of algorithms are discussed in detail, and their complexity in terms of the number of messages employed is compared. The point is made that correctness proofs for such algorithms using operational arguments are cumbersome and error prone and, therefore, that only completely formal proofs are sufficient for demonstrating correctness.
Starting Page	303
Ending Page	328
Page Count	26
File Format	PDF
ISSN	03600300
e-ISSN	15577341
DOI	10.1145/45075.46163
Journal	ACM Computing Surveys (CSUR)
Volume Number	19
Issue Number	4
Language	English
Publisher	Association for Computing Machinery (ACM)
Publisher Date	1987-12-01
Publisher Place	New York
Access Restriction	One Nation One Subscription (ONOS)
Content Type	Text
Resource Type	Article
Subject	Theoretical Computer Science Computer Science

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in

Distributed deadlock detection

The distributed deadlock detection algorithm

A Priority Based Distributed Deadlock Detection Algorithm

On Optimal Deadlock Detection Scheduling

Invariant-based verification of a distributed deadlock detection algorithm

Two-phase deadlock detection algorithm

Local distributed deadlock detection by knot detection

On Deadlock Detection in Distributed Systems

Local Distributed Deadlock Detection by Cycle Detection and Clusterng

Deadlock detection in distributed databases

Similar Documents

Distributed deadlock detection

The distributed deadlock detection algorithm

A Priority Based Distributed Deadlock Detection Algorithm

On Optimal Deadlock Detection Scheduling

Invariant-based verification of a distributed deadlock detection algorithm

Two-phase deadlock detection algorithm

Local distributed deadlock detection by knot detection

On Deadlock Detection in Distributed Systems

Local Distributed Deadlock Detection by Cycle Detection and Clusterng

Deadlock detection in distributed databases