E6 · 出版卷 28

性能工程

查询计划、空间索引、细节层级、流式传输与 GPU

*查询计划、空间索引、细节层级、流式传输与 GPU*

包含查询、空间索引、细节层级、流式传输与渲染预算的关键请求路径
包含查询、空间索引、细节层级、流式传输与渲染预算的关键请求路径

学习目标

本课是通用、机构中立内容，不使用任何真实公司、个人、矿权、项目或可识别地点。通用角色只描述职责，SYN-ARCH 标识符明确表示合成教学证据。

  • 界定由“查询计划、空间索引、细节层级、流式传输与 GPU”治理的决定。
  • 在选择实现前建立相关边界、状态与合同模型。
  • 定义可测不变量、故障证据与安全发布后果。
  • 基于合成证据产出一份基于证据的性能预算与代表性基准套件并为其权衡辩护。

决策边界

从用户决定、工作负载总体与响应量度出发。定义哪些操作必须交互、哪些可异步、哪些可以近似，以及哪些必须保留完整科学细节。把端到端预算分配到请求接入、元数据查找、查询、对象获取、变换、传输、解码与渲染。只有测量所针对瓶颈后，才选择空间索引、分区、瓦片、细节层级、流式传输与并行计算。性能变化必须保留身份、参考、单位、不确定性与选择语义；快速返回错误子集仍是系统失败。

核心概念

吞吐量、延迟、并发、容量与效率回答不同问题。当一个延迟组件阻断决定时，尾延迟尤其重要。查询计划解释访问路径、基数估计、连接、排序与实际工作；索引只有对兼容谓词和数据分布才有用。细节层级用几何或视觉保真度换取有界代价，因此需要误差合同。流式传输通过排序有用数据块减少初始等待，却引入取消、背压与部分状态语义。图形处理器可加速规则并行工作，同时增加传输、内存与数值兼容约束。

系统模型与合同

建立工作负载目录，记录操作、决定、数据集组、几何与属性分布、空间选择率、并发、缓存状态、网络条件、设备类别与正确性标准。绘制关键路径，为每个阶段分配身份、输入大小、输出大小、资源使用与百分位预算。查询证据包含估计与实测计划属性。交付包声明瓦片层级、几何误差、降分辨率规则与细化行为。渲染测量区分数据准备、传输、解码、上传、绘制与交互，同时保留参考图像或几何判定依据。

不变量与验收标准

| 不变量 | 测试证据 | 发布后果 | |---|---|---| | 每个性能目标都声明决定、工作负载组与正确性合同。 | 合同测试与反例记录 | 阻止发布 | | 优化输出保留必需身份、参考、单位与不确定性。 | 回放比较与摘要检查 | 隔离制品 | | 近似与细节层级公开声明误差与细化行为。 | 基于角色的验收追踪 | 把决定返回为未解决 | | 基准记录版本、环境、缓存状态与输出比较。 | 故障注入与恢复记录 | 保留上一已验证版本 | | 可选加速路径存在经过验证的后备方案。 | 依据声明证据的领域审查 | 记录明确评审发现 |

量化工程

对顺序关键阶段，端到端时长近似为 T=T_1+T_2+...+T_n；并行分支按最长依赖路径贡献。报告中位数与尾百分位，并附样本数和置信信息，同时报告吞吐量与资源饱和。空间查询选择率、检查行或块数、读取字节、范围请求、传输顶点、绘制调用、帧延迟与取消浪费定位不同瓶颈。只有输出满足相同正确性合同时，加速比 S=T_{baseline}/T_{candidate} 才有意义。热缓存数字不能替代冷缓存与失效状态测量。

数据质量、证据与不确定性

使用代表性与对抗性数据：聚集和均匀点、简单和复杂几何、稀疏和密集属性、小和大范围、空结果、边界相交与变化统计。保留基准清单、查询参数、计划、环境、缓存状态、版本、输出与正确性比较。先分析再改架构，随后在相同工作负载和留出工作负载上复测。合成规模测试可揭示算法行为，但不能确定真实运行频率或可接受响应；这些仍需来自实际决定语境。

互操作性与版本

性能合同声明操作、工作负载组、环境类别、正确性要求、百分位、阈值、观察窗口与失败动作。空间子集合同说明结果精确还是近似。细节层级合同声明屏幕或世界误差、细化、裁剪、保留属性，以及用户如何请求权威细节。流合同定义数据块顺序、完整性、取消与重试。硬件加速保持在同一科学合同之后，提供经过验证的后备路径与声明数值容差。预算随架构建立版本，因为合同或数据集变化可能使旧证据失效。

安全与专业责任

限制昂贵查询、几何复杂度、递归、输出大小、并发与设备内存，防止资源耗尽。在受保护数据进入共享缓存或加速器前完成授权。时序、大小与细节层级可用性可能泄露隐藏范围，因此要比较允许与拒绝路径的侧信道。取消已放弃流与作业，清除敏感缓冲，并隔离不可信着色或表达式输入。性能遥测省略原始受保护值，同时保留诊断所需操作、数据组与版本证据。

运行流程与可观测性

同时观察端到端目标与阶段原因。按版本追踪查询计划变化、基数误差、索引使用、缓存结果、对象范围效率、排队、传输、解码、帧稳定、后备路径与资源饱和。发布前回放代表性套件作为回归关口。运行中把当前数据组与其基线比较，并把告警连接到追踪与确切制品版本。容量变化与优化都应形成决定记录，包含前后证据、回退条件与正确性结果；除非近似已写入合同，删除细节来满足数字不算优化。

集成检查点

把“性能工程”制品连接到本卷前面的架构。追踪一个合成对象从来源身份穿过新边界到达已审查输出，再把一个拒绝或故障追溯到最早被违反的不变量。更新架构决定记录，写明所选方案、备选方案、假设、证据、后果、责任角色、评审状态与重新考虑触发条件。只有另一位审查者无需口头说明即可重建成功路径与阻断路径，检查点才通过。

合成案例

SYN-ARCH-10 在首次交互前加载完整三维模型。小型均匀夹具上的平均响应看似可接受，但一个复杂区域阻断审查。测量分离出选择性差的空间查询、过大对象传输与全细节渲染。修订方案加入兼容空间索引、有界子集、层级交付与渐进细化，同时保留到权威几何的路径。冷、热与留出测试显示尾响应改善，参考比较确认身份、范围与声明几何误差仍正确。

练习与考核

  1. 哪项决定与工作负载总体定义性能目标？
  2. 实测关键路径在哪里，哪些证据定位它？
  3. 近似可以改变或必须保留哪些科学含义？
  4. 如何检测性能回归并安全回退？

考核制品：一份基于证据的性能预算与代表性基准套件。提交时附来源清单、验收证据、未解决风险，并简要说明为何没有选择一个合理备选方案。

常见失败模式

  • 只优化平均延迟而不检查尾部与关键路径。
  • 未匹配谓词与数据分布就添加索引。
  • 只在热缓存或一份便利数据上做基准。
  • 在没有近似与细化合同的情况下缩减几何。
  • 没有等价输出证据却称硬件加速更快。

来源与延伸阅读