我可以将 Thread Sanitizer 用于 OpenMP 程序吗？

Question

考虑以下示例：

#include <iostream> 

int main () {
    int i = 0;
    #pragma omp parallel
    {
        #pragma omp critical
        {
            ++i;
        }
    }
    std::cout << i;
}

用g++ -fopenmp -fsanitize=thread编译并运行yield

警告：ThreadSanitizer：数据竞争 (pid=9576)
线程 T1 在 0x7ffdc170f600 读取大小 4：
#0 main._omp_fn.0 (a.out+0x000000400d20)
#1 gomp_thread_start /build/gcc/src/gcc-5.2.0/libgomp/team.c:118 (libgomp.so.1+0x00000000f42d)

线程 T2 先前在 0x7ffdc170f600 写入大小 4：
#0 main._omp_fn.0 (a.out+0x000000400d35)
#1 gomp_thread_start /build/gcc/src/gcc-5.2.0/libgomp/team.c:118 (libgomp.so.1+0x00000000f42d)

位置是主线程的堆栈。

主线程在以下位置创建的线程 T1 (tid=9578, running)：
#0 pthread_create /build/gcc/src/gcc-5.2.0/libsanitizer/tsan/tsan_interceptors.cc:895 (libtsan.so.0+0x000000027a37)
#1 gomp_team_start /build/gcc/src/gcc-5.2.0/libgomp/team.c:796 (libgomp.so.1+0x00000000f98f)
#2 __libc_start_main (libc.so.6+0x00000002060f)

主线程在以下位置创建的线程 T2 (tid=9579, running)：
#0 pthread_create /build/gcc/src/gcc-5.2.0/libsanitizer/tsan/tsan_interceptors.cc:895 (libtsan.so.0+0x000000027a37)
#1 gomp_team_start /build/gcc/src/gcc-5.2.0/libgomp/team.c:796 (libgomp.so.1+0x00000000f98f)
#2 __libc_start_main (libc.so.6+0x00000002060f)

摘要：ThreadSanitizer：数据竞争 ??:0 main._omp_fn.0

据我所知，这是误报。有没有办法避免这种情况？

（使用 clang 和 libomp 也可以。）

Answer 1

即使使用抑制，您仍然会在 OpenMP 运行时得到误报，因为运行时中有一些 Tsan 无法理解的同步机制。

我们致力于 OpenMP 运行时，以使 Tsan 了解此同步点并消除所有误报。

看看这个项目：

https://github.com/PRUNER/archer

如果您需要更多帮助，请告诉我。

最好的，

西蒙娜

Answer 2

是的，至少对于 Clang，这相对容易。您需要使用 ThreadSanitizer 支持构建 libomp（Clang 使用它而不是 libgomp）。这不会花那么长时间：

git clone https://github.com/llvm/llvm-project
cd llvm-project
mkdir build
cd build
cmake -DLIBOMP_TSAN_SUPPORT=1 ../openmp
sudo cmake --build . --target install

（sudo 和--target install 是可选的，如果您将路径调整为下面的libomp.so）

如果您使用此 libomp.so 而不是系统之一，现在运行您的示例不会出现任何错误：

clang++ -fsanitize=thread -fopenmp main.cpp
env LD_PRELOAD=/usr/local/lib/libomp.so ./a.out