Trace driven dynamic deadlock detection and reproduction
2014pp. 29–42
Citations Over TimeTop 1% of 2014 papers
Abstract
Dynamic analysis techniques have been proposed to detect potential deadlocks. Analyzing and comprehending each potential deadlock to determine whether the deadlock is feasible in a real execution requires significant programmer effort. Moreover, empirical evidence shows that existing analyses are quite imprecise. This imprecision of the analyses further void the manual effort invested in reasoning about non-existent defects.
Related Papers
- → A distributed algorithm for deadlock detection and resolution(1984)117 cited
- → MC2DR: Multi-cycle Deadlock Detection and Recovery Algorithm for Distributed Systems(2007)9 cited
- → A deadlock detection algorithm for business processes workflow models(2002)13 cited
- → The Analysis and Avoidance of Concurrent Processes Deadlock(2011)
- Research and Improvements on Phantom Deadlock Rate of Deadlock Detection Algorithms(2005)