Locking and Deadlock Detection in Distributed Data Bases

No abstract is available for this paper.

• Publication year

  1979

• Venue

  IEEE Transactions on Software Engineering

• Publication date

  1979-05-01

• Fields of study

  Computer Science

• Identifiers
  DOI 10.1109/TSE.1979.234181
• External record

  Open on Semantic Scholar

• Source metadata

  Semantic Scholar

• No claims are published for this paper.

• No concepts are published for this paper.

• The notions of consistency and predicate locks in a database system

  1976cited by this paper
• Database sharing: an efficient mechanism for supporting concurrent processes

  1973cited by this paper
• System Deadlocks

  1971cited by this paper
• Prevention of system deadlocks

  1969cited by this paper
• Sequencing tasks in multiprocess, multiple resource systems to avoid deadlocks

  1969cited by this paper

• HAWK: A Workload-driven Hierarchical Deadlock Detection Approach in Distributed Database System

  2025cites this paper
• A-DRIVE: Autonomous Deadlock Detection and Recovery at Road Intersections for Connected and Automated Vehicles

  2022cites this paper
• 60 Years of Databases (part three)

  2022cites this paper
• You Are Not Netflix

  2020cites this paper
• Deadlock Detection in Distributed System

  2020cites this paper
• Graph-Based Modeling, Scheduling, and Verification for Intersection Management of Intelligent Vehicles

  2019cites this paper
• Priority inversion in DRTDBS: challenges and resolutions

  2018cites this paper
• Modelling deadlock in queueing systems

  2018cites this paper
• A fault tolerant election-based deadlock detection algorithm in distributed systems

  2017cites this paper
• Un algoritmo distribuido de detección y resolución de interbloqueo con coste lineal y carácter dinámico

  2017cites this paper
• Optimizations for Energy-Aware, High-Performance and Reliable Distributed Storage Systems

  2016cites this paper
• Detecting Deadlocks Involving Diverse Synchronization Mechanisms Using Extended Petri Nets

  2016cites this paper
• A leader election based deadlock detection algorithm in distributed systems

  2016cites this paper
• Concurrency control in distributed database system

  2016cites this paper
• A Novel Concurrent Generalized Deadlock Detection Algorithm in Distributed Systems

  2015cites this paper
• A Study of Distributed Deadlock Handling Techniques

  2015cites this paper
• An Analysis and Improvement of Probe-Based Algorithm for Distributed Deadlock Detection

  2015cites this paper
• Simple Deadlock Detection for the And-Communication Model

  2014cites this paper
• Strong consistency in cache augmented SQL systems

  2014influential citation
• Non-Blocking Approach in Concurrency Control

  2014cites this paper
• Analysis for Deadlock Detection and Resolution Techniques in Distributed Database

  2014cites this paper
• Deadlocks in Distributed Systems

  2014cites this paper
• Provide a New Mapping for Deadlock Detection and Resolution Modeling of Distributed Database to Colored Petri Net

  2014cites this paper
• Approaches for Deadlock Detection and Prevention in Distributed Database System

  2014cites this paper
• Unstructured deadlock detection technique with scalability and complexity‐efficiency in clouds

  2014cites this paper
• Transparent consistency in Cache Augmented Database Management Systems

  2014cites this paper
• A Locking Mechanism for Distributed Database Systems

  2014cites this paper
• A Distributed Algorithm for Resource Deadlock Detection Using Time Stamping

  2013cites this paper
• Distributed Deadlock Detection

  2013cites this paper
• Analysis for Deadlock Detection and Resolution Techniques in Distributed Database

  2013cites this paper
• Computer Networks and Distributed Systems

  2013cites this paper
• Foundations of distributed multiscale computing: Formalization, specification, and analysis

  2013cites this paper
• Deadlock Detection in Distributed Database

  2013cites this paper
• Deadlock Detection and Recovery in Distributed Databases

  2013cites this paper
• A deadlock detection algorithm using gossip in cloud computing environments

  2013cites this paper
• Toward a unified object storage foundation for scalable storage systems

  2013cites this paper
• Deadlock Detection Techniques in Distributed Database System

  2013cites this paper
• Distributed Algorithms for Message-Passing Systems

  2013cites this paper
• Bidirectional Noc Architecture

  2012cites this paper
• ANALYSIS OF DEADLOCK DETECTION AND RESOLUTION TECHNIQUES IN DISTRIBUTED DATABASE ENVIRONMENT

  2012cites this paper
• Distributed Deadlock Handling for Resource Allocation in Smart Spaces

  2011cites this paper
• A Distributed Architecture for Transactions Synchronization in Distributed Database Systems

  2010cites this paper
• An Approach for Concurrency Control in Distributed Database System

  2010cites this paper
• Optimization of Detected Deadlock Views of Distributed Database

  2010cites this paper
• Deadlock Detection Views of Distributed Database

  2009influential citation
• Distributed operating systems

  2009cites this paper
• Monitoring Multi-Agent Systems for deadlock detection based on UML models

  2008cites this paper
• Testing Multi-agent Systems for Deadlock Detection Based on UML Models

  2008cites this paper
• A D i s t r i bu t ed F il e S e r v i c e B a s ed on O p i c C on u C on o

  2007cites this paper
• Deadlocks in Distributed Systems

  2007cites this paper
• Eecient Deadlock Detection in Distributed Systems

  2007cites this paper
• Äóòò Ääú Òò Ôøøú Ëëëööö Ååñóöý Áñôððññòøøøøóò× ´øøø××× ×ùñññöýµ

  2007cites this paper
• A Wait-Free Probe Algorithm for Distributed Deadlock Detection and Resolution

  2007cites this paper
• Formal Veri cation of Distributed Deadlock Detection Algorithm Using a Time-dependent Proof Technique

  2007cites this paper
• Quelques Contributions à la Stabilisation Instantanée

  2006cites this paper
• Trabajo de Investigación 2005 2 – V 1 An O ( n ) distributed deadlock resolution algorithm : correctness proof

  2005cites this paper
• A proposed algorithm for solving deadlock detection in distributed database systems

  2004cites this paper
• A Safe Algorithm for Resolving OR Deadlocks

  2003cites this paper
• Dynamic Lock Dependency Analysis of Concurrent Systems

  2003cites this paper
• A Fault-Tolerant Distributed Deadlock Detection Algorithm

  2002cites this paper
• Transactional information systems: theory, algorithms, and the practice of concurrency control and recovery

  2001cites this paper
• Long Lived and Adaptive Shared Memory Implementations

  2001cites this paper
• Concurrency Control in Distributed Database Systems

  2000cites this paper
• Efficient detection and resolution of deadlocks in distributed databases

  1999cites this paper
• A Distributed Deadlock Resolution Algorithm for the AND Model

  1999cites this paper
• Distributed deadlock detection and resolution based on hardware clocks

  1999cites this paper
• A One-Phase Algorithm to Detect Distributed Deadlocks in Replicated Databases

  1999cites this paper
• Snapshots : Determining Global States of Distributed Systems

  1999cites this paper
• Deadlock detection in distributed database systems: a new algorithm and a comparative performance analysis

  1999cites this paper
• Distributed Database Management Systems

  1998cites this paper
• Lookixq with Provontion of Cralio and Infinite Rortarting in Diatributod Database Byetome Wojcioch Collary and Tadousz Moray

  1998cites this paper
• A safe distributed deadlock resolution algorithm for the OR request model

  1998cites this paper
• An Automatic Approach to Deadlock Detection and Resolution in Discrete Simulation Systems

  1997cites this paper
• A semiformal correctness proof of a network broadcast algorithm

  1997cites this paper
• Global state predicates in rough real-time

  1997cites this paper
• Efficient distributed deadlock detection and resolution using probes, tokens, and barriers

  1997cites this paper
• Design Guidelines for Deadlock-Handling Strategies in Flexible Manufacturing Systems

  1997cites this paper
• Distributed Algorithms

  1996cites this paper
• A distributed deadlock detection and resolution algorithm based on a hybrid wait-for graph and probe generation scheme

  1995cites this paper
• Efficient algorithms for detection and resolution of distributed deadlocks

  1995cites this paper
• Non-blocking concurrency control in distributed database systems

  1995cites this paper
• A New Method to Represent Deadlock in Manufacturing Systems and its Solution

  1995cites this paper
• Detection and resolution of deadlocks in distributed database systems

  1995cites this paper
• A distributed algorithm for the detection of local cycles and knots

  1995cites this paper
• On Characterization and Correctness of Distributed Deadlock Detection

  1994cites this paper
• On-line detection and resolution of communication deadlocks

  1994cites this paper
• Repeated Computation of Global Functions in aDistributed

  1994cites this paper
• Resolution of deadlocks in flexible manufacturing systems: Avoidance and recovery approaches

  1994cites this paper
• Repeated Computation of Global Functions in a Distributed Environment

  1994cites this paper
• Formal Model and Speci(cid:12)cation of Deadlock

  1993cites this paper
• A distributed deadlock detection algorithm for the AND model

  1993cites this paper
• Formal verification of distributed deadlock detection algorithms

  1993cites this paper
• Deadlock prevention in a distributed database system

  1993cites this paper
• Aggressive transmissions over redundant paths for time critical messages

  1993cites this paper
• A simple distributed deadlock detection algorithm

  1992cites this paper
• Scheduling and Control of Flexible Manufacturing Systems - Some Experiences and Observations

  1992cites this paper
• On Static Analysis of Deadlocks in Transputer Networks

  1992cites this paper
• Abstractions for Constructing Dependable Distributed Systems

  1992cites this paper
• Performance comparison of distributed deadlock detection algorithms

  1992cites this paper
• Detection of deadlocks in flexible manufacturing cells

  1991cites this paper