Abstract:Deadlocks are one of the most notorious concurrency bugs, and significant research has focused on detecting them efficiently. Dynamic predictive analyses work by observing concurrent executions, and reason about alternative interleavings that can witness concurrency bugs. Such techniques offer scalability and sound bug reports, and have emerged as an effective approach for concurrency bug detection, such as data races. Effective dynamic deadlock prediction, however, has proven a challenging task, as no deadlock predictor currently meets the requirements of soundness, high-precision, and efficiency. In this paper, we first formally establish that this tradeoff is unavoidable, by showing that (a) sound and complete deadlock prediction is intractable, in general, and (b) even the seemingly simpler task of determining the presence of potential deadlocks, which often serve as unsound witnesses for actual predictable deadlocks, is intractable. The main contribution of this work is a new class of predictable deadlocks, called sync(hronization)-preserving deadlocks. Informally, these are deadlocks that can be predicted by reordering the observed execution while preserving the relative order of conflicting critical sections. We present two algorithms for sound deadlock prediction based on this notion. Our first algorithm SPDOffline detects all sync-preserving deadlocks, with running time that is linear per abstract deadlock pattern, a novel notion also introduced in this work. Our second algorithm SPDOnline predicts all sync-preserving deadlocks that involve two threads in a strictly online fashion, runs in overall linear time, and is better suited for a runtime monitoring setting. We implemented both our algorithms and evaluated their ability to perform offline and online deadlock-prediction on a large dataset of standard benchmarks.

DLOS: Effective Static Detection of Deadlocks in OS Kernels

Computationally Improved Optimal Control Methodology for Linear Programming Problems of Flexible Manufacturing Systems.

Dsac: Effective Static Analysis Of Sleep-In-Atomic-Context Bugs In Kernel Modules

OWL: Understanding and Detecting Concurrency Attacks

Effective Static Analysis of Concurrency Use-After-Free Bugs in Linux Device Drivers

Hybrid Static-Dynamic Analysis of Data Races Caused by Inconsistent Locking Discipline in Device Drivers

Effective Detection of Sleep-in-atomic-context Bugs in the Linux Kernel.

DCNS: Automated Detection Of Conservative Non-Sleep Defects in the Linux Kernel

Reducing Scalability Collapse Via Requester-Based Locking on Multicore Systems

DRDDR: a Lightweight Method to Detect Data Races in Linux Kernel

Capability Analysis and Integrated Application of Deadlock Detection Tools

A Context-Sensitive, Outlier-Based Static Analysis to Find Kernel Race Conditions

Sound Dynamic Deadlock Prediction in Linear Time

A framework for deadlock detection in core ABS

Detecting Data Races Caused by Inconsistent Lock Protection in Device Drivers

Static Deadlock Detection for Rust Programs

Deadlock Detection in Linear Recursive Programs

Protecting Synchronization Mechanisms of Parallel Big Data Kernels via Logging

Kernel data race detection using debug register in Linux

Enhanced Data Race Detection Approach Based on Lockset Algorithm

ANOLE: A Profiling-Driven Adaptive Lock Waiter Detection Scheme for Efficient MP-guest Scheduling