Abstract:Data races hidden in concurrent programs have caused severe failures. To improve the reliability, many race detectors are proposed. However, most of the reported races are not harmful, which consumes manual effort to identify the harmful races. This paper proposes RaceChecker that can detect the potential races and identify the harmful races effectively and efficiently. Unlike previous detectors, RaceChecker combines happens-before relation and ad-hoc synchronization to prune the infeasible races so that fewer potential races are required to be verified. Before verification, RaceChecker groups the remaining potential races, guaranteeing the potential races in one group do not interfere with each other. Therefore, multiple potential races in one group can be verified together in one execution. To our knowledge, this is the first effective technique that groups the potential races to improve the efficiency. Unlike previous detectors that verify one potential race in one execution, RaceChecker dynamically controls thread scheduler to create real race conditions to verify multiple potential races in one execution, identifying the harmful races that cause program failures. We have implemented RaceChecker as a prototype tool and have experimented on a number of real-world concurrent programs. Results show that 66% of the potential races are infeasible and nearly 48% of the executions are reduced by the grouping strategy. The known harmful races are also identified effectively. By pruning and grouping, RaceChecker identifies the harmful races more efficiently. Comparing with RaceMob and RaceFuzzer, the time is reduced significantly, with an average of 45% and 81% respectively.

Code static analysis-based data race detecting method and system thereof

Static Data Race Detection for X10 Parallel Programs

Data Race Detection by Understanding Synchronization Relationships of Thread Segments

Survey on Multithreaded Data Race Detection Techniques

Modeling and Discovering Data Race with Concurrent Code Property Graphs.

Racetracker:Effective And Efficient Detection Of Data Races

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

A context-sensitive approach to data race detection

Data Race Detection Tool for Interrupt-Driven Embedded System

Context-Sensitive Data Race Detection for Concurrent Programs

Pruning False Positives of Static Data-Race Detection via Thread Specialization.

A Method of Tainted Data Detection Based on Static Code Analysis

A Dynamic Predictive Race Detector for C/C++ Programs

Enhanced Data Race Detection Approach Based on Lockset Algorithm

Evaluation and Comparison of Ten Data Race Detection Techniques.

Hardware Data Race Detection Algorithm Based on Sliding Windows

Efficient Data Race Detection for Interrupt-Driven Programs Via Path Feasibility Analysis

HardRace: A Dynamic Data Race Monitor for Production Use

Racechecker: Efficient Identification Of Harmful Data Races

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

Scalable Data Race Detection for Lock-Intensive Programs with Pending Period Representation.