如何在Vulkan中实现GPU共享资源的随机访问同步（类互斥锁机制）

关于当前方案的合规性 #

你当前将同一个二进制信号量同时作为等待和信号量的写法不符合Vulkan规范，属于未定义行为。Vulkan明确规定：同一提交的waitSemaphores和signalSemaphores列表中，不能包含同一个二进制信号量——二进制信号量的状态是原子性的，同一提交内的等待与信号操作会产生逻辑冲突，虽然部分驱动可能暂时兼容，但跨设备/驱动环境下必然会出现同步错误或崩溃。

更优的GPU侧同步方案 #

以下两种方案均无需CPU侧fence，完全在GPU内部完成同步，避免卡顿，同时适配Calculate和Draw的随机调用顺序：

方案1：双二进制信号量实现互斥锁 #

使用两个二进制信号量calcSem和drawSem，通过状态切换强制同一时间只有一个操作能访问共享GPU数据：

• 初始状态：calcSem设为信号态，drawSem设为未信号态（允许首次Calculate执行）
• Calculate提交逻辑：等待calcSem→执行计算→信号drawSem
• Draw提交逻辑：等待drawSem→执行绘制→信号calcSem

代码示例：

// Calculate提交
vk::SubmitInfo calcSubmit;
calcSubmit.setWaitDstStageMask(vk::PipelineStageFlagBits::eComputeShader)
          .setWaitSemaphores(calcSem)
          .setSignalSemaphores(drawSem)
          .setCommandBuffers(calcCmdBuf);
queue.submit(calcSubmit, nullptr);

// Draw提交
vk::SubmitInfo drawSubmit;
drawSubmit.setWaitDstStageMask(vk::PipelineStageFlagBits::eFragmentShader)
         .setWaitSemaphores(drawSem)
         .setSignalSemaphores(calcSem)
         .setCommandBuffers(drawCmdBuf);
queue.submit(drawSubmit, nullptr);

该方案实现简单，性能开销极低，完美适配随机调用场景，是此类互斥访问场景的首选。

方案2：GPU可见事件实现细粒度同步 #

如果需要更灵活的同步控制（比如允许部分计算与绘制阶段重叠，仅在访问共享数据时互斥），可以使用GPU可见事件（VkEvent）：

1. 创建事件时指定vk::EventCreateFlagBits::eDeviceOnly，确保仅GPU操作事件，不涉及CPU
2. 在命令缓冲开头：等待事件处于未信号态→标记事件为信号态（锁定资源）
3. 在命令缓冲结尾：重置事件（释放资源）

代码示例（命令缓冲内部逻辑）：

// Calculate命令缓冲
vkCmdWaitEvents(cmdBuf, 1, &fractalEvent, 
                vk::PipelineStageFlagBits::eComputeShader,
                vk::PipelineStageFlagBits::eComputeShader,
                0, nullptr, 0, nullptr, 0, nullptr);
vkCmdSetEvent(cmdBuf, fractalEvent, vk::PipelineStageFlagBits::eComputeShader);

// ... 分形计算命令 ...

vkCmdResetEvent(cmdBuf, fractalEvent, vk::PipelineStageFlagBits::eComputeShader);

// Draw命令缓冲
vkCmdWaitEvents(cmdBuf, 1, &fractalEvent, 
                vk::PipelineStageFlagBits::eFragmentShader,
                vk::PipelineStageFlagBits::eFragmentShader,
                0, nullptr, 0, nullptr, 0, nullptr);
vkCmdSetEvent(cmdBuf, fractalEvent, vk::PipelineStageFlagBits::eFragmentShader);

// ... 绘制命令 ...

vkCmdResetEvent(cmdBuf, fractalEvent, vk::PipelineStageFlagBits::eFragmentShader);

该方案可以精确控制同步的管线阶段，减少不必要的等待，适合复杂场景下的细粒度同步。

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