Run-time detection of potential deadlocks for programs with locks, semaphores, and condition variables

@inproceedings{Agarwal2006RuntimeDO,
  title={Run-time detection of potential deadlocks for programs with locks, semaphores, and condition variables},
  author={Rahul Agarwal and Scott D. Stoller},
  booktitle={PADTAD},
  year={2006}
}
Concurrent programs are notorious for containing errors that are difficult to reproduce and diagnose. A common kind of concurrency error is deadlock, which occurs when some threads are permanently blocked. This paper defines a run-time notion of potential deadlock in programs with locks, semaphores, and condition variables. Informally, an execution has potential for a deadlock if some feasible permutation of the execution results in a deadlock. Feasibility of a permutation is determined by… CONTINUE READING
Highly Cited
This paper has 67 citations. REVIEW CITATIONS

4 Figures & Tables

Topics

Statistics

05101520082009201020112012201320142015201620172018
Citations per Year

68 Citations

Semantic Scholar estimates that this publication has 68 citations based on the available data.

See our FAQ for additional information.