LLVM TSan与OpenMP显式任务的数据竞态误报问题排查

问题场景 #

使用OpenMP任务依赖（depend(mutexinoutset)）保护向量元素的增量操作时，Thread Sanitizer（TSAN）报告数据竞态，但程序输出始终正确；移除depend子句后则出现真实竞态，导致输出错误。

测试代码 #

#include <vector>
#include <algorithm>
#include <iostream>

int main () {
  std::vector<int> vec(10);

  // increase each vector entry 10 times. Each increment is one task.
#pragma omp parallel
#pragma omp single
  for (int i=0; i < vec.size(); ++i){
    for (int j=0; j < vec.size(); ++j){
#pragma omp task depend(mutexinoutset : vec[i])
      ++vec[i];
    }
  }

  // output as a sanity check
  // expected output: "vec: 10 10 10 10 10 10 10 10 10 10 "
  std::cout << "vec: ";
  std::for_each(vec.begin(), vec.end(), [](auto x) {std::cout << x << " ";});
  std::cout << std::endl;
}

编译执行命令 #

export TSAN_OPTIONS='ignore_noninstrumented_modules=1'
clang++-15 \
    -g \
    -fopenmp \
    -fno-omit-frame-pointer \
    -fsanitize=thread \
    toyExample.cpp \
    && OMP_NUM_THREADS=8 ./a.out

原因解析 #

• OpenMP任务依赖使用正确：depend(mutexinoutset : vec[i])确保了针对同一个vec[i]的所有任务串行执行，不存在真实数据竞态，这是程序输出始终正确的核心原因。
• TSAN对OpenMP任务依赖的支持存在局限：TSAN的线程安全分析基于内存访问跟踪和传统同步原语（如互斥锁、原子操作）的识别，但OpenMP的depend子句属于任务级调度依赖，并非TSAN能直接感知的同步机制。TSAN无法识别OpenMP运行时基于依赖关系的调度约束，因此误判受保护的内存访问为无同步并发操作，触发竞态警告。
• 移除depend后的真实竞态验证：去掉depend子句后，多个任务并发修改同一个vec[i]，++vec[i]不是原子操作，出现真实数据竞态导致输出错误，反向证明了原代码中depend子句的正确性。

结论 #

你没有误用OpenMP Tasks或TSAN，这是TSAN对OpenMP显式任务依赖机制支持不足导致的误报。TSAN目前无法完全理解OpenMP任务依赖的调度逻辑，因此会把受依赖保护的内存访问误判为数据竞态。

内容的提问来源于stack exchange，提问作者Seriously