Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

15

ICSE
2009
IEEE-ACM

favoriteEmaildiscussreport

122views Software Engineering» more ICSE 2009»

Effective static deadlock detection

14 years 5 months ago

Effective static deadlock detection

Download berkeley.intel-research.net

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.

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

Real-time Traffic

ICSE 2009 | Software Engineering |

claim paper

Related Content

» RacerX effective static detection of race conditions and deadlocks

» Static Deadlock Detection for Java Libraries

» Detecting Potential Deadlocks with Static Analysis and RunTime Monitoring

» Communix A framework for collaborative deadlock immunity

» Static Deadlock Detection for the SHIM Concurrent Language

» Verifying Progress in Timed Systems

» An effective dynamic analysis for detecting generalized deadlocks

» Compositional deadlock detection for rendezvous communication

» Symbolic Deadlock Analysis in Concurrent Libraries and Their Clients

Post Info
More Details (n/a)

Added	17 Nov 2009
Updated	17 Nov 2009
Type	Conference
Year	2009
Where	ICSE
Authors	Mayur Naik, Chang-Seo Park, Koushik Sen, David Gay

Comments (0)