线程消毒剂给出"function race"假阴性

Thread sanitizer gives false negative for "function race"

本文关键字：race function 线程 消毒剂      更新时间：2023-10-16

请考虑以下代码：

#include <atomic>
#include <iostream>
#include <thread>
std::atomic<int> x, y;
std::atomic<int> r1, r2;
void f()
{
  r1 = y.load();
  x = r1.load();
}
void g()
{
  r2 = x.load();
  y = 42;
}
int main()
{
  x = 0;
  y = 0;
  r1 = 0;
  r2 = 0;
  std::thread t1(f);
  std::thread t2(g);
  t1.join();
  t2.join();
  std::cout << r1 << " " << r2 << std::endl;
}
  1. 如果我使用 compilers/linux-x86_64-2.10.1/gnu7.1.0/bin/g++ -fsanitize=thread -O3 -std=c++11 main.cpp -o a.out 编译此代码，TSan 不会提供任何警告和/或线程错误。
  2. 但是，允许此代码生成42 0和0 0作为输出。
    • 如果在f()启动之前执行g()，则r1 = y.load()的值将为42
    • 如果在f()启动之前未执行g()，则r1 = y.load()的值将为 0 。
  3. 这是我应该期待TSan抓住的东西，还是我的期望在这里完全错误？
    • 如果我的期望是错误的，可以做些什么(除了代码检查，这对于较大的代码库来说可能非常困难(来发现这样的错误？
    • 如果应该抛出一些错误，是否有一些我可能缺少的特定选项(我正在使用此处文档中指定的所有默认值(？

来自 clang 的文档

ThreadSanitizer是一个检测数据竞争的工具

您没有数据竞争，因为所有变量都是原子的，因此没有什么可报告的。

相关文章：