Vulkan中无延迟同步图像缓冲区操作命令的正确方式

场景与疑问 #

我们需要转换两个图像缓冲区的布局，随后将数据从一个缓冲区复制到另一个。要求避免引入Idle或Fence操作造成延迟，希望这些操作能被频繁调用且处于在飞状态。

已知Vulkan不保证命令缓冲区提交的命令有执行顺序，除非显式指定同步规则。现提出两个疑问：

疑问1：是否只能通过双命令缓冲区+Semaphore实现需求？ #

我目前给出的伪代码如下：

Image stagingImage;
Image image;

CommandBuffer cb1;
cb1.TransitionLayout(stagingImage, vk::ImageLayout::eTransferSrcOptimal);
cb1.TransitionLayout(image, vk::ImageLayout::eTransferDstOptimal);

CommandBuffer cb2;
cb2.copyImage(stagingImage.image, stagingImage.imageLayout, image->image, image->imageLayout, __region__);

Queue transferQueue;
vk::Semaphore semaphore;

vk::SubmitInfo submitInfo1({}, {}, cb1, signalSemaphores: { semaphore });
transferQueue.submit(submitInfo1);

// 等待两个布局转换完成后再执行复制
vk::SubmitInfo submitInfo2(waitSemaphores: { semaphore }, waitStages: { VK_PIPELINE_STAGE_TRANSFER_BIT }, cb2, {});
transferQueue.submit(submitInfo2);

补充：其中一个图像是暂存缓冲区，需要同步销毁，计划为复制操作的提交（submitInfo2）创建Fence，每帧检查一次，待操作完成后再销毁暂存缓冲区。

疑问2：同一管线阶段下是否无需内存屏障？ #

我的理解是：若所有命令都在同一个管线阶段（VK_PIPELINE_STAGE_TRANSFER_BIT）执行，且无强制要求，就无需设置任何内存屏障。这个理解是否正确？

解答 #

关于疑问1 #

不需要拆分到两个命令缓冲区，你可以把所有命令放在同一个命令缓冲区内，通过**管线屏障（Pipeline Barrier）**同步布局转换与复制操作，这样无需额外信号量和两次提交，效率更高。

具体实现时，在两次布局转换之后、copyImage命令之前，插入针对两个图像的管线屏障：

• 针对暂存图像（已转为TransferSrc）：设置srcStageMask为VK_PIPELINE_STAGE_TRANSFER_BIT，dstStageMask为VK_PIPELINE_STAGE_TRANSFER_BIT，访问掩码用VK_ACCESS_TRANSFER_READ_BIT；
• 针对目标图像（已转为TransferDst）：设置srcStageMask为VK_PIPELINE_STAGE_TRANSFER_BIT，dstStageMask为VK_PIPELINE_STAGE_TRANSFER_BIT，访问掩码用VK_ACCESS_TRANSFER_WRITE_BIT；

该屏障能确保布局转换完成后才执行复制命令，所有操作在同一个提交中完成，避免了跨提交的同步开销。

当然，如果你出于命令复用等目的确实想拆分命令缓冲区，你提供的信号量方案是可行的，但这并非唯一选项。

关于疑问2 #

这个理解不完全正确，需要分情况讨论：

1. 同一命令缓冲区内的同一阶段命令：Vulkan保证命令按提交顺序执行，但内存操作的可见性依然需要管线屏障来保证。比如布局转换是修改图像布局状态，复制是读写图像数据，这两个操作的内存状态必须通过屏障同步，哪怕它们都在Transfer阶段。
2. 跨命令缓冲区/跨队列的同一阶段操作：即使是同一管线阶段，也必须用信号量或其他同步原语来确保执行顺序和内存可见性，因为Vulkan不保证不同提交的命令有默认顺序。

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