OpenMP task依赖子句的参数是否必须指向代码中的实际变量？

你给出的示例代码如下：

#include <iostream>

int main()
{
    int x = 100;
    #pragma omp parallel
    {
        #pragma omp single
        {
            #pragma omp task depend (in: x)
            { x += 1; }

            #pragma omp task depend (out: x)
            { x *= 2; }            
        }
    }
    
}

核心问题解答 #

depend子句中的参数必须是当前作用域内实际存在、已声明的可见变量，不能直接使用不存在的任意名称作为占位符。

原理说明 #

• OpenMP的depend子句通过变量对应的内存地址来标识不同任务之间的依赖关系，不是用字符串名称做匹配标记，编译器会对depend子句中的变量做语法检查。
• 如果你直接把示例中的x替换为未声明的bbb，代码会直接编译失败，编译器会抛出bbb未声明的错误，根本无法生成可执行程序，自然谈不上运行正确。

自定义依赖占位符的合法写法 #

如果你需要不关联业务逻辑的依赖标记，可以主动声明一个无实际业务用途的dummy变量，专门用来做依赖标识，示例如下：

#include <iostream>

int main()
{
    int x = 100;
    char dummy; // 专门用于依赖标记的dummy变量，不需要参与实际计算
    #pragma omp parallel
    {
        #pragma omp single
        {
            #pragma omp task depend (in: dummy)
            { x += 1; }

            #pragma omp task depend (out: dummy)
            { x *= 2; }            
        }
    }
    
}

这种写法完全合法，运行时两个任务的依赖顺序和原示例完全一致，依赖关系通过dummy变量的地址来标识。 #

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