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.

Static Data Race Detection for X10 Parallel Programs

Modeling and Discovering Data Race with Concurrent Code Property Graphs.

Survey on Multithreaded Data Race Detection Techniques

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

Data Race Detection by Understanding Synchronization Relationships of Thread Segments

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

Racetracker:Effective And Efficient Detection Of Data Races

Context-Sensitive Data Race Detection for Concurrent Programs

Evaluation and Comparison of Ten Data Race Detection Techniques.

Data Race Detection Tool for Interrupt-Driven Embedded System

A context-sensitive approach to data race detection

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

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

Hardware Data Race Detection Algorithm Based on Sliding Windows

Detecting harmful data races through parallel verification

HardRace: A Dynamic Data Race Monitor for Production Use

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

Kernel data race detection using debug register in Linux

Racechecker: Efficient Identification Of Harmful Data Races

Understanding and Identifying Latent Data Races Cross-Thread Interleaving

Enhanced Data Race Detection Approach Based on Lockset Algorithm