OpenMP显式barrier是否同步隐式任务？规范与实现疑问

首先纠正对OpenMP 6.0规范的理解偏差：

• 并行区域生成的隐式任务，是绑定到并行区域线程组每个线程的“主任务”，线程会直接执行这个隐式任务的代码流。
• barrier构造的核心要求是：当前并行区域的所有线程必须都到达屏障位置，并且每个线程在到达屏障前，要完成所有在屏障之前发起的显式任务（以及它们的子任务）。这里的“完成显式任务”是附加要求，而非限制barrier只同步显式任务——线程本身（执行隐式任务的线程）必须到达屏障点才能继续执行后续代码。

代码现象的解释 #

你的代码中：

• 线程0执行sleep(1)时，线程1会先走到barrier位置，但此时线程组的另一个线程（线程0）还没抵达屏障点。根据OpenMP规范，barrier会阻塞所有先到达的线程，直到线程组的每一个线程都走到屏障位置。
• 等线程0完成sleep(1)并到达barrier后，所有线程一起通过屏障，执行后续的printf，所以两个线程都会在1秒后打印输出。这完全符合OpenMP规范的要求，并非编译器实现超出规范。

合规的隐式任务同步方法 #

并行区域内的#pragma omp barrier本身就是合规的同步所有执行隐式任务线程的方法：

• 它同步的是整个并行区域的线程组，而每个线程都在执行并行区域的隐式任务，线程必须执行到屏障点才能通过，自然就实现了所有隐式任务线程的同步。
• 不需要依赖编译器特定行为，这是OpenMP标准定义的barrier基本功能之一。

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