不同CPU线程间队列同步方法咨询及Skia-Vulkan线程迁移故障排查

一、信号量跨线程同步的核心逻辑 #

信号量本身就是为跨线程/跨队列同步设计的，不存在“等待前提交就违背多线程意义”的问题，关键是理清信号量的生命周期和提交顺序：

• 信号量的等待操作和信号操作可在不同线程执行，但必须保证：当队列开始等待信号量时，对应的信号操作要么已提交，要么后续一定会被提交。
• 你觉得矛盾的点，本质是没理解“队列提交的异步性”——队列提交是异步的，等待信号量的队列提交只是把等待逻辑放到GPU队列排队，此时CPU线程可继续执行信号量的触发操作，GPU会自行等待信号量就绪后再执行后续任务。

二、针对Skia+Vulkan场景的错误排查与解决 #

你遇到的VkQueue is waiting on semaphore that has no way to be signaled错误，核心原因是UI线程提交Skia绘制任务（等待scene complete semaphore）时，生成该信号量的场景渲染线程还未将信号操作提交到队列，甚至信号量的创建/触发逻辑存在问题。以下是具体修复步骤：

1. 确保信号量的跨线程可见性与生命周期 #

• 使用VkSemaphore同步时，必须保证：
  • 信号量对象本身是线程安全的（Vulkan规范明确VkSemaphore的操作线程安全，只要不重复销毁）
  • UI线程提交Skia任务前，信号量已正确创建，且不会被提前销毁
• 避免场景线程尚未创建信号量时，UI线程就将其传入Skia的队列等待操作。

2. 严格控制同步时序 #

跨线程版本的正确流程应为：

• 场景线程：
  1. 完成场景渲染，提交渲染任务到GPU队列时，指定scene complete semaphore作为任务完成后的触发信号量
  2. 提交渲染任务后，通过线程同步机制（如条件变量、原子变量）通知UI线程：scene complete semaphore的触发操作已提交
• UI线程：
  1. 等待场景线程的通知，确认scene complete semaphore的触发逻辑已就绪
  2. 调用Skia接口，传入scene complete semaphore作为等待信号量，同时指定present ready semaphore为绘制完成后的触发信号量
  3. 提交Skia绘制任务到VkQueue

3. 检查Skia接口的信号量传递正确性 #

Skia的Vulkan后端中，使用自带VkQueue时需注意：

• 传递给Skia的等待信号量，必须是场景线程绑定到渲染任务的那个有效信号量，而非空对象或未初始化的信号量
• 如果Skia要求指定信号量的同步阶段（如VK_PIPELINE_STAGE_COLOR_ATTACHMENT_OUTPUT_BIT），需与场景渲染任务的触发阶段匹配，否则GPU会出现同步错误

4. 排查信号量的创建类型 #

• 确保scene complete semaphore是用VK_SEMAPHORE_TYPE_BINARY创建的（适合这种一次性任务同步场景）
• 不要混淆用于CPU同步的VkFence和GPU同步的VkSemaphore，Skia此处需要的是GPU同步信号量

三、额外注意事项 #

• 跨线程提交VkQueue操作时，需保证VkQueue本身线程安全（Vulkan规范中VkQueue的提交操作线程安全，但部分驱动可能有特殊限制，尽量避免多线程同时提交到同一VkQueue）
• 可借助Vulkan Validation Layer的详细日志，查看信号量的创建、触发、等待时序，定位是信号量未被触发还是提交顺序错误

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