OpenMP 中的 single 和 section 指令之间的区别

Question

据我了解， 我可以使用single 指令做与使用sections 相同的工作，只需添加nowait 标志

与section 指令相比，以下代码对我来说没有什么不同：

    void main(){
    #pragma omp parallel
        {
            int tid = omp_get_thread_num();
    #pragma omp single nowait
            {
                printf("Thread %d in #1 single construct.\n", tid);
            }
    #pragma omp single nowait
            {
                printf("Thread %d in #2 single construct.\n", tid);
            }
    #pragma omp single nowait
            {
                printf("Thread %d in #3 single construct.\n", tid);
            }
        }
    }

谁能给我一些在不同场景中使用sections和single指令的例子？

Answer 1

首先，single 和 sections 指令在读取代码时具有明显不同的语义目的，并且使用一个来模仿另一个可能会产生高度误导。

关于技术细节，single 是唯一支持 copyprivate 子句的工作共享指令，它：

... 提供了一种使用私有变量的机制 从一个隐式任务的数据环境中广播一个值到 属于其他隐含任务的数据环境 平行区域。

另一方面，sections 工作共享结构支持 lastprivate 和 reduction 子句，而 single 不支持。

最后，注意你的 sn-p:

#pragma omp single nowait
        {
            printf("Thread %d in #1 single construct.\n", tid);
        }
#pragma omp single nowait
        {
            printf("Thread %d in #2 single construct.\n", tid);
        }
#pragma omp single nowait
        {
            printf("Thread %d in #3 single construct.\n", tid);
        } // No barrier here

不模仿sections，而是模仿sections nowait。要模仿 sections，您必须记住让最后一个 single 构造保持其隐式屏障。

Answer 2

在某些情况下，single nowait 构造的行为方式可能与 sections 构造相同。然而，OpenMP 规范只要求只有一个线程执行single 构造。它不需要空闲线程承担其他后续构造。对于所有 OpenMP 实现，您不能简单地依赖此行为。大多数人都会按照您的预期行事，但无法保证。

另一件值得一提的是，大多数实现都使用票务系统将single 区域分配给线程。 sections 的常用代码转换是映射到for 工作共享结构，方法是将sections 结构转换为for 循环并为section 结构使用switch 语句。所以，还有更多关于执行的保证。

干杯， -迈克尔