TY - JOUR
T1 - Magiclock
T2 - Scalable detection ofpotential deadlocks in large- scalemultithreaded programs
AU - Cai, Yan
AU - Chan, W. K.
PY - 2014/3
Y1 - 2014/3
N2 - 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 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 execution traces of large-scale multithreaded programs. © 2014 IEEE.
AB - 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 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 execution traces of large-scale multithreaded programs. © 2014 IEEE.
KW - concurrency
KW - Deadlock detection
KW - lock order graph
KW - multithreaded programs
KW - scalability
UR - http://www.scopus.com/inward/record.url?scp=84898030410&partnerID=8YFLogxK
UR - https://www.scopus.com/record/pubmetrics.uri?eid=2-s2.0-84898030410&origin=recordpage
U2 - 10.1109/TSE.2014.2301725
DO - 10.1109/TSE.2014.2301725
M3 - RGC 21 - Publication in refereed journal
SN - 0098-5589
VL - 40
SP - 266
EP - 281
JO - IEEE Transactions on Software Engineering
JF - IEEE Transactions on Software Engineering
IS - 3
M1 - 6718069
ER -