Magiclock: Scalable Detection of Potential Deadlocks in Large-Scale Multithreaded Programs

Yan Cai, W.K. Chan
2014 IEEE Transactions on Software Engineering  
We present Magiclock, a novel potential deadlock detection technique by analyzing execution traces (containing no deadlock occurrence) of large-scale multithreaded programs. Magiclock iteratively eliminates removable lock dependencies before potential deadlock localization. It divides lock dependencies into thread specific partitions, consolidates equivalent lock dependencies, and searches over the set of lock dependency chains without the need to examine any duplicated permutations of the same
more » ... lock dependency chains. We validate Magiclock through a suite of real-world, large-scale multithreaded programs. The experimental results show that Magiclock is significantly more scalable and efficient than existing dynamic detectors in analyzing and detecting potential deadlocks in large-scale execution traces from large-scale multithreaded programs.
doi:10.1109/tse.2014.2301725 fatcat:qlphnzbfdbdfzevc4t3ml3oi5y