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

Autor:	Yan Cai, W. K. Chan
Rok vydání:	2014
Předmět:	Computer science Concurrency Distributed computing Parallel computing Thread (computing) Software_PROGRAMMINGTECHNIQUES Deadlock Lock (computer science) Instruction set Concurrency control Multithreading Lock convoy Deadlock prevention algorithms Software
Zdroj:	IEEE Transactions on Software Engineering. 40:266-281
ISSN:	1939-3520 0098-5589
DOI:	10.1109/tse.2014.2301725
Popis:	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.
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::a6ce10efcf7896b65719e1330f0dc69f https://doi.org/10.1109/tse.2014.2301725 Zobrazit plný text záznamu