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… (More)
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2009
Highly Cited
2009
We present an effective static deadlock detection algorithm for Java. Our algorithm uses a novel combination of static analyses… (More)
  • figure 3
  • figure 4
  • table 1
  • figure 5
Is this relevant?
Highly Cited
2008
Highly Cited
2008
Deadlock is an increasingly pressing concern as the multicore revolution forces parallel programming upon the average programmer… (More)
Is this relevant?
Highly Cited
2002
Highly Cited
2002
This paper presents a new static type system for multithreaded programs; well-typed programs in our system are guaranteed to be… (More)
Is this relevant?
Highly Cited
1996
Highly Cited
1996
Although the typical process-layout manufacturing environment is susceptible to deadlocks , the problem of deadlock resolution in… (More)
Is this relevant?
Highly Cited
1995
Highly Cited
1995
In this paper we illustrate a compositional method for modeling the concurrent execution of working processes in flexible… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
1993
Highly Cited
1993
Second generation multicomputers use wormhole routing, allowing a very low channel setup time and drastically reducing the… (More)
  • figure 2
Is this relevant?
Highly Cited
1993
Highly Cited
1993
This paper considers the problem of electing a leader in a dynamic ring in which processors are permitted to fail and recover… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
1990
Highly Cited
1990
Deadlocks constitute an important issue to he addressed in the design and operation of flexible manufacturing systems (FMS’s). In… (More)
  • figure 1
  • figure 2
  • figure 3
  • table I
  • figure 4
Is this relevant?
Highly Cited
1987
Highly Cited
1987
The problem of deadlock detection in distributed systems has undergone extensive study. An important application relates to… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 5
  • figure 7
Is this relevant?
Highly Cited
1983
Highly Cited
1983
Distributed deadlock models are presented for resource and communication deadlocks. Simple distributed algorithms for detection… (More)
Is this relevant?