Effective static deadlock detection

Mayur Naik, Chang-Seo Park, Koushik Sen, David Gay

DOI 10.1109/icse.2009.5070538 dblp

Abstract

We present an effective static deadlock detection algorithm for Java. Our algorithm uses a novel combination of static analyses each of which approximates a different necessary 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 unknown ones in our benchmarks with few false alarms.

BibTeX

@inproceedings{Naik-al:ICSE09,
  author    = {Mayur Naik and
               Chang{-}Seo Park and
               Koushik Sen and
               David Gay},
  title     = {Effective static deadlock detection},
  booktitle = {ICSE},
  pages     = {386--396},
  publisher = {{IEEE}},
  year      = {2009},
}

Effective static deadlock detection

Abstract

Related papers