同步原语：栅栏、信号量与事件

从一个可推翻的运行假设开始

“同步原语：栅栏、信号量与事件”先固定一个问题：如何证明用execution dependency与memory dependency修复真实资源hazard？先写下预期对象、状态或像素，再运行正常基线；若资源、生产者stage/access、消费者stage/access、layout、队列和信号值不能指出第一个分叉，最终画面看起来正确也不能通过。

本页不变量是：同步原语：栅栏、信号量与事件的输入、状态、输出与恢复结果可用同一证据包重放。故障模式“只使用TOP/BOTTOM泛化stage，或等待semaphore却遗漏图像layout与访问屏障”每次只改变一个条件，正常、故障、恢复三次运行必须共享输入与版本。

来源、版本与课程边界

“同步原语：栅栏、信号量与事件”以Khronos Vulkan Guide latest这套持续更新的官方完整指南为主，并由Vulkan规范和官方Samples核对VUID、对象合同与可运行路径。课程的16页是教学聚合，不宣称它们是官方固定章节。

六个检查词

在“同步原语：栅栏、信号量与事件”的六词核对中，synchronization2、pipeline barrier、memory dependency、timeline semaphore、binary semaphore、fence。术语只有进入公式、交互状态、代码和可重放输出，才算真正覆盖。

正式单元与机制解释

Synchronization2, Barriers, Binary and Timeline Semaphores, and Fences

在“同步原语：栅栏、信号量与事件”的“Synchronization2, Barriers, Binary and Timeline Semaphores, and Fences”检查中，barrier同时描述源/目标stage与源/目标access，只有覆盖生产者写入和消费者访问才建立正确可见性。在“同步原语：栅栏、信号量与事件”的“Synchronization2, Barriers, Binary and Timeline Semaphores, and Fences”检查中，binary/timeline semaphore协调提交，fence让host观察完成；它们不能替代资源layout和access范围。

在“同步原语：栅栏、信号量与事件”本页，正式坐标是synchronization2、pipeline barrier、memory dependency、timeline semaphore、binary semaphore、fence。在“同步原语：栅栏、信号量与事件”的反例核对中，反事实为“只使用TOP/BOTTOM泛化stage，或等待semaphore却遗漏图像layout与访问屏障”；应从资源、生产者stage/access、消费者stage/access、layout、队列和信号值找到第一个分叉。

先预测，再操作三个章专属实验

最小可重现实验

VkImageMemoryBarrier2 barrier = imageBarrier(
  COLOR_ATTACHMENT_OUTPUT, COLOR_ATTACHMENT_WRITE,
  FRAGMENT_SHADER, SHADER_SAMPLED_READ,
  COLOR_ATTACHMENT_OPTIMAL, SHADER_READ_ONLY_OPTIMAL);
vkCmdPipelineBarrier2(cmd, &dependencyInfo(barrier));

运行“同步原语：栅栏、信号量与事件”时记录API/规范版本、设备或浏览器能力、固定输入、关键中间状态与输出摘要。不得用一次漂亮截图替代对象合同、验证消息、时间戳或像素差异。

练习与答案

本章回顾

掌握“同步原语：栅栏、信号量与事件”意味着能把“用execution dependency与memory dependency修复真实资源hazard”落到具体对象、状态与输出，能制造“只使用TOP/BOTTOM泛化stage，或等待semaphore却遗漏图像layout与访问屏障”，还能凭资源、生产者stage/access、消费者stage/access、layout、队列和信号值恢复同输入结果。

阅读导航

← 描述符集与资源绑定 · 计算流水线 →