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

Full description

Bibliographic Details

Published in:	IEEE transactions on software engineering Vol. 40; no. 3; pp. 266 - 281
Main Authors:	Yan Cai, Chan, W. K.
Format:	Journal Article
Language:	English
Published:	IEEE 01.03.2014
Subjects:	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
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!