线程之间的openMP如何与私人变量进行交流？

Question

我正在使用OpenMP在C ++中编写一些代码，以并行化一些块。我遇到了一些我无法完全解释的奇怪行为。我重写了我的代码，以使问题最少复制。

首先，这是我写的一个函数，该函数应在平行区域运行。

void foo()
{
    #pragma omp for
    for (int i = 0; i < 3; i++)
    {
        #pragma omp critical
        printf("Hello %d from thread %d.\n", i, omp_get_thread_num());
    }
}

那是我的整个程序。

int main()
{
    omp_set_num_threads(4);
    #pragma omp parallel
    {
        for (int i = 0; i < 2; i++)
        {
            foo();
            #pragma omp critical
            printf("%d\n", i);
        }
    }
    return 0;
}

当我编译并运行此代码（使用G ++ -STD = C ++ 17）时，我在终端上获得以下输出：

Hello 0 from thread 0.
Hello 1 from thread 1.
Hello 2 from thread 2.
0
0
Hello 2 from thread 2.
Hello 1 from thread 1.
0
Hello 0 from thread 0.
0
1
1
1
1

i是一个私有变量。我希望函数foo每个线程将运行两次。因此，我希望在终端中看到八个“从％d thread％d。\ n”语句中看到八个“ Hello from％d thread％d。那么什么给这里呢？为什么在相同的循环中，OMP的行为如此不同？

Answer 1

来自 的文档Parallel ：

团队中的每个线程都执行并行区域内的所有语句，除了工作共享构造。

强调我的。由于在foo中的是一个工作共享构建体，因此每个外迭代只能执行一次，无论多少线程在main中运行并行块。

Answer 2

这是因为#pragma op是一个工作共享构造，因此它将在线程之间分配工作，并且所使用的线程数在这方面无关紧要，只有循环计数的数量（） 2*3 = 6）。

如果使用OMP_SET_NUM_THREADS（1）;您还会看到6个输出。如果您使用的线程多于循环计数，则某些线程将在内部循环中闲置，但是您仍然会看到6个输出。

另一方面，如果您删除#pragma op行，您将看到（线程数）*2*3（= 24）输出。