Abstract:Atomicity is a correctness criterion to reason about isolated code regions in a multithreaded program when they are executed concurrently. However, dynamic instances of these code regions, called transactions, may fail to behave atomically, resulting in transactional atomicity violations. Existing dynamic online atomicity checkers incur either false positives or false negatives in detecting transactions experiencing transactional atomicity violations. This article proposes RegionTrack. RegionTrack tracks cross-thread dependences at the event, dynamic subregion, and transaction levels. It maintains both dynamic subregions within selected transactions and transactional happens-before relations through its novel timestamp propagation approach. We prove that RegionTrack is sound and complete in detecting both transactional atomicity violations and non-serializable traces. To the best of our knowledge, it is the first online technique that precisely captures the transitively closed set of happens-before relations over all conflicting events with respect to every running transaction for the above two kinds of issues. We have evaluated RegionTrack on 19 subjects of the DaCapo and the Java Grande Forum benchmarks. The empirical results confirm that RegionTrack precisely detected all those transactions which experienced transactional atomicity violations and identified all non-serializable traces. The overall results also show that RegionTrack incurred 1.10x and 1.08x lower memory and runtime overheads than Velodrome and 2.10x and 1.21x lower than Aerodrome, respectively. Moreover, it incurred 2.89x lower memory overhead than DoubleChecker. On average, Velodrome detected about 55% fewer violations than RegionTrack, which in turn reported about 3% 70% fewer violations than DoubleChecker.

AVPredictor: Comprehensive Prediction and Detection of Atomicity Violations

Predicting concurrency bugs: how many, what kind and where are they?

Detect Atomicity Violations in Concurrent Programs Through User Assistance and Identification of Suspicious Variable Access Patterns

A Lightweight System for Detecting and Tolerating Concurrency Bugs

Detecting Atomicity Violations in Interrupt-Driven Programs Via Interruption Points Selecting and Delayed ISR-Triggering

Verifying Synchronization for Atomicity Violation Fixing

Detecting Atomicity Violations for Interrupt-driven Programs Via Systematic Scheduling and Prefix-directed Feedback

Automatic, High Accuracy Prediction of Reopened Bugs

Biped: Bidirectional Prediction Of Order Violations

OWL: Understanding and Detecting Concurrency Attacks

BAVC: Classifying Benign Atomicity Violations Via Machine Learning

ConPredictor: Concurrency Defect Prediction in Real-World Applications

On atomicity enforcement in concurrent software via Discrete Event Systems theory

RegionTrack: A Trace-Based Sound and Complete Checker to Debug Transactional Atomicity Violations and Non-Serializable Traces

Dynamically Detecting DOM-Related Atomicity Violations in JavaScript with Asynchronous Call

Reorder Pointer Flow in Sound Concurrency Bug Prediction.

Predicting Architectural Vulnerability on Multithreaded Processors under Resource Contention and Sharing

ColFinder Collaborative Concurrency Bug Detection

BIFER: a Biphasic Trace Filter Approach to Scalable Prediction of Concurrency Errors

A Lightweight Program Dependence Based Approach to Concurrent Mutation Analysis

SPDebugger: A Fine-Grained Deterministic Debugger for Concurrency Code