OpenRace: An Open Source Framework for Statically Detecting Data Races
Event Type
Workshop
Online Only
Correctness
Parallel Programming Languages and Models
Reliability and Resiliency
Software Engineering
W
TimeFriday, 19 November 20219:40am - 10am CST
LocationOnline
DescriptionData races are a particularly nefarious type of bugs that can affect the correctness of parallel software. High performance computing applications are particularly vulnerable to data races as they generally involve massive levels of parallelism. Detecting data races in large scale, complex, and highly parallel applications can be nearly impossible without domain specific race detection tools.
We present the OpenRace framework, the only open source project aimed at providing the foundation needed to build a fast and precise static race detection tool for LLVM based languages. OpenRace is designed to be extensible and allow new parallel programming frameworks to be easily modeled without the need to write an entirely custom race detection engine.
The OpenRace tool has thus far passed 149 of the 172 C/C++ cases in DataRaceBench version 1.3.2, outperforming all dynamic tools and ranking second place overall among the tools with results published by the DataRaceBench authors.
We present the OpenRace framework, the only open source project aimed at providing the foundation needed to build a fast and precise static race detection tool for LLVM based languages. OpenRace is designed to be extensible and allow new parallel programming frameworks to be easily modeled without the need to write an entirely custom race detection engine.
The OpenRace tool has thus far passed 149 of the 172 C/C++ cases in DataRaceBench version 1.3.2, outperforming all dynamic tools and ranking second place overall among the tools with results published by the DataRaceBench authors.