综合复习：把整个系统连起来

完成这门课的标志，是可以沿着一个真实操作跨越多个层次解释其行为。下面用“Shell 启动一个处理数组的程序”串起全文，然后用练习检查哪些部分还停留在术语记忆。

一次执行的完整链路

你输入命令，Shell 解析字符串，判断是否内建命令。外部程序路径进入 fork/exec：fork 创建执行上下文，exec 把可执行文件及所需库映射到进程地址空间，启动代码最终调用 main。这里既涉及链接与加载，也涉及异常控制流。

程序申请数组。malloc 在用户态管理分配块，需要时扩大可用内存区域；首次访问页面可能触发按需分配。访问数组元素时，虚拟地址经翻译与权限检查，数据在缓存层次中查找。这里需要区分三种粒度：malloc 块为满足对象请求而划分；页用于地址映射；缓存行用于数据传输与缓存。

数组求和的 C 循环被编译成机器指令，可能展开或向量化。整数类型决定溢出是否允许，浮点顺序影响舍入；循环顺序影响缓存局部性。若拆成多线程，线程之间的划分、共享结果合并和同步开销又决定正确性与性能。

程序退出后，内核保留可供父进程读取的状态。Shell 收到通知，回收孩子并更新作业状态，重新显示提示符。这个过程并非一个系统调用“自动完成全部工作”，每层都维护自己的对象与不变量。

flowchart LR
  A[命令与参数] --> B[fork 与 exec]
  B --> C[加载映射]
  C --> D[main 与 malloc]
  D --> E[虚拟地址翻译]
  E --> F[缓存与机器指令]
  F --> G[线程协作或顺序计算]
  G --> H[释放资源与退出]
  H --> I[父进程回收]

查看流程图文本

flowchart LR
  A[命令与参数] --> B[fork 与 exec]
  B --> C[加载映射]
  C --> D[main 与 malloc]
  D --> E[虚拟地址翻译]
  E --> F[缓存与机器指令]
  F --> G[线程协作或顺序计算]
  G --> H[释放资源与退出]
  H --> I[父进程回收]

口头检查：不用背术语回答

为什么 int32_t 的最小值无法用同类型取绝对值？怎样得到安全结果？
为什么在头文件声明函数后，链接器仍可能找不到它？
lea 与 load 的区别是什么？局部变量为何不一定在栈里？
一个容量足够大的直接映射 cache 为什么仍可能持续冲突？
TLB miss、cache miss、page fault 哪些一定进入内核？
free 后进程内存占用不下降，是否说明分配器泄漏？
子进程退出后为什么还需要父进程 wait？
为什么 SIGCHLD 通知次数不能直接用来统计退出孩子数？
为什么条件变量返回后仍要重新检查谓词？
为什么 ASan 通过不能证明自建分配器内部块没有重叠？

展开答案要点

补码正负范围不对称，先提升到更宽类型或返回无符号大小。
声明提供接口，链接仍需要定义及正确的库与顺序。
LEA 计算数值形式的有效地址，不读取内存；优化器可保留寄存器值或消除变量。
相同组索引的工作集超过相联度，其他组空闲也无济于事。
page fault 需要异常处理；普通 cache miss 不必，TLB miss 依架构处理且不等于缺页。
不一定，分配器可留着空闲块复用。需看活跃对象与释放记录。
父进程读取状态并让内核回收相应记录，避免僵尸积累。
普通信号可以合并，应收集所有可用子进程状态。
虚假唤醒或竞争者先消费都可能使条件不成立。
ASan 未必知道 arena 内自定义对象边界，需要堆与载荷检查。

三个综合练习

练习 A：解释并改进一段矩阵代码。 写一个正确的矩阵转置，分别按行、按列和分块遍历。给出每种访问的地址表达式，手算一个小矩阵的 cache trace，再测量实际运行。交付时把模拟命中与真实时间分开，并解释两者为何不严格同比变化。

练习 B：追踪一段内存生命周期。 从仓库 allocator 选取 A/B/C 三块的序列，画出申请、释放 B、分裂 B、释放 A/C 后的每个布局。标明 header、payload、可复用空间和物理邻居。故意移除一次 prev 更新，用最短序列触发检查器，再修复。保留反例作为回归测试。

练习 C：设计一个有结束协议的任务队列。 将 sync_demo 扩成容量 4 的环形队列，消费者数量改成 2。明确队列 empty/full 谓词与 closed 状态；主线程关闭后消费者能处理剩余项目并退出。验证每个编号恰好被处理一次，不能只检查总和。分析如果少一次 broadcast，哪个等待者可能永远睡眠。

以上是新的学习任务，不属于本站已执行的六程序验证记录。你实现后，应将自己的命令、输出和环境放进实验笔记。

如何判断真正完成

对每个已做实验，找一个你最初写错的例子，讲清“错在哪里、为什么不变量能发现、修复建立了什么关系”。能复述标准答案但解释不了一次真实失败，还需要回到代码。相反，能从具体字节和事件顺序解释问题，就已经建立可迁移的系统思维。

建议保存一份个人成果表：Data 写边界分类；Bomb 写条件推导；Attack 写栈与保护机制；Cache 写命中表与优化结果；Shell 写状态机和时间线；Malloc 写布局与不变量。官方题目会换，证据组织方式仍然通用。

下一门课的连接

MIT 操作系统把本课的系统调用、进程、页表、异常、锁与文件 I/O 进一步下沉到内核实现。分布式系统将“执行顺序不确定、通知不等于完整状态”的问题扩展到机器之间，并增加网络延迟与故障。并行计算继续研究局部性、向量化、同步与性能测量。CS336 则把这些系统能力用于张量、训练与推理。

可以先进入操作系统，再带着问题回来重读 CSAPP：一次用户态 load 如何引发 COW？为什么页表权限改变后需要考虑 TLB？一个文件描述符与内核对象有什么关系？这样两门课程会相互补强。

返回课程入口与验证范围，或查阅经典实验手册。

综合复习：把整个系统连起来 ​

一次执行的完整链路 ​

口头检查：不用背术语回答 ​

三个综合练习 ​