11

考虑以下示例：

#include <iostream> 

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

编译g++ -fopenmp -fsanitize=thread和运行产量

警告：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 也可以。）

4

2 回答 2

12

是的，至少对于 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 installlibomp.so

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

clang++ -fsanitize=thread -fopenmp main.cpp
env LD_PRELOAD=/usr/local/lib/libomp.so ./a.out
于 2019-03-13T16:57:40.983 回答
4

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

我们在 OpenMP 运行时上工作，以使 Tsan 了解此同步点并消除所有误报。

看看这个项目：

https://github.com/PRUNER/archer

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

最好的，

西蒙娜

于 2016-02-25T06:14:49.693 回答