Fortran Coarray的sync all指令未按预期执行问题咨询

你的代码如下：

do i = 1, 100
    print*, this_image(), i
    sync all
    if (this_image() .eq. 1) print*
    sync all
end do

你预期所有image先同步打印自身索引和迭代值i，等全部完成后由image 1打印空行，再共同进入下一次循环，但实际输出却混乱无序，甚至误以为部分image提前跳过了屏障。

核心结论：sync all确实是全局屏障 #

sync all的作用就是强制所有image必须到达这个语句点后，才能继续执行后续代码——没有任何image能提前越过这个屏障进入下一次循环，你的代码逻辑本身的同步性是没问题的。

输出混乱的真实原因 #

输出无序和sync all无关，问题出在终端打印的异步特性：

• 每个image的print操作是向各自的输出缓冲区写入数据，而缓冲区的刷新时机由操作系统或编译器控制，不一定是实时的。
• 即使所有image的print*, this_image(), i语句已经按同步逻辑执行完毕，各个image的输出内容到达终端的顺序可能被IO调度打乱，比如image 3的输出可能比image 1的先显示在屏幕上，但这并不代表image 3提前执行了代码。

验证方法 #

如果要确认同步逻辑是否生效，可以：

• 让每个image将输出写入独立的文件，比如：

  open(unit=10+this_image(), file='output_'//trim(str(this_image()))//'.txt')
  do i = 1, 100
      write(10+this_image(),*) this_image(), i
      sync all
      if (this_image() .eq. 1) write(*,*)  ! 空行仍打在终端
      sync all
  end do
  close(10+this_image())
  

  查看每个文件的内容，会发现每个image的输出都是按i的顺序严格递增的，证明循环是同步的。
• 或者在print后强制刷新输出缓冲区：

  print*, this_image(), i
  flush(output_unit)
  sync all
  

  这样能让每个print的内容立即输出到终端，虽然不同image的输出顺序仍可能有差异，但能看到同一i的所有输出都会在空行之前出现，不会和下一个i的输出混在一起。

关于移除sync all后的差异 #

移除sync all后，各个image的循环完全独立执行，没有任何同步约束，所以输出会彻底混乱，甚至不同i的输出完全交织，这恰恰反证了sync all原本在起到全局屏障的作用。

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