Vulkan多提交等待获取图像的同步问题与未定义行为排查

问题1：是否可将vkQueuePresentKHR视为队列内命令并应用同步规则？ #

不能。vkQueuePresentKHR是独立于队列命令提交流程的操作，不属于队列中的命令缓冲执行序列。它和队列提交之间的同步依赖完全通过信号量实现，不能直接套用队列内命令的同步规则（比如管线屏障、事件这类队列内同步手段）。

问题2：上述代码是否需额外同步以避免未定义行为？ #

这段代码必须添加额外同步，否则会触发未定义行为，核心问题是信号量的重复使用违反了Vulkan规范：

Vulkan明确要求，当将信号量用于等待或触发操作时，该信号量必须处于未触发状态且无挂起的依赖操作。但原代码中两个信号量imageAvailable和renderingFinished在循环中被重复复用：

• 下一次循环调用acquireNextImage时，上一次的queue.submit可能还在等待imageAvailable触发，此时该信号量仍有挂起的依赖操作，直接复用会违反规范。
• 同理，renderingFinished在上一次presentKHR未完成等待时，下一次queue.submit又将它作为触发信号量，同样会导致未定义行为。

正确修复思路 #

需要采用多帧缓冲的信号量方案，比如创建与交换链图像数量一致的信号量组，每次循环使用对应帧索引的信号量，确保每个信号量在被再次使用前，上一次依赖它的所有操作（提交、呈现）已经完成，信号量回到合规状态。示例代码思路如下：

// 假设交换链有imageCount个图像
std::vector<vk::raii::Semaphore> imageAvailableSemaphores(imageCount);
std::vector<vk::raii::Semaphore> renderingFinishedSemaphores(imageCount);
for (size_t i = 0; i < imageCount; ++i) {
    imageAvailableSemaphores[i] = device.createSemaphore(...);
    renderingFinishedSemaphores[i] = device.createSemaphore(...);
}

size_t currentFrame = 0;
while (shouldRun) {
    auto [result, imageIndex] = swapchain.acquireNextImage(UINT64_MAX, *imageAvailableSemaphores[currentFrame], {});
    queue.submit(
        vk::SubmitInfo(*imageAvailableSemaphores[currentFrame], waitDstStage, *commandBuffers[imageIndex], 
    *renderingFinishedSemaphores[currentFrame]), {});
    queue.presentKHR(vk::PresentInfoKHR(*renderingFinishedSemaphores[currentFrame], *swapchain, imageIndex));
    
    currentFrame = (currentFrame + 1) % imageCount;
}

这种方式通过循环交替使用不同的信号量，保证每个信号量在被再次调用前，上一帧的所有相关操作已经完成，完全符合Vulkan的信号量使用规范。

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