Static deadlock detection for java libraries

Authors:
Amy Williams;William Thies;Michael D. Ernst
Affiliations:
Computer Science and Artificial Intelligence Laboratory, Massachusetts Institute of Technology, Cambridge, MA;Computer Science and Artificial Intelligence Laboratory, Massachusetts Institute of Technology, Cambridge, MA;Computer Science and Artificial Intelligence Laboratory, Massachusetts Institute of Technology, Cambridge, MA
Venue:
ECOOP'05 Proceedings of the 19th European conference on Object-Oriented Programming
Year:
2005

Citing 13
Cited 26

Deadlock Detection in Distributed Systems

Computer
Analysis of pointers and structures

PLDI '90 Proceedings of the ACM SIGPLAN 1990 conference on Programming language design and implementation
A model of Ada programs for static deadlock detection in polynomial times

PADD '91 Proceedings of the 1991 ACM/ONR workshop on Parallel and distributed debugging
A deadlock detection tool for concurrent Java programs

Software—Practice & Experience
Ownership types for safe programming: preventing data races and deadlocks

OOPSLA '02 Proceedings of the 17th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Evaluating Deadlock Detection Methods for Concurrent Software

IEEE Transactions on Software Engineering
Using Runtime Analysis to Guide Model Checking of Java Programs

Proceedings of the 7th International SPIN Workshop on SPIN Model Checking and Software Verification
A type and effect system for atomicity

PLDI '03 Proceedings of the ACM SIGPLAN 2003 conference on Programming language design and implementation
Applying Static Analysis to Large-Scale, Multi-Threaded Java Programs

ASWEC '01 Proceedings of the 13th Australian Conference on Software Engineering
Survey of Deadlock Detection in Distributed Concurrent Programming Environments and Its Application to Real-Time Systems

Survey of Deadlock Detection in Distributed Concurrent Programming Environments and Its Application to Real-Time Systems
RacerX: effective, static detection of race conditions and deadlocks

SOSP '03 Proceedings of the nineteenth ACM symposium on Operating systems principles
Modular Verification of Software Components in C

IEEE Transactions on Software Engineering
Pulse: a dynamic deadlock detection mechanism using speculative execution

ATEC '05 Proceedings of the annual conference on USENIX Annual Technical Conference

Run-time detection of potential deadlocks for programs with locks, semaphores, and condition variables

Proceedings of the 2006 workshop on Parallel and distributed systems: testing and debugging
Towards a Java multiprocessor

JTRES '07 Proceedings of the 5th international workshop on Java technologies for real-time and embedded systems
Hang analysis: fighting responsiveness bugs

Proceedings of the 3rd ACM SIGOPS/EuroSys European Conference on Computer Systems 2008
Developing natural language-based program analyses and tools to expedite software maintenance

Companion of the 30th international conference on Software engineering
Deadlocks: From Exhibiting to Healing

Runtime Verification
A Scalable, Sound, Eventually-Complete Algorithm for Deadlock Immunity

Runtime Verification
A Meta Heuristic for Effectively Detecting Concurrency Errors

HVC '08 Proceedings of the 4th International Haifa Verification Conference on Hardware and Software: Verification and Testing
A randomized dynamic program analysis technique for detecting real deadlocks

Proceedings of the 2009 ACM SIGPLAN conference on Programming language design and implementation
Effective static deadlock detection

ICSE '09 Proceedings of the 31st International Conference on Software Engineering
Pattern-driven deadlock avoidance

Proceedings of the 7th Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging
Forcing small models of conditions on program interleaving for detection of concurrent bugs

Proceedings of the 7th Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging
Avoiding deadlock avoidance

Proceedings of the 19th international conference on Parallel architectures and compilation techniques
Deadlock immunity: enabling systems to defend against deadlocks

OSDI'08 Proceedings of the 8th USENIX conference on Operating systems design and implementation
A platform for search-based testing of concurrent software

Proceedings of the 8th Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging
An effective dynamic analysis for detecting generalized deadlocks

Proceedings of the eighteenth ACM SIGSOFT international symposium on Foundations of software engineering
Symbolic modular deadlock analysis

Automated Software Engineering
Efficient data race detection for distributed memory parallel programs

Proceedings of 2011 International Conference for High Performance Computing, Networking, Storage and Analysis
An extensible open-source compiler infrastructure for testing

HVC'05 Proceedings of the First Haifa international conference on Hardware and Software Verification and Testing
Detecting potential deadlocks with static analysis and run-time monitoring

HVC'05 Proceedings of the First Haifa international conference on Hardware and Software Verification and Testing
A uniform classification of common concurrency errors

EUROCAST'11 Proceedings of the 13th international conference on Computer Aided Systems Theory - Volume Part I
MagicFuzzer: scalable deadlock detection for large-scale applications

Proceedings of the 34th International Conference on Software Engineering
Coverage metrics for saturation-based and search-based testing of concurrent software

RV'11 Proceedings of the Second international conference on Runtime verification
Detecting deadlock in programs with data-centric synchronization

Proceedings of the 2013 International Conference on Software Engineering
Preventing database deadlocks in applications

Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering
REDACT: preventing database deadlocks from application-based transactions

Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering
Trace driven dynamic deadlock detection and reproduction

Proceedings of the 19th ACM SIGPLAN symposium on Principles and practice of parallel programming

Quantified Score

Hi-index	0.00

Visualization

Abstract

Library writers wish to provide a guarantee not only that each procedure in the library performs correctly in isolation, but also that the procedures perform correctly when run in conjunction. To this end, we propose a method for static detection of deadlock in Java libraries. Our goal is to determine whether client code exists that may deadlock a library, and, if so, to enable the library writer to discover the calling patterns that can lead to deadlock. Our flow-sensitive, context-sensitive analysis determines possible deadlock configurations using a lock-order graph. This graph represents the order in which locks are acquired by the library. Cycles in the graph indicate deadlock possibilities, and our tool reports all such possibilities. We implemented our analysis and evaluated it on 18 libraries comprising 1245 kLOC. We verified 13 libraries to be free from deadlock, and found 14 distinct deadlocks in 3 libraries.