Effective Static Deadlock Detection

TitleEffective Static Deadlock Detection
Publication TypeConference Paper
Year of Publication2009
AuthorsNaik, M., Park C. - S., Sen K., & Gay D.
Conference Name31st International Conference on Software Engineering, Vancouver (ICSE 09)
Date Published05/2009
Conference LocationVancouver, Canada

We present an effective static deadlock detection algo-
rithm for Java. Our algorithm uses a novel combination of
static analyses each of which approximates a different nec-
essary condition for a deadlock. We have implemented the
algorithm and report upon our experience applying it to a
suite of multi-threaded Java programs. While neither sound
nor complete, our approach is effective in practice, finding
all known deadlocks as well as discovering previously un-
known ones in our benchmarks with few false alarms.

Deadlock - ICSE '09260.88 KB