Beyond Locks and Thread IDs: Static Data Race Detection Off The Beaten Path (Extended Version)

2026-08-31

AI Summary

该研究通过扩展摘要框架处理线程屏障和pthread_once等并发结构，提高静态数据分析中数据竞争检测的精度。

Abstract

Maintaining an abstraction of the execution history of threads can improve the precision of data race detection in static analysis. Here, we extend the digest framework to handle concurrency constructs and synchronization mechanisms that have been ignored in static race detection. We introduce mechanisms for the commonly used thread barriers, as well as pthread_once, which allows to ensure that an action is executed only once. We also instantiate the framework with an abstraction of locksets held by ancestor threads. We propose a suite of litmus tests to evaluate analyses for these features and compare our implementation to state-of-the-art tools, finding that they lack support.

Problem

• static data race detection
• concurrency constructs
• synchronization mechanisms
• thread barriers
• pthread_once

Innovation

• static data race detection
• thread barriers
• pthread_once
• locksets abstraction