当srcStageMask指定不在命令管道中的阶段时会发生什么？

如何解决当srcStageMask指定不在命令管道中的阶段时会发生什么？

我的理解是，当您提交vkCmdPipelineBarrier命令时，在允许目标同步范围中的任何命令开始其管道的dstStage之前，源同步范围中的所有命令必须到达srcStage。

但是，如果srcStageMask指定了源同步范围中的命令不包含的阶段，该怎么办？例如，如果命令是vkCmdDispatch且srcStageMask = VK_PIPELINE_STAGE_FRAGMENT_SHADER_BIT。

规范似乎可以回答这个问题：

如果同步命令包含源阶段掩码，则仅其第一个同步范围 包括执行该掩码中指定的管道阶段

因此，我希望该命令的任何阶段（上一个示例中为vkCmdDispatch）执行的任何操作都不会包含在同步范围内。但是在yet another blog explaining Vulkan synchronization中，作者说这产生了一个执行依赖链：

   1. vkCmdDispatch
   2. vkCmdDispatch
   3. vkCmdPipelineBarrier(srcStageMask = COMPUTE,dstStageMask = TRANSFER)
   4. vkCmdPipelineBarrier(srcStageMask = TRANSFER,dstStageMask = COMPUTE)
   5. vkCmdDispatch
   6. vkCmdDispatch

在此示例中，我们实际上得到了{1，2}与{5，6}之间的依赖关系。这是因为我们在COMPUTE-> TRANSFER-> COMPUTE之间创建了一系列依赖关系。当我们在4中等待TRANSFER时，我们还必须等待当前阻止TRANSFER的任何事件。

但是规范说

执行依赖关系链是一系列执行依赖关系，形成之前发生的事情 第一个依赖项的A'和最终依赖项的B'之间的关系。对于每个连续对 在执行依赖关系中，如果第一个依赖关系中的B _S 和第二个依赖关系中的A _S 的交集不是空集，则存在一条链。

在博客文章的示例中，因为vkCmdDispatch不包含转移阶段，所以第一个管道障碍的B _S 是否不是空集？那么B _S 和A _S 的交集将为空集，并且不存在依赖链。

但是显然确实存在，所以这使我相信我对srcStageMask或dstStageMask指定不在命令管道中的阶段时所发生的事情有不正确的理解。那会发生什么？

编辑：

根据尼科尔的答案：

它正在专门讨论所涉及的阶段。 B _s 列出了TRANSFER。 _s 包含TRANSFER。两个阶段蒙版的交集为TRANSFER，因此不为空。因此，有一个依赖链。

因此，A _S = {TRANSFER}联合{在逻辑上早于TRANSFER阶段}

和B _S = {TRANSFER}联合{在逻辑上晚于TRANSFER}？

如果是这种情况，我的困惑将得到解决。但是...（根据Nicol的回答）

规范没有说明要执行什么命令。

这似乎与我对规范的解释相矛盾。 6.6章说：

如果vkCmdPipelineBarrier记录在渲染过程实例外部，则第二个同步作用域将包括以后按提交顺序出现的所有命令。

B _S 是规范为第二个同步范围指定的另一个名称。因此，B _S 包含命令，而不是管道阶段吗？那么转移阶段如何在B _S 中？

我并不是要书呆子，我确实是在尝试学习如何解释规范并自己得出结论，以使我不再依赖stackoverflow。

解决方法

规范states：

由于命令而执行的管道阶段按逻辑顺序以特定顺序完成执行，因此在逻辑上较早的阶段完成之前，逻辑上较晚的管道阶段一定不能完成。这意味着在特定同步命令的源阶段掩码中包括任何阶段也意味着该命令的A _S 中包括任何逻辑上较早的阶段。

其余的：

在博客文章的示例中，因为vkCmdDispatch不包含转移阶段，所以第一个管道屏障的B _S 不会是空集吗？

不。规范什么也没说。它正在专门讨论所涉及的阶段。 B _s 列出了TRANSFER。 A _s 包含TRANSFER。两个阶段掩码的交集为TRANSFER，因此不为空。因此，有一个依赖链。

---

似乎您可能不完全理解同步作用域是什么，因为与该范围界定的实际操作是分开的。规范指出：

同步作用域定义同步命令能够执行的其他操作 创建执行依赖。不在同步中的任何类型的操作 命令的同步作用域将不包含在结果依赖项中。例如， 对于许多同步命令，同步范围可以限制为仅操作 在特定的流水线阶段执行，从而可以将其他流水线阶段从 依赖性。其他范围设置选项也是可能的，具体取决于特定命令。

该规范还专门区分了同步范围和该范围可能绑定的命令：

• 让A和B是独立的操作集。
• 让S成为同步命令。
• 让A _S 和B _S 成为S的同步范围。
• 让A'是集合A和A _S 的交集。
• 让B'是集合B和B _S 的交集。

A 和 B 代表作为操作一部分的实际命令。 A _S 和 B _S 代表命令的哪些部分可以参与依赖。将它们放在一起时，会得到 A'和 B'：来自已同步命令的实际命令的实际阶段。

您引用的引用中有关依赖链的部分是基于匹配的作用域而不是那些范围内的匹配的命令的链。