Partial Orders for Precise and Efficient Dynamic Deadlock Prediction

Bas van den Heuvel, Martin Sulzmann, Peter Thiemann

Deadlocks are a major source of bugs in concurrent programs. They are hard to predict, because they may only occur under specific scheduling conditions. Dynamic analysis attempts t…