计算流水线

计算流水线：区分静态管线、动态状态与dynamic rendering兼容条件；按扩展依赖与设备feature启用计算、光追、mesh等高级路径，以章专属交互与可重放证据独立重写。

学习目标

  • 能说明“计算流水线”中的区分静态管线、动态状态与dynamic rendering兼容条件；按扩展依赖与设备feature启用计算、光追、mesh等高级路径，并给出对应对象、状态或概率边界
  • 能用正常基线与“漏设已声明动态的viewport/scissor，或pipeline附件格式与begin rendering不符；只检查扩展名便创建管线，或没有为不支持设备准备可验证fallback”反例定位pipeline create info、动态状态、附件格式、命令顺序和VUID、扩展依赖、features链、limits、shader capability、管线结果和回退路径中的首个差异
  • 能操作三个章专属实验，让graphics pipeline、pipeline state、dynamic state、dynamic rendering、vkcmdbeginrendering、pipeline cache、compute shader、ray tracing、mesh shader、descriptor indexing、variable rate shading、extension具备解释、视觉和练习证据
  • 能修改最小实现、固定输入重放，并判断“计算流水线的输入、状态、输出与恢复结果可用同一证据包重放”是否恢复

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

“计算流水线”先固定一个问题：如何证明区分静态管线、动态状态与dynamic rendering兼容条件；按扩展依赖与设备feature启用计算、光追、mesh等高级路径？先写下预期对象、状态或像素，再运行正常基线；若pipeline create info、动态状态、附件格式、命令顺序和VUID、扩展依赖、features链、limits、shader capability、管线结果和回退路径不能指出第一个分叉，最终画面看起来正确也不能通过。

本页不变量是：计算流水线的输入、状态、输出与恢复结果可用同一证据包重放。故障模式“漏设已声明动态的viewport/scissor，或pipeline附件格式与begin rendering不符；只检查扩展名便创建管线，或没有为不支持设备准备可验证fallback”每次只改变一个条件，正常、故障、恢复三次运行必须共享输入与版本。

来源、版本与课程边界

“计算流水线”以Khronos Vulkan Guide latest这套持续更新的官方完整指南为主，并由Vulkan规范和官方Samples核对VUID、对象合同与可运行路径。课程的16页是教学聚合，不宣称它们是官方固定章节。

六个检查词

在“计算流水线”的六词核对中，、、、、、。术语只有进入公式、交互状态、代码和可重放输出，才算真正覆盖。

正式单元与机制解释

Graphics Pipeline, Dynamic State, and Dynamic Rendering

在“计算流水线”的“Graphics Pipeline, Dynamic State, and Dynamic Rendering”检查中，graphics pipeline把shader、顶点输入、光栅化和逐片元状态组合为可绑定对象；明确声明的dynamic state在录制时设置。在“计算流水线”的“Graphics Pipeline, Dynamic State, and Dynamic Rendering”检查中，dynamic rendering省去预建render pass对象，但pipeline rendering info与实际附件格式仍必须兼容。

在“计算流水线”本页，正式坐标是graphics pipeline、pipeline state、dynamic state、dynamic rendering、vkcmdbeginrendering、pipeline cache。在“计算流水线”的反例核对中，反事实为“漏设已声明动态的viewport/scissor，或pipeline附件格式与begin rendering不符”；应从pipeline create info、动态状态、附件格式、命令顺序和VUID找到第一个分叉。

Draw=Pipelinestatic+Statedynamic+AttachmentsDraw=Pipeline_{static}+State_{dynamic}+Attachments

Extensions and Advanced Compute, Ray Tracing, Mesh, Descriptor, and Shading Features

在“计算流水线”的“Extensions and Advanced Compute, Ray Tracing, Mesh, Descriptor, and Shading Features”检查中，compute、ray tracing、mesh shader、descriptor indexing与VRS都有各自feature、extension、limit和shader capability。在“计算流水线”的“Extensions and Advanced Compute, Ray Tracing, Mesh, Descriptor, and Shading Features”检查中，能力存在不等于默认启用；应用还要准备同步、资源布局与回退实现。

在“计算流水线”本页，正式坐标是compute shader、ray tracing、mesh shader、descriptor indexing、variable rate shading、extension。在“计算流水线”的反例核对中，反事实为“只检查扩展名便创建管线，或没有为不支持设备准备可验证fallback”；应从扩展依赖、features链、limits、shader capability、管线结果和回退路径找到第一个分叉。

AdvancedPath=Extension∧Feature∧Limits∧ShaderAdvancedPath=Extension\land Feature\land Limits\land Shader

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

分步1 / 3

1. 对象与执行路径

选择任一正式坐标，沿真实对象、状态、队列或像素路径查看因果关系。

Vulkan 提交与执行时间线

计算流水线

把“区分静态管线、动态状态与dynamic rendering兼容条件；按扩展依赖与设备feature启用计算、光追、mesh等高级路径”放到host、command buffer、queue与resource时间线上。

正式坐标

Hostt0Record当前事件Submitt2Executet3Signalt4graphics / graphics pipeline

Graphics Pipeline, Dynamic State, and Dynamic Rendering

graphics pipeline把shader、顶点输入、光栅化和逐片元状态组合为可绑定对象；明确声明的dynamic state在录制时设置。dynamic rendering省去预建render pass对象，但pipeline rendering info与实际附件格式仍必须兼容。

提交合同

Draw=Pipeline_{static}+State_{dynamic}+Attachments ; AdvancedPath=Extension\land Feature\land Limits\land Shader

探针：pipeline create info、动态状态、附件格式、命令顺序和VUID

事实边界：Khronos Vulkan Guide。时间线与hazard矩阵必须由规范、VUID和同输入重放共同验证。

最小可重现实验

vkCmdBindPipeline(cmd, VK_PIPELINE_BIND_POINT_COMPUTE, computePipeline);
vkCmdBindDescriptorSets(cmd, VK_PIPELINE_BIND_POINT_COMPUTE, layout, 0, 1, &set, 0, nullptr);
vkCmdDispatch(cmd, groupsX, groupsY, 1);
barrierComputeWriteToGraphicsRead(cmd, output);

运行“计算流水线”时记录API/规范版本、设备或浏览器能力、固定输入、关键中间状态与输出摘要。不得用一次漂亮截图替代对象合同、验证消息、时间戳或像素差异。

练习与答案

练习

问题 1：公式边界。 在“计算流水线”中，如何用一个可手算样本验证 Draw=Pipelinestatic+Statedynamic+AttachmentsDraw=Pipeline_{static}+State_{dynamic}+Attachments，并标明每个量属于哪一对象、stage、空间或时间点？

问题 2：正式坐标。 在“计算流水线”中，graphics pipeline、pipeline state、dynamic state、dynamic rendering、vkcmdbeginrendering、pipeline cache、compute shader、ray tracing、mesh shader、descriptor indexing、variable rate shading、extension如何进入可操作验证？

问题 3：恢复证据。 怎样证明“漏设已声明动态的viewport/scissor，或pipeline附件格式与begin rendering不符；只检查扩展名便创建管线，或没有为不支持设备准备可验证fallback”已真正修复？

本章回顾

掌握“计算流水线”意味着能把“区分静态管线、动态状态与dynamic rendering兼容条件；按扩展依赖与设备feature启用计算、光追、mesh等高级路径”落到具体对象、状态与输出，能制造“漏设已声明动态的viewport/scissor，或pipeline附件格式与begin rendering不符；只检查扩展名便创建管线，或没有为不支持设备准备可验证fallback”，还能凭pipeline create info、动态状态、附件格式、命令顺序和VUID、扩展依赖、features链、limits、shader capability、管线结果和回退路径恢复同输入结果。

名词解释

本章出现的专业名词，用大白话再讲一遍。

graphics pipeline

graphics pipeline在“计算流水线”的“Graphics Pipeline, Dynamic State, and Dynamic Rendering”检查中用于区分静态管线、动态状态与dynamic rendering兼容条件；应由pipeline create info、动态状态、附件格式、命令顺序和VUID确认。

pipeline state

pipeline state在“计算流水线”的“Graphics Pipeline, Dynamic State, and Dynamic Rendering”检查中用于区分静态管线、动态状态与dynamic rendering兼容条件；应由pipeline create info、动态状态、附件格式、命令顺序和VUID确认。

dynamic state

dynamic state在“计算流水线”的“Graphics Pipeline, Dynamic State, and Dynamic Rendering”检查中用于区分静态管线、动态状态与dynamic rendering兼容条件；应由pipeline create info、动态状态、附件格式、命令顺序和VUID确认。

dynamic rendering

dynamic rendering在“计算流水线”的“Graphics Pipeline, Dynamic State, and Dynamic Rendering”检查中用于区分静态管线、动态状态与dynamic rendering兼容条件；应由pipeline create info、动态状态、附件格式、命令顺序和VUID确认。

vkcmdbeginrendering

vkcmdbeginrendering在“计算流水线”的“Graphics Pipeline, Dynamic State, and Dynamic Rendering”检查中用于区分静态管线、动态状态与dynamic rendering兼容条件；应由pipeline create info、动态状态、附件格式、命令顺序和VUID确认。

pipeline cache

pipeline cache在“计算流水线”的“Graphics Pipeline, Dynamic State, and Dynamic Rendering”检查中用于区分静态管线、动态状态与dynamic rendering兼容条件；应由pipeline create info、动态状态、附件格式、命令顺序和VUID确认。

阅读导航

← 同步原语：栅栏、信号量与事件 · 多线程Vulkan应用程序 →

资料与写作方式声明

本章以Khronos Vulkan Guide的权威目录界定学习范围，并结合正文列出的技术资料独立重写；不宣称复现原书正文，也不沿用原作表述。

原作版权归作者与出版社所有；本站原创教学结构与表述仅供学习交流。

讨论

评论区加载中…