在 clang 或 gcc 中使用线程清理器时是否需要使用 -fopenmp

Question

我正在尝试在给定的一段代码（在 ok.c 文件中）上使用 threadsanitizer：

clang -fsanitize=thread ok.c -w -I../runtime

这工作正常并且没有检测到数据竞争，但是当我尝试将 -fopenmp 选项提供给 sanitizer 时，它会转储终端，并在循环中显示可能存在数据竞争的位置。

clang -fsanitize=thread -fopenmp ok.c -w -I../runtime

Terminal output:
$
WARNING: ThreadSanitizer: data race (pid=7980)
  Atomic read of size 1 at 0x7d680001f700 by thread T2:
    #0 pthread_mutex_lock <null> (a.out+0x000000439b00)
    #1 __kmp_reap_worker <null> (libomp.so.5+0x0000000477a2)

int l_3438[10]; //shared 
int i;
            #pragma omp parallel for
            for (i = 0; i < 10; i++){
                l_3438[i] = (-10L);
            }

我也尝试使用共享和私有属性来使事情更清晰。

int l_3438[10]; //shared 
int i;
            #pragma omp parallel for shared(l_3438) private(i)
            for (i = 0; i < 10; i++){
                l_3438[i] = (-10L);
            }

问题：使用线程清理器时是否需要 -fopenmp 标志？ 谢谢。

Answer 1

除非您担心误报（编译器在没有数据竞争时诊断数据竞争），否则我发现问题（如已发布）应该颠倒过来。应该是：我应该为 openmp 程序使用线程清理器吗？

如果您的目标是检测使用 openmp 结构可能导致的数据竞争，那么您绝对应该在此类程序中使用线程清理程序。

如果您的问题确实是关于在使用带有 openmp 程序的线程清理程序时避免误报，this post 对此进行了介绍。