Vulkan帧同步跨平台兼容问题排查及正确实现方案问询

现有实现的核心错误 #

• 混淆了飞行帧索引和Swapchain图像索引两个完全独立的概念，直接将AcquireNextImage返回的frameIndex作为飞行帧资源（InFlightFences、命令缓冲）的索引，属于典型的未定义行为：
  • 不同平台的Swapchain返回的图像数量并不固定，Linux驱动返回的Swapchain图像数量通常大于你设置的最大并行飞行帧数，直接用frameIndex索引会导致数组越界访问，内存错乱后就会出现卡顿、系统冻结、vkDeviceWaitIdle死锁等异常
  • Windows平台驱动默认返回的Swapchain图像数量刚好和你设置的飞行帧数一致，因此刚好没有触发越界问题，属于巧合能运行，不代表逻辑正确
• 同步时序错误：AcquireNextImage拿到图像后，应该等待的是对应飞行帧之前的提交完成，而不是等待当前Swapchain图像对应的fence，两者没有绑定关系。

跨平台兼容的正确帧同步逻辑 #

核心原则是：飞行帧资源和Swapchain图像完全解耦，按最大并行飞行帧数预分配独立的同步资源。

1. 预先定义最大并行飞行帧数（通常设为2~3即可平衡延迟和吞吐量），为每个飞行帧预分配独立的InFlightFence、PresentationCompleteSemaphore、RenderCompleteSemaphore，按飞行帧索引管理，和Swapchain图像无关。
2. 渲染循环实现示例：

// 类成员变量预先定义
const uint32_t MAX_FRAMES_IN_FLIGHT = 2;
uint32_t currentFlightFrame = 0; // 当前处理的飞行帧索引
// 按MAX_FRAMES_IN_FLIGHT预分配的同步资源
std::vector<std::unique_ptr<Fence>> InFlightFences;
std::vector<std::unique_ptr<Semaphore>> PresentationCompleteSemaphores;
std::vector<std::unique_ptr<Semaphore>> RenderCompleteSemaphores;
// 可选防护：记录每个Swapchain图像当前绑定的飞行帧fence，避免图像被同时提交
std::vector<Fence*> ImageBoundFences;

void RenderSystem::OnUpdate(const float deltaTime)
{
    // 第一步：等待当前飞行帧的上一次提交完成，而不是等Swapchain图像的fence
    InFlightFences[currentFlightFrame]->Wait();
    InFlightFences[currentFlightFrame]->Reset();

    // 第二步：获取可用的Swapchain图像索引
    uint32_t imageIndex;
    auto result = SwapChain->AcquireNextImageIndex(
        PresentationCompleteSemaphores[currentFlightFrame].get(),
        nullptr,
        &imageIndex
    );

    if (result == VK_ERROR_OUT_OF_DATE_KHR) {
        Recreate();
        return;
    } else if (result != VK_SUCCESS && result != VK_SUBOPTIMAL_KHR) {
        throw std::runtime_error("Error when acquiring next image...");
    }

    // 可选防护：如果当前Swapchain图像还绑定了之前的飞行帧提交，等它完成
    if (ImageBoundFences[imageIndex] != nullptr) {
        ImageBoundFences[imageIndex]->Wait();
    }
    ImageBoundFences[imageIndex] = InFlightFences[currentFlightFrame].get();

    UpdateModelMatrix(deltaTime, imageIndex);

    // 第三步：提交当前飞行帧的渲染任务
    VkPipelineStageFlags waitStages[] = { VK_PIPELINE_STAGE_COLOR_ATTACHMENT_OUTPUT_BIT };
    GraphicsMainQueue.Submit(
        { TriangleCommandBuffers[imageIndex].get() },
        { PresentationCompleteSemaphores[currentFlightFrame].get() },
        { RenderCompleteSemaphores[currentFlightFrame].get() },
        InFlightFences[currentFlightFrame].get(),
        waitStages
    );

    // 第四步：提交呈现
    result = PresentationQueue.Present(
        { RenderCompleteSemaphores[currentFlightFrame].get() },
        { SwapChain.get() },
        &imageIndex
    );

    if (result == VK_ERROR_OUT_OF_DATE_KHR || result == VK_SUBOPTIMAL_KHR || MainWindow->HasBeenResized()) {
        Recreate();
        // 重建Swapchain后要重置ImageBoundFences数组
        ImageBoundFences.resize(SwapChain->GetImageCount(), nullptr);
    } else if (result != VK_SUCCESS) {
        throw std::runtime_error("Failed to present result!");
    }

    // 第五步：循环切换到下一个飞行帧
    currentFlightFrame = (currentFlightFrame + 1) % MAX_FRAMES_IN_FLIGHT;
}

补充说明 #

• 该逻辑下你依然可以并行准备下一帧资源：只要当前飞行帧数量没超过MAX_FRAMES_IN_FLIGHT限制，CPU就可以提前处理下一帧的资源更新，不需要等当前帧渲染完成，你之前修改的把fence放最后的方案确实是强制CPU等GPU完成一帧才能处理下一帧，会降低并行度，用上述解耦方案可以避免这个问题。
• Swapchain重建的时候要同步更新ImageBoundFences数组的长度，和新的Swapchain图像数量匹配。
• 关闭窗口前不需要额外处理，直接调用vkDeviceWaitIdle会等待所有飞行帧的提交完成，不会出现死锁。

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