# SmartTrack: Efficient Predictive Race Detection

## TL;DR

SmartTrack is an optimized predictive race detection algorithm that improves detection accuracy over FastTrack while maintaining comparable performance, by introducing novel and existing optimizations.

## Contribution

It introduces a new optimized predictive race detection algorithm, combining existing and novel techniques for improved performance and accuracy.

## Key findings

- SmartTrack detects more data races than FastTrack.
- SmartTrack achieves performance comparable to FastTrack.
- The algorithm incorporates novel conflicting critical section optimizations.

## Abstract

Widely used data race detectors, including the state-of-the-art FastTrack algorithm, incur performance costs that are acceptable for regular in-house testing, but miss races detectable from the analyzed execution. Predictive analyses detect more data races in an analyzed execution than FastTrack detects, but at significantly higher performance cost. This paper presents SmartTrack, an algorithm that optimizes predictive race detection analyses, including two analyses from prior work and a new analysis introduced in this paper. SmartTrack's algorithm incorporates two main optimizations: (1) epoch and ownership optimizations from prior work, applied to predictive analysis for the first time; and (2) novel conflicting critical section optimizations introduced by this paper. Our evaluation shows that SmartTrack achieves performance competitive with FastTrack-a qualitative improvement in the state of the art for data race detection.