FirstPrivate 和 LastPrivate 与 OpenMP 中的 Private 子句有何不同？

我看了官方的定义，但还是很困惑。

firstprivate：指定每个线程应该有自己的变量实例，并且应该使用变量的值来初始化该变量，因为它存在于并行构造之前。

对我来说，这听起来很像私人的。我寻找了示例，但我似乎不明白它有何特别之处或如何使用它。

lastprivate：指定变量的封闭上下文版本设置为等于执行最终迭代（for 循环构造）或最后一个部分（#pragmasections）的线程的私有版本。

我觉得通过下面的例子我对这个问题有了更好的理解：

#pragma omp parallel
{
   #pragma omp for lastprivate(i)
      for (i=0; i<n-1; i++)
         a[i] = b[i] + b[i+1];
}
a[i]=b[i];

所以，在这个例子中，我明白lastprivate允许i作为最后一个值返回到循环之外。

我今天刚开始学习OpenMP。

private变量没有初始化，即它们像任何其他本地自动变量一样以随机值开始（并且它们通常使用每个线程的堆栈上的自动变量来实现）。以这个简单的程序为例：

#include <stdio.h>
#include <omp.h>

int main (void)
{
    int i = 10;

    #pragma omp parallel private(i)
    {
        printf("thread %d: i = %d\n", omp_get_thread_num(), i);
        i = 1000 + omp_get_thread_num();
    }

    printf("i = %d\n", i);

    return 0;
}

如果有四个线程，它会输出类似以下内容的内容：

thread 0: i = 0
thread 3: i = 32717
thread 1: i = 32717
thread 2: i = 1
i = 10

(another run of the same program)

thread 2: i = 1
thread 1: i = 1
thread 0: i = 0
thread 3: i = 32657
i = 10

这清楚地表明了i在并行区域内是随机的（未初始化），并且在并行区域之后对其进行的任何修改都是不可见的（即变量在进入该区域之前保持其值）。

If i被制作firstprivate，然后用并行区域之前的值进行初始化：

thread 2: i = 10
thread 0: i = 10
thread 3: i = 10
thread 1: i = 10
i = 10

仍对值进行修改i并行区域内的内容在其之后不可见。

你已经知道了lastprivate（它不适用于简单的演示程序，因为它缺乏工作共享结构）。

So yes, firstprivate and lastprivate只是特殊情况private。第一个导致将值从外部上下文引入并行区域，而第二个将值从并行区域传输到外部上下文。这些数据共享类背后的基本原理是，并行区域内的所有私有变量都会隐藏外部上下文中的变量，即不可能使用赋值操作来修改外部值i从平行区域内部。