A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2015; you can also visit the original URL.
The file type is application/pdf
.
Magiclock: Scalable Detection of Potential Deadlocks in Large-Scale Multithreaded Programs
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
doi:10.1109/tse.2014.2301725
fatcat:qlphnzbfdbdfzevc4t3ml3oi5y