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

Abstract

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… (More)
DOI: 10.1109/TSE.2014.2301725

Topics

13 Figures and Tables

Statistics

051015201520162017
Citations per Year

Citation Velocity: 9

Averaging 9 citations per year over the last 3 years.

Learn more about how we calculate this metric in our FAQ.

Slides referencing similar topics