工具链、调试与性能工程：19篇复现

先预测，再建立证据

先预测：如果只把ShaderX中的DirectX 8/9、早期GLSL或固定功能接口替换成现代API，哪些数据顺序、精度、过滤和同步假设会改变？性能优化必须从测量到瓶颈再到受约束改动，旧硬件技巧不能脱离现代编译器和设备重新套用。 本页用、、、和建立统一验收语言。

官方范围与唯一归属

来源：ShaderX 1 · ShaderX 2 · Introductions & Tutorials · ShaderX 2 · Tips & Tricks · ShaderX 3 · ShaderX 4。以下原篇只在本主题拥有一个主归属；其他主题可以引用，但不得重复计入329篇覆盖。

ShaderX 1 · 2篇

• SXX-SX1-02 · Basic Shader Development with Shader Studio：围绕编译证据拆出输入、核心变换、输出、失败边界和现代GPU证据，避免只复述效果名称。
• SXX-SX1-07 · Optimizing Software Vertex Shaders：先以GPU捕获定位瓶颈，再核对生成指令、寄存器、带宽与画质约束，保留同条件回归。

ShaderX 2 · Introductions & Tutorials · 1篇

• SXX-SX2I-07 · Shader Development Using RenderMonkey：围绕编译证据拆出输入、核心变换、输出、失败边界和现代GPU证据，避免只复述效果名称。

ShaderX 2 · Tips & Tricks · 4篇

• SXX-SX2T-34 · Software Vertex Shader Processing：围绕编译证据拆出输入、核心变换、输出、失败边界和现代GPU证据，避免只复述效果名称。
• SXX-SX2T-35 · x86 Shaders-ps_2_0 Shaders in Software：围绕编译证据拆出输入、核心变换、输出、失败边界和现代GPU证据，避免只复述效果名称。
• SXX-SX2T-36 · SoftD3D: A Software-only Implementation of Microsoft's Direct3D API：围绕编译证据拆出输入、核心变换、输出、失败边界和现代GPU证据，避免只复述效果名称。
• SXX-SX2T-37 · Named Constants in Shader Development：围绕编译证据拆出输入、核心变换、输出、失败边界和现代GPU证据，避免只复述效果名称。

ShaderX 3 · 6篇

• SXX-SX3-22 · Optimizing Dx9 Vertex Shaders for Software Vertex Processing：先以GPU捕获定位瓶颈，再核对生成指令、寄存器、带宽与画质约束，保留同条件回归。
• SXX-SX3-23 · Software Shaders and DirectX DLL Implementation：围绕编译证据拆出输入、核心变换、输出、失败边界和现代GPU证据，避免只复述效果名称。
• SXX-SX3-25 · FX Composer 1.5 Standardization：围绕编译证据拆出输入、核心变换、输出、失败边界和现代GPU证据，避免只复述效果名称。
• SXX-SX3-41 · In-Depth Performance Analyses of DirectX9 Shading Hardware concerning Pixel Shader and Texture Performance：固定采样域、导数、LOD、格式和边界，分别测表示误差、缓存行为与外存流量。
• SXX-SX3-42 · Shaderbreaker：围绕编译证据拆出输入、核心变换、输出、失败边界和现代GPU证据，避免只复述效果名称。
• SXX-SX3-43 · Generating Shaders From HLSL Fragments：围绕编译证据拆出输入、核心变换、输出、失败边界和现代GPU证据，避免只复述效果名称。

ShaderX 4 · 6篇

• SXX-SX4-42 · The SuperShader：围绕编译证据拆出输入、核心变换、输出、失败边界和现代GPU证据，避免只复述效果名称。
• SXX-SX4-43 · Implementing Radiosity for a Light map Precomputation Tool：先以GPU捕获定位瓶颈，再核对生成指令、寄存器、带宽与画质约束，保留同条件回归。
• SXX-SX4-44 · Indicator Materials：围绕编译证据拆出输入、核心变换、输出、失败边界和现代GPU证据，避免只复述效果名称。
• SXX-SX4-45 · Dynamic Branching on non-ps_3_0 Graphics Hardware：先以GPU捕获定位瓶颈，再核对生成指令、寄存器、带宽与画质约束，保留同条件回归。
• SXX-SX4-46 · GLSL Shader Debugging with GLIntercept：先以GPU捕获定位瓶颈，再核对生成指令、寄存器、带宽与画质约束，保留同条件回归。
• SXX-SX4-47 · GPU Performance of DirectX 9 Per-Fragment Operations Revisited：先以GPU捕获定位瓶颈，再核对生成指令、寄存器、带宽与画质约束，保留同条件回归。

核心模型与不变量

性能优化必须从测量到瓶颈再到受约束改动，旧硬件技巧不能脱离现代编译器和设备重新套用。 复现时先写输入、输出、坐标或数据域、迭代顺序、误差判据和资源生命周期，再讨论接口迁移。任何优化都要指出它保持、近似或放弃了哪条关系。

公式里的量必须给出范围、单位、空间、精度和生产者。画面相似不代表算法等价；数值接近也不代表带宽、时序和设备边界相同。

最小现代探针

float4 ProbeStage(float4 inputValue, float4 constantsValue) {
    float4 candidate = EvaluateInvariant(inputValue, constantsValue);
    return float4(candidate.xyz, 1.0);
}

探针一次只暴露一个阶段。先使用常量、解析输入和小规模CPU参考确认关系，再逐步恢复纹理、变体、并行和历史数据。

历史载体到现代路径

original article -> assumptions -> invariant -> reference
reference -> modern shader/compute path -> intermediate evidence
evidence -> image or numeric diff -> target-device acceptance

旧shader model、寄存器语义、effect框架、render-to-texture和多pass接口可以变化，但读写依赖、采样边界、精度和同步不能被省略。迁移报告要明确标记完全等价、受控近似和不可直接迁移。

性能、兼容与失败边界

固定设备、驱动、分辨率、场景、帧阶段和统计窗口，分别报告CPU提交、GPU时间、外存流量、显存峰值与画质误差。历史技巧在现代GPU上可能被编译器、缓存或专用硬件替代，必须以捕获而不是名称判断。

{"source":"volume + article id","correctness":"reference diff","compatibility":"api and device matrix","performance":"end-to-end metrics","failure":"minimal replay"}

1. 固定卷号、篇名、来源、原始平台和输入输出。
2. 写出核心不变量、CPU或离线参考以及现代GPU路径。
3. 构造正常、边界、退化和超容量输入，保存中间证据。
4. 在目标设备重放，记录图像或数值误差和端到端成本。

常见误区

练习

本章回顾

工具链、调试与性能工程页承载19篇唯一原文；每篇都回到问题、不变量、现代实现、边界和证据，而不是只保留一个效果名称。