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

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 dependenc...

Celý popis

Podrobná bibliografie

Vydáno v:	IEEE transactions on software engineering Ročník 40; číslo 3; s. 266 - 281
Hlavní autoři:	Yan Cai, Chan, W. K.
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	IEEE 01.03.2014
Témata:	Classification algorithms concurrency Deadlock detection Image edge detection Instruction sets lock order graph Message systems Monitoring Multicore processing multithreaded programs scalability System recovery
ISSN:	0098-5589, 1939-3520
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!