第20章 流水和调度

为什么最终二进制正确仍然不够

、、、、共同构成本页坐标。从循环依赖图与资源约束推导启动间距，执行模调度并处理控制流，再比较静态调度和分支预测的收益边界。

虎书把教材组织成一项连续实现工程。扫描器、分析器、AST、环境、Frame、Tree IR、规范化、抽象汇编、流图、干涉图和运行时彼此依赖；任何阶段的错误都可能被后续样本偶然掩盖。因此每次实验都要保存阶段输入、输出和不变量，定位第一处偏离，而不是只观察最后进程的退出码。

常见误区

四类样本与通过条件

样本	单一变量	必查证据	通过条件
正常	一个最小Tiger构造	全阶段快照	与预测一致
边界	深度、宽度、压力或布局	临界分支和成本	边界可解释
失败	一个语法、事实或约束	首错与下游停止	不产出伪结果
优化	一个变换或策略	前后IR和差分执行	等价且收益可解释

练习

小结

• 依赖图：连接“建立依赖图”的C接口、结构化产物、成本和回归证据。
• 模调度：连接“计算RecMII”的C接口、结构化产物、成本和回归证据。
• 启动间距：连接“计算ResMII”的C接口、结构化产物、成本和回归证据。
• 资源约束：连接“尝试模调度”的C接口、结构化产物、成本和回归证据。
• 分支预测：连接“生成序言稳态尾声”的C接口、结构化产物、成本和回归证据。
• 本页10个核心目录层级均已进入可追溯的Tiger编译证据链。

术语表