第 4 章 程序像河水一样流动着

直觉起点

、、、、共同构成本页的观察坐标。程序流由顺序、条件分支和循环组合而成；流程图把控制状态外显，结构化设计限制任意跳转，中断和事件驱动则在明确入口与返回条件下改变正常顺序。

学习时不要背孤立名词。先预测一个输入进入系统后会改变哪些位、寄存器、内存单元、控制状态、对象、数据行或网络消息，再用最小实验逐层核对。只看到最终输出会丢失中间因果，无法解释边界与失败。

六阶段运行链

1. 确定流程入口

顺序、条件和循环可组合普通控制流；中断和事件把外部变化引入程序。先预测入口、分支、循环不变量与返回点，再注入边界事件，检查上下文是否被完整恢复。

实验从“确定流程入口”开始：固定初始状态，先预测寄存器、内存、对象、数据表或网络消息的下一步变化；每次只改变一个输入、容量、时序、地址、密钥或依赖条件，在首个偏离点保存证据。恢复后重放相同样本，不能只凭最终界面判断正确。

2. 绘制顺序状态

绘制顺序状态 必须放回“确定流程入口、绘制顺序状态、标出分支条件、证明循环终止、注入中断事件、验证返回位置”的完整运行链，明确输入编码、状态变化、接口边界、失败出口和恢复条件。

实验从“绘制顺序状态”开始：固定初始状态，先预测寄存器、内存、对象、数据表或网络消息的下一步变化；每次只改变一个输入、容量、时序、地址、密钥或依赖条件，在首个偏离点保存证据。恢复后重放相同样本，不能只凭最终界面判断正确。

3. 标出分支条件

标出分支条件 必须放回“确定流程入口、绘制顺序状态、标出分支条件、证明循环终止、注入中断事件、验证返回位置”的完整运行链，明确输入编码、状态变化、接口边界、失败出口和恢复条件。

实验从“标出分支条件”开始：固定初始状态，先预测寄存器、内存、对象、数据表或网络消息的下一步变化；每次只改变一个输入、容量、时序、地址、密钥或依赖条件，在首个偏离点保存证据。恢复后重放相同样本，不能只凭最终界面判断正确。

4. 证明循环终止

顺序、条件和循环可组合普通控制流；中断和事件把外部变化引入程序。先预测入口、分支、循环不变量与返回点，再注入边界事件，检查上下文是否被完整恢复。

实验从“证明循环终止”开始：固定初始状态，先预测寄存器、内存、对象、数据表或网络消息的下一步变化；每次只改变一个输入、容量、时序、地址、密钥或依赖条件，在首个偏离点保存证据。恢复后重放相同样本，不能只凭最终界面判断正确。

5. 注入中断事件

顺序、条件和循环可组合普通控制流；中断和事件把外部变化引入程序。先预测入口、分支、循环不变量与返回点，再注入边界事件，检查上下文是否被完整恢复。

实验从“注入中断事件”开始：固定初始状态，先预测寄存器、内存、对象、数据表或网络消息的下一步变化；每次只改变一个输入、容量、时序、地址、密钥或依赖条件，在首个偏离点保存证据。恢复后重放相同样本，不能只凭最终界面判断正确。

6. 验证返回位置

验证返回位置 必须放回“确定流程入口、绘制顺序状态、标出分支条件、证明循环终止、注入中断事件、验证返回位置”的完整运行链，明确输入编码、状态变化、接口边界、失败出口和恢复条件。

实验从“验证返回位置”开始：固定初始状态，先预测寄存器、内存、对象、数据表或网络消息的下一步变化；每次只改变一个输入、容量、时序、地址、密钥或依赖条件，在首个偏离点保存证据。恢复后重放相同样本，不能只凭最终界面判断正确。

核心机制深挖

程序流由顺序、条件分支和循环组合而成；流程图把控制状态外显，结构化设计限制任意跳转，中断和事件驱动则在明确入口与返回条件下改变正常顺序。 本页统一登记六类证据：输入与编码、当前状态、转换规则、接口所有者、首个失败、恢复结果。硬件页观察引脚和寄存器，程序页观察控制流与数据结构，网络页观察逐层地址和消息，系统页观察阶段文档与运营状态；对象不同，证据方法一致。

本页签发不变量是：任一执行路径都由明确条件选择，循环有可达终止条件；中断或事件处理保存并恢复必要上下文，不让异步入口破坏主流程状态。。先预测再运行能迫使学习者明确因果；正常样本证明基本路径，边界样本暴露容量和时序，失败样本确定责任边界，恢复样本证明系统可以回到受控状态。

2015 版语境与现代对照

原书以 Z80、手工汇编、流程图、Java/.NET、关系数据库、TCP/IP、公开密钥、XML 和传统系统开发流程为实例。重构保留 12 章 114 个公开目录条目，不用云原生、现代前端或机器学习主题替换原书身份；现代实现只用于说明相同的输入、状态、接口与恢复原则。

Z80 的地址与控制引脚可对应现代处理器的总线事务，纸上算法可对应自动化测试，传统 DBMS 和 XML 可对应今天的数据服务与交换协议。工具会变化，但有限状态、可验证契约、分层地址、事务边界、密钥责任和灾难恢复仍需重新证明。

完整公开目录逐项讲解

第4章 程序像河水一样流动着

第4章 程序像河水一样流动着 必须放回“确定流程入口、绘制顺序状态、标出分支条件、证明循环终止、注入中断事件、验证返回位置”的完整运行链，明确输入编码、状态变化、接口边界、失败出口和恢复条件。

实验从“确定流程入口”开始：固定初始状态，先预测寄存器、内存、对象、数据表或网络消息的下一步变化；每次只改变一个输入、容量、时序、地址、密钥或依赖条件，在首个偏离点保存证据。恢复后重放相同样本，不能只凭最终界面判断正确。

4.1 程序的流程分为三种

顺序、条件和循环可组合普通控制流；中断和事件把外部变化引入程序。先预测入口、分支、循环不变量与返回点，再注入边界事件，检查上下文是否被完整恢复。

实验从“绘制顺序状态”开始：固定初始状态，先预测寄存器、内存、对象、数据表或网络消息的下一步变化；每次只改变一个输入、容量、时序、地址、密钥或依赖条件，在首个偏离点保存证据。恢复后重放相同样本，不能只凭最终界面判断正确。

4.2 用流程图表示程序的流程

顺序、条件和循环可组合普通控制流；中断和事件把外部变化引入程序。先预测入口、分支、循环不变量与返回点，再注入边界事件，检查上下文是否被完整恢复。

实验从“标出分支条件”开始：固定初始状态，先预测寄存器、内存、对象、数据表或网络消息的下一步变化；每次只改变一个输入、容量、时序、地址、密钥或依赖条件，在首个偏离点保存证据。恢复后重放相同样本，不能只凭最终界面判断正确。

4.3 表示循环程序块的“帽子”和“短裤”

顺序、条件和循环可组合普通控制流；中断和事件把外部变化引入程序。先预测入口、分支、循环不变量与返回点，再注入边界事件，检查上下文是否被完整恢复。

实验从“证明循环终止”开始：固定初始状态，先预测寄存器、内存、对象、数据表或网络消息的下一步变化；每次只改变一个输入、容量、时序、地址、密钥或依赖条件，在首个偏离点保存证据。恢复后重放相同样本，不能只凭最终界面判断正确。

4.4 结构化程序设计

顺序、条件和循环可组合普通控制流；中断和事件把外部变化引入程序。先预测入口、分支、循环不变量与返回点，再注入边界事件，检查上下文是否被完整恢复。

实验从“注入中断事件”开始：固定初始状态，先预测寄存器、内存、对象、数据表或网络消息的下一步变化；每次只改变一个输入、容量、时序、地址、密钥或依赖条件，在首个偏离点保存证据。恢复后重放相同样本，不能只凭最终界面判断正确。

4.5 画流程图来思考算法

顺序、条件和循环可组合普通控制流；中断和事件把外部变化引入程序。先预测入口、分支、循环不变量与返回点，再注入边界事件，检查上下文是否被完整恢复。

实验从“验证返回位置”开始：固定初始状态，先预测寄存器、内存、对象、数据表或网络消息的下一步变化；每次只改变一个输入、容量、时序、地址、密钥或依赖条件，在首个偏离点保存证据。恢复后重放相同样本，不能只凭最终界面判断正确。

4.6 特殊的程序流程——中断处理

顺序、条件和循环可组合普通控制流；中断和事件把外部变化引入程序。先预测入口、分支、循环不变量与返回点，再注入边界事件，检查上下文是否被完整恢复。

实验从“确定流程入口”开始：固定初始状态，先预测寄存器、内存、对象、数据表或网络消息的下一步变化；每次只改变一个输入、容量、时序、地址、密钥或依赖条件，在首个偏离点保存证据。恢复后重放相同样本，不能只凭最终界面判断正确。

4.7 特殊的程序流程——事件驱动

顺序、条件和循环可组合普通控制流；中断和事件把外部变化引入程序。先预测入口、分支、循环不变量与返回点，再注入边界事件，检查上下文是否被完整恢复。

实验从“绘制顺序状态”开始：固定初始状态，先预测寄存器、内存、对象、数据表或网络消息的下一步变化；每次只改变一个输入、容量、时序、地址、密钥或依赖条件，在首个偏离点保存证据。恢复后重放相同样本，不能只凭最终界面判断正确。

COLUMN 来自企业培训现场：电阻颜色代码的谐音助记口诀

顺序、条件和循环可组合普通控制流；中断和事件把外部变化引入程序。先预测入口、分支、循环不变量与返回点，再注入边界事件，检查上下文是否被完整恢复。

实验从“标出分支条件”开始：固定初始状态，先预测寄存器、内存、对象、数据表或网络消息的下一步变化；每次只改变一个输入、容量、时序、地址、密钥或依赖条件，在首个偏离点保存证据。恢复后重放相同样本，不能只凭最终界面判断正确。

状态与失败矩阵

最小可运行实验

const observation = {
  input: "fixed sample",
  expectedState: "predicted before run",
  actualState: "captured at each boundary",
  recovered: false,
};
observation.recovered = replay(observation.input);

book: 计算机是怎样跑起来的
edition: 2015-05
page: hcw-04-program-flow
sample: normal | boundary | failure | recovery
predict_before_run: true
capture_first_divergence: true
replay_same_input: true

freeze initial state and input
predict the next observable state
change exactly one condition
stop at the first divergent boundary
remove the fault and replay
verify state, output, and recovery

常见误区与故障注入

四类样本与验收

目录证据：第4章 程序像河水一样流动着、4.1 程序的流程分为三种、4.2 用流程图表示程序的流程、4.3 表示循环程序块的“帽子”和“短裤”、4.4 结构化程序设计、4.5 画流程图来思考算法、4.6 特殊的程序流程——中断处理、4.7 特殊的程序流程——事件驱动、COLUMN 来自企业培训现场：电阻颜色代码的谐音助记口诀。本页按完整公开目录独立教学重构，不复制原书正文；9 个条目全部进入输入、状态、接口、失败和恢复证据链。

练习

小结

• 顺序结构：对应“确定流程入口”的核心观察量。
• 条件分支：对应“绘制顺序状态”的核心观察量。
• 循环：对应“标出分支条件”的核心观察量。
• 中断：对应“证明循环终止”的核心观察量。
• 事件驱动：对应“注入中断事件”的核心观察量。
• 9 个本页公开目录条目已全部映射到状态链和实验账本。
• 最终输出只是证据之一，过程状态、边界失败与恢复共同决定是否通过。

术语表