OpenMP标准中：masked区域是否必须置于显式parallel区域内？

核心问题 #

我们的代码中存在无外层显式parallel区域的masked指令结构：

!$omp masked
...
!$omp end masked

该代码在GNU、Intel等编译器下长期正常运行，但使用NAG编译器时必须包裹在显式parallel区域中才能编译运行。从OpenMP标准角度，需要明确哪种写法合规。

OpenMP标准的相关定义 #

1. 隐式并行区域（Implicit Parallel Region）
   OpenMP标准规定，整个程序从启动开始就处于一个隐式并行区域中，该区域默认仅包含1个线程（主线程），构成一个合法的线程团队（current team）。

2. masked指令的绑定规则
   根据标准内容：

The binding thread set for a masked region is the current team. A masked region binds to the innermost enclosing parallel region.

这里的"最内层并行区域"包括隐式并行区域——当没有显式parallel区域时，隐式并行区就是最内层的绑定对象。因此，从标准层面，无显式parallel区的masked指令是完全合规的，它会绑定到隐式并行区的单线程团队，仅由主线程执行块内代码。

编译器行为差异的原因 #

• GNU、Intel、Flang等编译器正确实现了标准，将隐式并行区视为masked指令的合法绑定对象，因此无需显式parallel区即可正常处理。
• NAG编译器的处理存在偏差，它没有将隐式并行区纳入masked指令的绑定范围，仅认可显式parallel区域，这属于不符合标准的编译器实现问题（即你提到的潜在bug）。

复现代码的合规性 #

你提供的复现代码：

program omp_masked_reproducer
   implicit none

   call initialize_something()
   print *, 'Done.'

contains

   subroutine initialize_something()
      integer :: x

      x = 0
      !$omp masked
      x = 42
      !$omp end masked

      print *, 'x =', x

   end subroutine initialize_something

end program omp_masked_reproducer

完全符合OpenMP标准。代码运行时，masked指令绑定到程序默认的隐式并行区，仅主线程执行x=42，最终输出x = 42，这也符合实际运行结果。

临时规避方案 #

在调用initialize_something()前添加空的显式parallel区域：

!$omp parallel
!$omp end parallel

这会创建一个显式的单线程团队，让NAG编译器能识别到合法的绑定对象，从而正常处理后续的masked指令。但这只是针对NAG编译器的临时workaround，并非标准要求的写法。

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