Abstract:Data race is one of the most important concurrent anomalies in multi-threaded programs. Emerging constraint- based techniques are leveraged into race detection, which is able to find all the races that can be found by any other sound race detector. However, this constraint-based approach has serious limitations on helping programmers analyze and understand data races. First, it may report a large number of false positives due to the unrecognized dataflow propagation of the program. Second, it recommends a wide range of thread context switches to schedule the reported race (including the false one) whenever this race is exposed during the constraint-solving process. This ad hoc recommendation imposes too many context switches, which complicates the data race analysis. To address these two limitations in the state-of-the-art constraint-based race detection, this paper proposes DFTracker, an improved constraint-based race detector to recommend each data race with minimal thread context switches. Specifically, we reduce the false positives by analyzing and tracking the dataflow in the program. By this means, DFTracker thus reduces the unnecessary analysis of false race schedules. We further propose a novel algorithm to recommend an effective race schedule with minimal thread context switches for each data race. Our experimental results on the real applications demonstrate that 1) without removing any true data race, DFTracker effectively prunes false positives by 68% in comparison with the state-of-the-art constraint-based race detector; 2) DFTracker recommends as low as 2.6–8.3 (4.7 on average) thread context switches per data race in the real world, which is 81.6% fewer context switches per data race than the state-of-the-art constraint based race detector. Therefore, DFTracker can be used as an effective tool to understand the data race for programmers.

Data Race Detection Tool for Interrupt-Driven Embedded System

Detecting Data Races in Interrupt-Driven Programs based on Static Analysis and Dynamic Simulation

Automatic Detection, Validation and Repair of Race Conditions in Interrupt-Driven Embedded Software

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

Kernel data race detection using debug register in Linux

HardRace: A Dynamic Data Race Monitor for Production Use

Racez: A Lightweight And Non-Invasive Race Detection Tool For Production Applications

Minimal Context-Switching Data Race Detection with Dataflow Tracking

Context-Sensitive Data Race Detection for Concurrent Programs

A Directed Acyclic Graph Based Detection for Rbac Based Secure Interoperation

Dynamic Recognition of Synchronization Operations for Improved Data Race Detection.

An EDF Interrupt Handling Scheme for Real-Time Kernel: Design and Task Simulation

Predictive Analysis for Race Detection in Software-Defined Networks.

Detecting Data Races Caused by Inconsistent Lock Protection in Device Drivers

PredRacer: Predictively Detecting Data Races in Android Applications

Enhanced Data Race Detection Approach Based on Lockset Algorithm

HMTRace: Hardware-Assisted Memory-Tagging based Dynamic Data Race Detection

Data race avoidance and replay scheme for developing and debugging parallel programs on distributed shared memory systems

Replaying Harmful Data Races in Android Apps

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

WCET-Aware Control Flow Checking with Super-Nodes for Resource-Constrained Embedded Systems