多线程Vulkan应用程序
多线程Vulkan应用程序：按线程所有权录制command buffer并构造可复用提交，以章专属交互与可重放证据独立重写。
学习目标
- 能说明“多线程Vulkan应用程序”中的按线程所有权录制command buffer并构造可复用提交，并给出对应对象、状态或概率边界
- 能用正常基线与“多个线程并发重置同一command pool，或执行仍处pending状态的buffer”反例定位pool线程归属、buffer状态、submit批次、等待/信号值和fence中的首个差异
- 能操作三个章专属实验，让command pool、command buffer、record、vkqueuesubmit、secondary command buffer、thread具备解释、视觉和练习证据
- 能修改最小实现、固定输入重放，并判断“多线程Vulkan应用程序的输入、状态、输出与恢复结果可用同一证据包重放”是否恢复
从一个可推翻的运行假设开始
“多线程Vulkan应用程序”先固定一个问题：如何证明按线程所有权录制command buffer并构造可复用提交？先写下预期对象、状态或像素，再运行正常基线；若pool线程归属、buffer状态、submit批次、等待/信号值和fence不能指出第一个分叉，最终画面看起来正确也不能通过。
本页不变量是：多线程Vulkan应用程序的输入、状态、输出与恢复结果可用同一证据包重放。故障模式“多个线程并发重置同一command pool，或执行仍处pending状态的buffer”每次只改变一个条件，正常、故障、恢复三次运行必须共享输入与版本。
来源、版本与课程边界
“多线程Vulkan应用程序”以Khronos Vulkan Guide latest这套持续更新的官方完整指南为主，并由Vulkan规范和官方Samples核对VUID、对象合同与可运行路径。课程的16页是教学聚合，不宣称它们是官方固定章节。
六个检查词
在“多线程Vulkan应用程序”的六词核对中，↡command pool在“多线程Vulkan应用程序”的“Command Pools, Command Buffers, Queue Submission, and Threading”检查中用于按线程所有权录制command buffer并构造可复用提交；应由pool线程归属、buffer状态、submit批次、等待/信号值和fence确认。、↡command buffer在“多线程Vulkan应用程序”的“Command Pools, Command Buffers, Queue Submission, and Threading”检查中用于按线程所有权录制command buffer并构造可复用提交；应由pool线程归属、buffer状态、submit批次、等待/信号值和fence确认。、↡record在“多线程Vulkan应用程序”的“Command Pools, Command Buffers, Queue Submission, and Threading”检查中用于按线程所有权录制command buffer并构造可复用提交；应由pool线程归属、buffer状态、submit批次、等待/信号值和fence确认。、↡vkqueuesubmit在“多线程Vulkan应用程序”的“Command Pools, Command Buffers, Queue Submission, and Threading”检查中用于按线程所有权录制command buffer并构造可复用提交；应由pool线程归属、buffer状态、submit批次、等待/信号值和fence确认。、↡secondary command buffer在“多线程Vulkan应用程序”的“Command Pools, Command Buffers, Queue Submission, and Threading”检查中用于按线程所有权录制command buffer并构造可复用提交；应由pool线程归属、buffer状态、submit批次、等待/信号值和fence确认。、↡thread在“多线程Vulkan应用程序”的“Command Pools, Command Buffers, Queue Submission, and Threading”检查中用于按线程所有权录制command buffer并构造可复用提交；应由pool线程归属、buffer状态、submit批次、等待/信号值和fence确认。。术语只有进入公式、交互状态、代码和可重放输出，才算真正覆盖。
正式单元与机制解释
Command Pools, Command Buffers, Queue Submission, and Threading
在“多线程Vulkan应用程序”的“Command Pools, Command Buffers, Queue Submission, and Threading”检查中，command pool管理同一queue family的command buffer分配与重置；外部同步要求同一pool不能被多个线程无保护并发访问。在“多线程Vulkan应用程序”的“Command Pools, Command Buffers, Queue Submission, and Threading”检查中，record只编码命令，queue submission才建立执行批次，secondary buffer适合明确继承边界的并行录制。
在“多线程Vulkan应用程序”本页，正式坐标是command pool、command buffer、record、vkqueuesubmit、secondary command buffer、thread。在“多线程Vulkan应用程序”的反例核对中，反事实为“多个线程并发重置同一command pool，或执行仍处pending状态的buffer”；应从pool线程归属、buffer状态、submit批次、等待/信号值和fence找到第一个分叉。
先预测，再操作三个章专属实验
1. 对象与执行路径
选择任一正式坐标，沿真实对象、状态、队列或像素路径查看因果关系。
Vulkan 提交与执行时间线
多线程Vulkan应用程序
把“按线程所有权录制command buffer并构造可复用提交”放到host、command buffer、queue与resource时间线上。
正式坐标
Command Pools, Command Buffers, Queue Submission, and Threading
command pool管理同一queue family的command buffer分配与重置；外部同步要求同一pool不能被多个线程无保护并发访问。record只编码命令，queue submission才建立执行批次，secondary buffer适合明确继承边界的并行录制。
提交合同
Submit=Waits+CommandBuffers+Signals探针：pool线程归属、buffer状态、submit批次、等待/信号值和fence
最小可重现实验
parallel_for(workers, [&](uint32_t id) {
VkCommandBuffer secondary = threadPools[id].beginSecondary(inheritance);
recordChunk(secondary, chunks[id]);
ready[id] = threadPools[id].end(secondary);
});运行“多线程Vulkan应用程序”时记录API/规范版本、设备或浏览器能力、固定输入、关键中间状态与输出摘要。不得用一次漂亮截图替代对象合同、验证消息、时间戳或像素差异。
练习与答案
练习
问题 1：公式边界。 在“多线程Vulkan应用程序”中，如何用一个可手算样本验证 ，并标明每个量属于哪一对象、stage、空间或时间点？
问题 2：正式坐标。 在“多线程Vulkan应用程序”中，command pool、command buffer、record、vkqueuesubmit、secondary command buffer、thread如何进入可操作验证？
问题 3：恢复证据。 怎样证明“多个线程并发重置同一command pool，或执行仍处pending状态的buffer”已真正修复？
本章回顾
掌握“多线程Vulkan应用程序”意味着能把“按线程所有权录制command buffer并构造可复用提交”落到具体对象、状态与输出，能制造“多个线程并发重置同一command pool，或执行仍处pending状态的buffer”，还能凭pool线程归属、buffer状态、submit批次、等待/信号值和fence恢复同输入结果。
名词解释
本章出现的专业名词，用大白话再讲一遍。
- command pool
command pool在“多线程Vulkan应用程序”的“Command Pools, Command Buffers, Queue Submission, and Threading”检查中用于按线程所有权录制command buffer并构造可复用提交；应由pool线程归属、buffer状态、submit批次、等待/信号值和fence确认。
- command buffer
command buffer在“多线程Vulkan应用程序”的“Command Pools, Command Buffers, Queue Submission, and Threading”检查中用于按线程所有权录制command buffer并构造可复用提交；应由pool线程归属、buffer状态、submit批次、等待/信号值和fence确认。
- record
record在“多线程Vulkan应用程序”的“Command Pools, Command Buffers, Queue Submission, and Threading”检查中用于按线程所有权录制command buffer并构造可复用提交；应由pool线程归属、buffer状态、submit批次、等待/信号值和fence确认。
- vkqueuesubmit
vkqueuesubmit在“多线程Vulkan应用程序”的“Command Pools, Command Buffers, Queue Submission, and Threading”检查中用于按线程所有权录制command buffer并构造可复用提交；应由pool线程归属、buffer状态、submit批次、等待/信号值和fence确认。
- secondary command buffer
secondary command buffer在“多线程Vulkan应用程序”的“Command Pools, Command Buffers, Queue Submission, and Threading”检查中用于按线程所有权录制command buffer并构造可复用提交；应由pool线程归属、buffer状态、submit批次、等待/信号值和fence确认。
- thread
thread在“多线程Vulkan应用程序”的“Command Pools, Command Buffers, Queue Submission, and Threading”检查中用于按线程所有权录制command buffer并构造可复用提交；应由pool线程归属、buffer状态、submit批次、等待/信号值和fence确认。