第10章 活跃分析

为什么从这个问题开始

“第10章 活跃分析”围绕“定义、使用、传入和传出集合怎样达到固定点并对应每条边？”建立贯穿任务：在Tiger C实现轨道中复现“第10章 活跃分析”的输入、状态、变换与验证。先写下哪个C接口、树/图状态、AST/IR、汇编或运行结果会最先变化，再运行参考、故障和恢复路径；运行后补理由不算预测。只有守住“第10章 活跃分析的C模块接口、数据结构、状态变换、输出语义与测试始终一致”并交付CFG、use/def、in/out迭代、固定点与干涉图，单模块测试、编译成功或性能变化才构成机制证据。

原版书目、296个正式坐标与C轨道边界

“第10章 活跃分析”以Andrew W. Appel作者官方目录核对 Modern Compiler Implementation 的C、Java、ML三种实现轨道、2部分、21章和Tiger语言附录；以作者C版页面核对Andrew·W·Appel与Maia Ginsburg、Cambridge University Press、C实现轨道、平装ISBN 0-521-60765-5、软件/练习模块与勘误入口，再以Cambridge C版页面核对原版身份。

“第10章 活跃分析”以中文版修订版完整目录核对赵克佳、黄春、沈志宇译《现代编译原理：C语言描述（修订版）》，人民邮电出版社，2018年，385页，ISBN 9787115476883。“第10章 活跃分析”的正式分母为2个部分标题、21个章标题、1个附录标题、251个编号节/小节、附录4节和17个正式“程序设计”项目，合计296个核心层级；每章重复的推荐阅读与习题不另计。

作者页面可访问不等于允许复制书稿，“第10章 活跃分析”不复制、翻译或改写原文、图表、伪码与习题；所有中文讲解、C接口示意、状态轨迹、反例、交互、练习和答案均为独立教学重写。本页独立核对 1只用于核对本页C实现或现代IR边界，不能混入Java/ML轨道或反向证明原书采用本站表述。

原版目录层级与C项目机制

第10章 活跃分析

正式坐标 1/14。 原版目录键 第10章 活跃分析。在“第10章 活跃分析”的第1个正式坐标中，「第10章 活跃分析」通过把字符、token、文法、分析表、栈和错误恢复连接为前端轨迹推进活跃分析、固定点与干涉；复核者保存正则—自动机、token流、项目集、分析表、栈轨迹与冲突，出现最长匹配、展望符、冲突或恢复状态错误就撤回结论。

10·1 数据流方程的解

正式坐标 2/14。 原版目录键 10.1 数据流方程的解。围绕“定义、使用、传入和传出集合怎样达到固定点并对应每条边？”，“第10章 活跃分析”在坐标2把「10·1 数据流方程的解」落实为求解数据流与支配关系并证明优化/SSA变换保语义；只有固定点、支配树、phi放置、重命名、循环森林与前后IR可重放且反例排除别名、溢出、关键边或跨迭代依赖被忽略，本节点才算掌握。

10·1·1 活跃性计算

正式坐标 3/14。 原版目录键 10.1.1 活跃性计算。“第10章 活跃分析”的目录节点3「10·1·1 活跃性计算」不能停在术语或伪码：它要从树覆盖、活跃固定点和干涉图生成已分配目标指令，交付树模式、use/def、in/out、干涉图、着色、溢出与汇编，并把目标语义、活跃边、合并或溢出重写错误设为单一反事实。

10·1·2 集合的表示

正式坐标 4/14。 原版目录键 10.1.2 集合的表示。对“第10章 活跃分析”而言，「10·1·2 集合的表示」在第4次检查中改变可观察状态，因为它负责把“集合的表示”放进活跃分析、固定点与干涉的C接口—状态—变换—验证链；第10章 活跃分析的输入角色、中间状态、输出、反例与整合证据必须与“第10章 活跃分析的C模块接口、数据结构、状态变换、输出语义与测试始终一致”对齐，不能接受只复述“集合的表示”名称而没有可观察状态、项目实现和恢复验证。

10·1·3 时间复杂度

正式坐标 5/14。 原版目录键 10.1.3 时间复杂度。在“第10章 活跃分析”的第5个正式坐标中，「10·1·3 时间复杂度」通过把“时间复杂度”放进活跃分析、固定点与干涉的C接口—状态—变换—验证链推进活跃分析、固定点与干涉；复核者保存第10章 活跃分析的输入角色、中间状态、输出、反例与整合证据，出现只复述“时间复杂度”名称而没有可观察状态、项目实现和恢复验证就撤回结论。

10·1·4 最小不动点

正式坐标 6/14。 原版目录键 10.1.4 最小不动点。围绕“定义、使用、传入和传出集合怎样达到固定点并对应每条边？”，“第10章 活跃分析”在坐标6把「10·1·4 最小不动点」落实为把“最小不动点”放进活跃分析、固定点与干涉的C接口—状态—变换—验证链；只有第10章 活跃分析的输入角色、中间状态、输出、反例与整合证据可重放且反例排除只复述“最小不动点”名称而没有可观察状态、项目实现和恢复验证，本节点才算掌握。

10·1·5 静态活跃性与动态活跃性

正式坐标 7/14。 原版目录键 10.1.5 静态活跃性与动态活跃性。“第10章 活跃分析”的目录节点7「10·1·5 静态活跃性与动态活跃性」不能停在术语或伪码：它要从树覆盖、活跃固定点和干涉图生成已分配目标指令，交付树模式、use/def、in/out、干涉图、着色、溢出与汇编，并把目标语义、活跃边、合并或溢出重写错误设为单一反事实。

10·1·6 冲突图

正式坐标 8/14。 原版目录键 10.1.6 冲突图。对“第10章 活跃分析”而言，「10·1·6 冲突图」在第8次检查中改变可观察状态，因为它负责把“冲突图”放进活跃分析、固定点与干涉的C接口—状态—变换—验证链；第10章 活跃分析的输入角色、中间状态、输出、反例与整合证据必须与“第10章 活跃分析的C模块接口、数据结构、状态变换、输出语义与测试始终一致”对齐，不能接受只复述“冲突图”名称而没有可观察状态、项目实现和恢复验证。

10·2 Tiger编译器的活跃分析

正式坐标 9/14。 原版目录键 10.2 Tiger编译器的活跃分析。在“第10章 活跃分析”的第9个正式坐标中，「10·2 Tiger编译器的活跃分析」通过把字符、token、文法、分析表、栈和错误恢复连接为前端轨迹推进活跃分析、固定点与干涉；复核者保存正则—自动机、token流、项目集、分析表、栈轨迹与冲突，出现最长匹配、展望符、冲突或恢复状态错误就撤回结论。

10·2·1 图

正式坐标 10/14。 原版目录键 10.2.1 图。围绕“定义、使用、传入和传出集合怎样达到固定点并对应每条边？”，“第10章 活跃分析”在坐标10把「10·2·1 图」落实为把“图”放进活跃分析、固定点与干涉的C接口—状态—变换—验证链；只有第10章 活跃分析的输入角色、中间状态、输出、反例与整合证据可重放且反例排除只复述“图”名称而没有可观察状态、项目实现和恢复验证，本节点才算掌握。

10·2·2 控制流图

正式坐标 11/14。 原版目录键 10.2.2 控制流图。“第10章 活跃分析”的目录节点11「10·2·2 控制流图」不能停在术语或伪码：它要把Tiger AST降到规范树IR、基本块和可调度控制流，交付AST—IR映射、临时变量、标签、CFG、规范化与差分执行，并把副作用重复、标签错连或轨迹调度破坏控制语义设为单一反事实。

10·2·3 活跃分析

正式坐标 12/14。 原版目录键 10.2.3 活跃分析。对“第10章 活跃分析”而言，「10·2·3 活跃分析」在第12次检查中改变可观察状态，因为它负责把字符、token、文法、分析表、栈和错误恢复连接为前端轨迹；正则—自动机、token流、项目集、分析表、栈轨迹与冲突必须与“第10章 活跃分析的C模块接口、数据结构、状态变换、输出语义与测试始终一致”对齐，不能接受最长匹配、展望符、冲突或恢复状态错误。

程序设计：构造流图

正式坐标 13/14。 原版目录键 程序设计：构造流图。在“第10章 活跃分析”的第13个正式坐标中，「程序设计：构造流图」通过把“构造流图”放进活跃分析、固定点与干涉的C接口—状态—变换—验证链推进活跃分析、固定点与干涉；复核者保存第10章 活跃分析的输入角色、中间状态、输出、反例与整合证据，出现只复述“构造流图”名称而没有可观察状态、项目实现和恢复验证就撤回结论。

程序设计：活跃分析模块

正式坐标 14/14。 原版目录键 程序设计：活跃分析模块。围绕“定义、使用、传入和传出集合怎样达到固定点并对应每条边？”，“第10章 活跃分析”在坐标14把「程序设计：活跃分析模块」落实为落实C模块接口、数据结构、所有权、阶段输入/输出和可运行项目；只有头文件/实现对照、模块依赖、状态快照、构建日志与黄金输出可重放且反例排除混用Java/ML轨道接口或单模块状态无法在C中整合，本节点才算掌握。

先预测，再操作三个C轨道实验

第10章 活跃分析的可重放协议

unit: "tbc-unit-10"
question: "定义、使用、传入和传出集合怎样达到固定点并对应每条边？"
scenario: "在Tiger C实现轨道中复现“第10章 活跃分析”的输入、状态、变换与验证"
invariant: "第10章 活跃分析的C模块接口、数据结构、状态变换、输出语义与测试始终一致"
fault: "移动指令的特殊活跃规则遗漏源临时变量，少建一条干涉边"
evidence: "CFG、use/def、in/out迭代、固定点与干涉图"
reset: restore_concept_mode_stage_trace_step_case_gates_and_artifact

“第10章 活跃分析”要求从同一C接口、源程序、规则、数据结构、目标机、预算和执行顺序重放参考、故障与恢复路径。重置后若目录选择、模式、阶段、轨迹步骤、案例、证据门或交付包没有回到基线，本次比较已经混入状态泄漏。

本页回顾

掌握“第10章 活跃分析”不是背术语、表格或伪码，而是围绕“定义、使用、传入和传出集合怎样达到固定点并对应每条边？”重建C接口、输入、状态变换、输出、整合和端到端验证，并用“第10章 活跃分析的C模块接口、数据结构、状态变换、输出语义与测试始终一致”拒绝“移动指令的特殊活跃规则遗漏源临时变量，少建一条干涉边”。最终交付为CFG、use/def、in/out迭代、固定点与干涉图。

练习与答案

名词解释