Dependence-Aware, Unbounded Sound Predictive Race Detection

04/30/2019
by   Kaan Genç, et al.
0

Data races are a real problem for parallel software, yet hard to detect. Sound predictive analysis observes a program execution and detects data races that exist in some other, unobserved execution. However, existing predictive analyses miss races because they do not scale to full program executions or do not precisely incorporate data and control dependence. This paper introduces two novel, sound predictive approaches that incorporate data and control dependence and handle full program executions. An evaluation using real, large Java programs shows that these approaches detect more data races than the closest related approaches, thus advancing the state of the art in sound predictive race detection.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
07/19/2019

Online Set-Based Dynamic Analysis for Sound Predictive Race Detection

Predictive data race detectors find data races that exist in executions ...
research
05/01/2019

Practical Predictive Race Detection

Widely used data race detectors, including the state-of-the-art FastTrac...
research
05/29/2023

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

Interrupt-driven programs are widely deployed in safety-critical embedde...
research
12/27/2019

LLOV: A Fast Static Data-Race Checker for OpenMP Programs

In the era of Exascale computing, writing efficient parallel programs is...
research
09/06/2020

A Thread-Local Semantics and Efficient Static Analyses for Race Free Programs

Data race free (DRF) programs constitute an important class of concurren...
research
09/11/2018

Faster Variational Execution with Transparent Bytecode Transformation

Variational execution is a novel dynamic analysis technique for explorin...
research
08/15/2023

Data Race Detection Using Large Language Models

Large language models (LLMs) are demonstrating significant promise as an...

Please sign up or login with your details

Forgot password? Click here to reset