Skip to search formSkip to main contentSkip to account menu

Deadlock

Known as: Deadlocks, Live-locks, Coffman conditions 
In concurrent computing, a deadlock occurs when two competing actions wait for the other to finish, and thus neither ever does. Deadlock is a common… 
Wikipedia (opens in a new tab)

Related topics

Related topics

50 relations
Absolute probability judgementAbstract Window ToolkitBanker's algorithmBarrel processor

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2012
2012
A data-centric approach to synchronization
Concurrency-related errors, such as data races, are frustratingly difficult to track down and eliminate in large object-oriented… 
Highly Cited
2011
Highly Cited
2011
Multi-Core LTSmin: Marrying Modularity and Scalability
The LTSMIN toolset provides multiple generation and on-the-fly analysis algorithms for large graphs (state spaces), typically… 
Highly Cited
2009
Highly Cited
2009
Analysis of workflow dynamic changes based on Petri net
2005
2005
Non-local Choice and Beyond: Intricacies of MSC Choice Nodes
MSC is a visual formalism for specifying the behavior of systems. To obtain implementations for individual processes, the MSC… 
Highly Cited
1999
Highly Cited
1999
Analysis of modularly composed nets by siphons
This paper uses siphons to analyze the class of Petri nets constructed by a modular approach by Jeng and DiCesare (1995) for… 
1997
1997
Directional Types and the Annotation Method
Highly Cited
1995
Highly Cited
1995
Experience with active messages on the Meiko CS-2
Active messages provide a low latency communication architecture which on modern parallel machines achieves more than an order of… 
Highly Cited
1991
Highly Cited
1991
An architecture of highly parallel computer AP 1000
A highly parallel computer with distributed memory called the AP1000 has been developed. The system consists of 64 and 1024… 
Highly Cited
1987
Highly Cited
1987
Synthesis of Place Transition Nets for Simulation and Control of Manufacturing Systems
1977
1977
A Parallel Processor Operating System Comparison
Three different operating system strategies for a parallel processor computer system are compared, and the most effective… 
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy (opens in a new tab), Terms of Service (opens in a new tab), and Dataset License (opens in a new tab)