OMP任务的数据范围确定方式、变量first private时机及作用域咨询

1. 如何确定OMP任务中的数据范围？ #

确定任务内变量的数据共享属性，遵循以下优先级：

• 显式指定优先：在#pragma omp task后通过shared/private/firstprivate等子句明确声明的变量属性，直接生效。
• 默认规则兜底：未显式声明时，按照OpenMP默认规则判断：
  • 全局变量、静态变量默认是shared；
  • 并行区域外定义的函数局部变量默认shared；
  • 并行区域内定义的局部变量默认private；
  • 任务内部定义的局部变量属于任务私有，仅在任务执行期可见。
• 任务会继承创建上下文的属性：任务默认绑定到创建它的线程所在的并行区域，遵循该区域的共享规则。

2. 任务中的变量何时为first private？ #

变量成为firstprivate的场景为：

• 显式声明子句：在#pragma omp task后添加firstprivate(变量名)，此时变量会在任务创建时，复制外部的当前值作为自身初始值，任务内部拥有独立副本，修改不会影响外部原变量。
• 外层构造继承：如果任务是从带有firstprivate声明的外层构造（如omp parallel firstprivate(...)）中创建，且变量未被任务重新声明属性，会继承firstprivate属性。

3. 示例代码中各变量的作用域与共享属性 #

先看示例代码：

int a;
void foo()
{
    int b,c;
    #pragma omp parallel shared(c)
    {
        int d;

        #pragma omp task
        {
            int e;
            // 分析任务区域内变量的作用域
        }
    }
}

逐个变量解析：

• a：全局作用域，整个程序范围内可见。OpenMP任务中默认shared，所有线程、任务共享同一个副本。
• b：函数foo的局部作用域，仅在foo函数内部可见。并行区域和任务中默认shared，所有并行线程、任务共享foo栈中的同一个b。
• c：函数foo的局部作用域，仅在foo函数内部可见。通过#pragma omp parallel shared(c)显式指定为shared，因此在并行区域、任务中都是共享状态，所有线程、任务共用同一个副本。
• d：并行区域内的局部作用域，仅在创建它的并行线程栈中可见。默认private，每个并行线程拥有独立的d副本；任务由某线程创建后，仅能访问该线程的d副本，其他线程的任务无法访问。
• e：任务内部的局部作用域，仅在当前任务的执行上下文可见。属于任务私有变量，每个任务实例拥有独立的e副本，任务结束后自动销毁。

内容的提问来源于stack exchange，提问作者Jeet