OpenMP使用taskgroup同步带依赖任务时出现段错误问题咨询

问题根因 #

你的代码写法完全符合OpenMP规范要求，出现段错误是主流GCC版本（13及更低）的libgomp运行时实现缺陷导致，不属于你的使用疏漏。

根据OpenMP规范定义，taskgroup确实需要等待当前任务的所有直接子任务，以及子任务生成的所有后代任务全部执行完成才会结束隐式等待，和后代任务是否携带depend属性无关。
你遇到的段错误触发逻辑是：

• 低版本GCC的libgomp对带depend属性的任务的生命周期跟踪存在漏洞，当带依赖的任务是由外层taskgroup的孙任务及更深层次的任务生成时，运行时不会把这些带依赖任务计入外层taskgroup的等待队列
• 此时M0任务生成完所有A、B、C任务后就会直接结束，而这些带依赖的任务还在等待调度执行，它们的depend属性绑定的是level0数组的地址，当外层taskgroup错误地认为所有任务都执行完成，进入后续执行逻辑后，可能出现栈帧回收、level0地址失效的情况，未执行的带依赖任务访问该地址时就会触发段错误
• 你在M0内部新增taskgroup后，M0会主动等待自己生成的所有带依赖任务执行完成再退出，刚好避开了运行时的跟踪漏洞，所以程序可以正常运行。

解决方案 #

你可以任选以下两种方案处理：

• 临时兼容方案：保持你当前的修复逻辑，在所有生成带depend属性子任务的上层任务内部新增一层taskgroup，保证这些带依赖任务执行完成后当前上层任务才退出
• 彻底修复方案：将编译环境的GCC版本升级到14及以上，该版本已经修复了带依赖任务的taskgroup生命周期跟踪缺陷。

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