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

Authors:
Rahul Agarwal;Scott D. Stoller
Affiliations:
SUNY at Stony Brook, Stony Brook, NY;SUNY at Stony Brook, Stony Brook, NY
Venue:
Proceedings of the 2006 workshop on Parallel and distributed systems: testing and debugging
Year:
2006

Citing 16
Cited 12

Eraser: a dynamic data race detector for multithreaded programs

ACM Transactions on Computer Systems (TOCS)
Object race detection

OOPSLA '01 Proceedings of the 16th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
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
Runtime Checking of Multithreaded Applications with Visual Threads

Proceedings of the 7th International SPIN Workshop on SPIN Model Checking and Software Verification
Using Runtime Analysis to Guide Model Checking of Java Programs

Proceedings of the 7th International SPIN Workshop on SPIN Model Checking and Software Verification
Hybrid dynamic data race detection

Proceedings of the ninth ACM SIGPLAN symposium on Principles and practice of parallel programming
Concurrent Bug Patterns and How to Test Them

IPDPS '03 Proceedings of the 17th International Symposium on Parallel and Distributed Processing
Runtime safety analysis of multithreaded programs

Proceedings of the 9th European software engineering conference held jointly with 11th ACM SIGSOFT international symposium on Foundations of software engineering
RacerX: effective, static detection of race conditions and deadlocks

SOSP '03 Proceedings of the nineteenth ACM symposium on Operating systems principles
Atomizer: a dynamic atomicity checker for multithreaded programs

Proceedings of the 31st ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Runtime Analysis of Atomicity for Multithreaded Programs

IEEE Transactions on Software Engineering
Accurate and efficient runtime detection of atomicity errors in concurrent programs

Proceedings of the eleventh ACM SIGPLAN symposium on Principles and practice of parallel programming
Online efficient predictive safety analysis of multithreaded programs

International Journal on Software Tools for Technology Transfer (STTT)
Pulse: a dynamic deadlock detection mechanism using speculative execution

ATEC '05 Proceedings of the annual conference on USENIX Annual Technical Conference
Static deadlock detection for java libraries

ECOOP'05 Proceedings of the 19th European conference on Object-Oriented Programming
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

Predictive runtime verification of multi-processor SoCs in SystemC

Proceedings of the 45th annual Design Automation Conference
Deadlocks: From Exhibiting to Healing

Runtime Verification
Visualizing Potential Deadlocks in Multithreaded Programs

PaCT '09 Proceedings of the 10th International Conference on Parallel Computing Technologies
The RoadRunner Dynamic Analysis Framework for Concurrent Programs

Proceedings of the 9th ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering
Avoiding deadlock avoidance

Proceedings of the 19th international conference on Parallel architectures and compilation techniques
Gadara: dynamic deadlock avoidance for multithreaded programs

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
Noise-based testing and analysis of multi-threaded C/C++ programs on the binary level

Proceedings of the 2012 Workshop on Parallel and Distributed Systems: Testing, Analysis, and Debugging
Parallel closures: a new twist on an old idea

HotPar'12 Proceedings of the 4th USENIX conference on Hot Topics in Parallelism
An approach to testing commercial embedded systems

Journal of Systems and Software

Quantified Score

Hi-index	0.00

Visualization

Abstract

Concurrent programs are notorious for containing errors that are difficult to reproduce and diagnose. A common kind of concurrency error is deadlock, which occurs when some threads are permanently blocked. This paper defines a run-time notion of potential deadlock in programs with locks, semaphores, and condition variables. Informally, an execution has potential for a deadlock if some feasible permutation of the execution results in a deadlock. Feasibility of a permutation is determined by ordering constraints amongst events in the execution. Previous work on run-time detection of potential deadlocks are for programs that use locks. This paper presents run-time algorithms to detect potential deadlocks in programs that use locks (block structured as well as non block structured), semaphores, and condition variables.