The structure of the “THE”-multiprogramming system
Communications of the ACM
Compact finite difference schemes for ocean models: 1. Ocean waves
Journal of Computational Physics
Synchronization in a parallel-accessed data base
Communications of the ACM
Programming semantics for multiprogrammed computations
Communications of the ACM
On deadlock in computer systems
On deadlock in computer systems
Theory and practice in operating system design
SOSP '69 Proceedings of the second symposium on Operating systems principles
Integrated concurrency control and recovery mechanisms: design and performance evaluation
ACM Transactions on Database Systems (TODS)
Beyond the chalkboard: computer support for collaboration and problem solving in meetings
Communications of the ACM
The geometry of semaphore programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
A survey of distributed deadlock detection algorithms
ACM SIGMOD Record
Debugging concurrent processes: a case study
PLDI '88 Proceedings of the ACM SIGPLAN 1988 conference on Programming Language design and Implementation
Distributed System Software Design Paradigm with Application to Computer Networks
IEEE Transactions on Software Engineering
A Heuristically-Aided Algorithm for Mutual Exclusion in Distributed Systems
IEEE Transactions on Computers
Survey of closed queueing networks with blocking
ACM Computing Surveys (CSUR)
The 1988–89 Taulbee survey report
Communications of the ACM
Modeling concurrency in parallel debugging
PPOPP '90 Proceedings of the second ACM SIGPLAN symposium on Principles & practice of parallel programming
Composite Programs: Hierarchical Construction, Circularity, and Deadlocks
IEEE Transactions on Software Engineering
Petri Net based simulation of controls for a computer-integrated assembly cell
WSC '92 Proceedings of the 24th conference on Winter simulation
Deadlock detection and resolution in simulation models
WSC '94 Proceedings of the 26th conference on Winter simulation
A display and analysis tool for process-resource graphs
ACM SIGOPS Operating Systems Review
Decentralized routing algorithms for automated guided vehicles
ACM SIGICE Bulletin
Simulation of a flexible manufacturing system-applications of computer operating system techniques
ANSS '85 Proceedings of the 18th annual symposium on Simulation
ACM Transactions on Database Systems (TODS)
System level concurrency control for distributed database systems
ACM Transactions on Database Systems (TODS)
Effects of locking granularity in a database management system
ACM Transactions on Database Systems (TODS)
On the Interconnection of Asynchronous Control Structures
Journal of the ACM (JACM)
Consistency in Hierarchical Database Systems
Journal of the ACM (JACM)
Testing Deadlock-Freedom of Computer Systems
Journal of the ACM (JACM)
Journal of the ACM (JACM)
Design of Minimum-Cost Deadlock-Free Systems
Journal of the ACM (JACM)
Locking Protocols: From Exclusive to Shared Locks
Journal of the ACM (JACM)
Fault tolerance in deductive knowledge bases
CSC '88 Proceedings of the 1988 ACM sixteenth annual conference on Computer science
Transactions and synchronization in a distributed operating system
Proceedings of the tenth ACM symposium on Operating systems principles
Parallel resource allocation algorithms on macro-pipelined architectures
CSC '91 Proceedings of the 19th annual conference on Computer Science
Decentralized routing algorithms for automated guided vehicles
SAC '96 Proceedings of the 1996 ACM symposium on Applied Computing
Third Generation Computer Systems
ACM Computing Surveys (CSUR)
Some Deadlock Properties of Computer Systems
ACM Computing Surveys (CSUR)
A Survey of Techniques for Synchronization and Recovery in Decentralized Computer Systems
ACM Computing Surveys (CSUR)
Synthesis of Resource Invariants for Concurrent Programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
Handling Obstacles in Goal-Oriented Requirements Engineering
IEEE Transactions on Software Engineering - special section on current trends in exception handling—part II
A unifying approach to scheduling
Communications of the ACM
The design of the Venus operating system
Communications of the ACM
A practical approach to managing resources and avoiding deadlocks
Communications of the ACM
Mixed solutions for the deadlock problem
Communications of the ACM
IEEE Transactions on Parallel and Distributed Systems
Concurrency in database systems: a simulation study
SIGMOD '77 Proceedings of the 1977 ACM SIGMOD international conference on Management of data
An optimality theory of concurrency control for databases
SIGMOD '79 Proceedings of the 1979 ACM SIGMOD international conference on Management of data
Deadlock removal using partial rollback in database systems
SIGMOD '81 Proceedings of the 1981 ACM SIGMOD international conference on Management of data
Non-Intrusive Detection of Synchronization Errors Using Execution Replay
Automated Software Engineering
A Survey of Petri Net Methods for Controlled Discrete EventSystems
Discrete Event Dynamic Systems
Multi-Party Coordination in the Context of MOWS
Programming and Computing Software
Principles of Built-In-Test for Run-Time-Testability in Component-Based Software Systems
Software Quality Control
Multiple Reservations and the Oklahoma Update
IEEE Parallel & Distributed Technology: Systems & Technology
An Example of Deriving Performance Properties from a Visual Representation of Program Execution
IEEE Transactions on Parallel and Distributed Systems
Analysis and Evaluation of a Distributed Monitor Construct in Java
IPDPS '01 Proceedings of the 15th International Parallel & Distributed Processing Symposium
An Efficient Deadlock Removal Scheme for Non-Two-Phase Locking Protocols
VLDB '82 Proceedings of the 8th International Conference on Very Large Data Bases
Dihomotopy as a Tool in State Space Analysis
LATIN '02 Proceedings of the 5th Latin American Symposium on Theoretical Informatics
An Order-Based, Distributed Algorithm for Implementing Multiparty Interactions
COORDINATION '02 Proceedings of the 5th International Conference on Coordination Models and Languages
A Class of Well Structured Petri Nets for Flexible Manufacturing Systems
ICATPN '98 Proceedings of the 19th International Conference on Application and Theory of Petri Nets
ISAAC '01 Proceedings of the 12th International Symposium on Algorithms and Computation
Aspect-oriented interaction in multi-organisational web-based systems
Computer Networks: The International Journal of Computer and Telecommunications Networking
A proposal for certain process management and intercommunication primitives
ACM SIGOPS Operating Systems Review
A top-down, laboratory based operating system course
SIGCSE '77 Proceedings of the seventh SIGCSE technical symposium on Computer science education
Software engineering and simulation
WSC '79 Proceedings of the 11th conference on Winter simulation - Volume 2
Some deadlock properties of computer systems
SOSP '71 Proceedings of the third ACM symposium on Operating systems principles
Architecture of a real time operating system
SOSP '75 Proceedings of the fifth ACM symposium on Operating systems principles
Consistency and correctness of duplicate database systems
SOSP '77 Proceedings of the sixth ACM symposium on Operating systems principles
On-the-fly deadlock prevention
PODC '82 Proceedings of the first ACM SIGACT-SIGOPS symposium on Principles of distributed computing
On the probability of deadlock in computer systems
SOSP '73 Proceedings of the fourth ACM symposium on Operating system principles
Multiprocessor software design
ACM '80 Proceedings of the ACM 1980 annual conference
Data integrity considerations in computer based accounting systems
ACM '77 Proceedings of the 1977 annual conference
Avoiding deadlock in distributed data bases
ACM '74 Proceedings of the 1974 annual conference - Volume 1
Deadlock prevention in message switched networks
ACM '74 Proceedings of the 1974 annual conference - Volume 1
Database sharing: A study of interference, roadblock and deadlock
SIGFIDET '72 Proceedings of 1972 ACM-SIGFIDET workshop on Data description, access and control
Physical volume library deadlock avoidance in a striped media environment
MSS '95 Proceedings of the 14th IEEE Symposium on Mass Storage Systems
A user-controlled synchronization method
ACM SIGOPS Operating Systems Review
Some deadlock properties of computer systems
ACM SIGOPS Operating Systems Review
ACM SIGOPS Operating Systems Review
The Deadlock problem: a classifying bibliography
ACM SIGOPS Operating Systems Review
Deadlock avoidance in loosely-coupled multiprocessors with finite buffer pools
ACM SIGOPS Operating Systems Review
A deadlock detection and recovery algorithm using the formalism of a directed graph matrix
ACM SIGOPS Operating Systems Review
ACM SIGOPS Operating Systems Review
Defining deadlock with fungible resources
ACM SIGOPS Operating Systems Review
A unified treatment of deadlock
Journal of Computing Sciences in Colleges
JACOT: a tool to dynamically visualise the execution of concurrent Java programs
PPPJ '03 Proceedings of the 2nd international conference on Principles and practice of programming in Java
Geometry and concurrency: a user's guide
Mathematical Structures in Computer Science
A novel deadlock avoidance algorithm and its hardware implementation
Proceedings of the 2nd IEEE/ACM/IFIP international conference on Hardware/software codesign and system synthesis
The classification of deadlock prevention and avoidance is erroneous
ACM SIGOPS Operating Systems Review
Simulation based deadlock analysis for system level designs
Proceedings of the 42nd annual Design Automation Conference
An o(min(m, n)) parallel deadlock detection algorithm
ACM Transactions on Design Automation of Electronic Systems (TODAES)
Models and algorithms for deadlock in computer systems
ACM SIGOPS Operating Systems Review
VLDB '75 Proceedings of the 1st International Conference on Very Large Data Bases
Issues in distributed data base management systems: a technical overview
VLDB '78 Proceedings of the fourth international conference on Very Large Data Bases - Volume 4
A theory of correct locking protocols for database systems
VLDB '81 Proceedings of the seventh international conference on Very Large Data Bases - Volume 7
A resource class independent deadlock detection algorithm
VLDB '81 Proceedings of the seventh international conference on Very Large Data Bases - Volume 7
Non-two-phase locking protocols with shared and exclusive locks
VLDB '80 Proceedings of the sixth international conference on Very Large Data Bases - Volume 6
Deadlock-Free Systems for a Bounded Number of Processes
IEEE Transactions on Computers
Congestion Control of Packet Communication Networks by Input Buffer Limits A Simulation Study
IEEE Transactions on Computers
Processor virtualization for secure mobile terminals
ACM Transactions on Design Automation of Electronic Systems (TODAES)
A study of response times under various deadlock algorithms and job schedulers
ACM '74 Proceedings of the 1974 annual ACM conference - Volume 2
Database sharing: an efficient mechanism for supporting concurrent processes
AFIPS '73 Proceedings of the June 4-8, 1973, national computer conference and exposition
Coupling small computers for performance enhancement
AFIPS '76 Proceedings of the June 7-10, 1976, national computer conference and exposition
System proposal for preventing, detecting and avoiding deadlocks in modern operating system
EC'09 Proceedings of the 10th WSEAS international conference on evolutionary computing
A Deadlock-Free Semantics for Shared Memory Concurrency
ICTAC '09 Proceedings of the 6th International Colloquium on Theoretical Aspects of Computing
Determining deadlock exposure for a class of store and forward communication networks
IBM Journal of Research and Development
Performance analysis of suspend locks in operating systems
IBM Journal of Research and Development
Integrated static analysis for Linux device driver verification
IFM'07 Proceedings of the 6th international conference on Integrated formal methods
Automatica (Journal of IFAC)
Dynamic lock synchronisation for collaborative 3D applications
Proceedings of the 7th International Conference on Advances in Mobile Computing and Multimedia
Fundamenta Informaticae - Dependently Typed Programming
A type and effect system for deadlock avoidance in low-level languages
Proceedings of the 7th ACM SIGPLAN workshop on Types in language design and implementation
A modular scheme for deadlock prevention in an object-oriented programming model
ICFEM'10 Proceedings of the 12th international conference on Formal engineering methods and software engineering
Parallelism in artificial intelligence problem solving: a case study of hearsay II
IEEE Transactions on Computers - Special issue on parallel processors and processing
Dynamic hinting: Collaborative real-time resource management for reactive embedded systems
Journal of Systems Architecture: the EUROMICRO Journal
Resource allocation systems: some complexity results on the S74PR class
FORTE'06 Proceedings of the 26th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
Efficiently verifiable conditions for deadlock-freedom of large concurrent programs
VMCAI'05 Proceedings of the 6th international conference on Verification, Model Checking, and Abstract Interpretation
Computations in space and space in computations
UPP'04 Proceedings of the 2004 international conference on Unconventional Programming Paradigms
SCOOP – a contract-based concurrent object-oriented programming model
Advanced Lectures on Software Engineering
On deadlocks and fairness in self-organizing resource-flow systems
ARCS'10 Proceedings of the 23rd international conference on Architecture of Computing Systems
Empirical Software Engineering and Verification
A uniform classification of common concurrency errors
EUROCAST'11 Proceedings of the 13th international conference on Computer Aided Systems Theory - Volume Part I
Deadlock avoidance, non-linearity and games
VECoS'10 Proceedings of the Fourth international conference on Verification and Evaluation of Computer and Communication Systems
A petri net perspective on the resource allocation problem in software engineering
Transactions on Petri Nets and Other Models of Concurrency V
Stochastic modelling of flexible manufacturing systems
Mathematical and Computer Modelling: An International Journal
Application of Deadlock Risk Evaluation of Architectural Models
Software—Practice & Experience
On structural minimality of optimal supervisors for flexible manufacturing systems
Automatica (Journal of IFAC)
UCNC'12 Proceedings of the 11th international conference on Unconventional Computation and Natural Computation
Preventing deadlocks and starvation in distributed object oriented systems
Computers and Electrical Engineering
Preventing database deadlocks in applications
Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering
REDACT: preventing database deadlocks from application-based transactions
Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering
Deterministic scale-free pipeline parallelism with hyperqueues
SC '13 Proceedings of the International Conference on High Performance Computing, Networking, Storage and Analysis
Information Sciences: an International Journal
TornadoNoC: A lightweight and scalable on-chip network architecture for the many-core era
ACM Transactions on Architecture and Code Optimization (TACO)
Dispatching and coordination in multi-area railway traffic management
Computers and Operations Research
Hi-index | 0.11 |
A problem of increasing importance in the design of large multiprogramming systems is the, so-called, deadlock or deadly-embrace problem. In this article we survey the work that has been done on the treatment of deadlocks from both the theoretical and practical points of view.