A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2010; you can also visit the original URL.
The file type is application/pdf
.
Effective static deadlock detection
2009
2009 IEEE 31st International Conference on Software Engineering
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.
doi:10.1109/icse.2009.5070538
dblp:conf/icse/NaikPSG09
fatcat:pq7gmp4hrrex3fg6w2zvrji324