Question

请考虑以下代码：

#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;
}

如果我使用compilers/linux-x86_64-2.10.1/gnu7.1.0/bin/g++ -fsanitize=thread -O3 -std=c++11 main.cpp -o a.out编译此代码，TSan不会提供任何警告和/或线程错误。
但是，允许此代码同时生成42 0和0 0作为输出。
- 如果g()在f()开始之前执行，则r1 = y.load()的值为42
- 如果在g()开始之前未执行f()，则r1 = y.load()的值为0。
这是我应该期待TSan抓住的东西，还是我的期望在这里完全错误？
- 如果我的期望是错误的，那么可以做些什么（除了代码检查，对于更大的代码库来说，这可能非常难以找到这样的错误？）
- 如果应该抛出一些错误，是否有一些我可能遗漏的特定选项（我正在使用文档here中指定的所有默认值）？

Answer 1

来自clang's documentation

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

由于您的所有变量都是原子变量，因此没有数据竞争，因此无需报告。

线程消毒器给“功能竞赛”假阴性

1 个答案: