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.

Message-passing race probabilistic detection and analysis for MPPS with a 2-D mesh

Online Scheduling of Parallel Jobs with Dependencies on 2-Dimensional Meshes

On-line Scheduling Mesh Jobs with Dependencies.

Deterministic Message Passing for Distributed Parallel Computing

Modeling and Discovering Data Race with Concurrent Code Property Graphs.

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

Message Passing Based Data Association Algorithm for Multiple Extended Object Tracking

Detecting harmful data races through parallel verification

Hardware Data Race Detection Algorithm Based on Sliding Windows

Racetracker:Effective And Efficient Detection Of Data Races

End-to-end Probability Analysis Method for Multi-Core Distributed Systems

Static Data Race Detection for X10 Parallel Programs

Optimistic Prediction of Synchronization-Reversal Data Races

PFinder: Efficiently detecting bugs in concurrent programs through parallelizing race verification

Survey on Multithreaded Data Race Detection Techniques

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

Two Parallel Swendsen-Wang Cluster Algorithms Using Message-Passing Paradigm

Predictive Analysis for Race Detection in Software-Defined Networks.

What Happens - After the First Race? Enhancing the Predictive Power of Happens - Before Based Dynamic Race Detection

Racechecker: Efficient Identification Of Harmful Data Races

Probabilistic performance analysis of scheduling parallel tasks with precedence constraints on mesh connected multicomputers