33 对齐即理解

本节的标题的含义是说，Linux的文档、代码实现和运行时行为都是保持一致的，即三者“对齐”，对齐了就容易通过任意一部分去了解其他部分，不存在理解负担。这里的“对齐”不是指技术上的字节对齐。

​ —— 张小方注

没有任何单一来源能完整描述内核是什么或其行为方式。

文档概述预期，代码定义已实现的内容，运行时行为展示系统在真实条件下的实际表现。每一层都至关重要，孤立来看都不完整。

文档反映设计意图——系统旨在做什么、受哪些约束、在何种上下文中运行。它可能描述接口、锁规则、内存语义或策略边界，但本质上是不完整的。文档分部分开发，清晰度和覆盖范围参差不齐，通常滞后于代码，且子系统之间存在差异。

代码定义机制，实现控制流、数据结构、状态转换和执行边界。其行为精确，但目的未必总是明确。约束可能隐含，命名可能反映早期设计，决策背后的原因往往缺失。代码展示内核做了什么，但未必解释为何这样做。

执行揭示实际行为，展示哪些路径处于活跃状态、哪些锁存在竞争，以及在真实时序和并发条件下哪些假设成立。行为由配置、硬件拓扑和工作负载塑造，反映实际发生的情况——而非预期或理论上允许的情况。

当这些层达成对齐时，理解才会浮现。

对齐并非指完全一致，而是指将文档、代码和行为结合审视——行为可追溯至其实现，实现在上下文中被理解。这使得清晰推理成为可能：结构如何填充、为何选择特定路径、观察到的行为是否有效。

这并非调试练习，而是学习方法。文档、代码和运行时之间的每处差异都揭示了有意义的内容。缺口可能反映历史，不匹配可能反映演进，未明说的假设可能反映性能、可移植性或遗留约束。

差异是可预期的。文档可能过时，代码可能执行不再被描述的约束，运行时可能倾向于曾被视为例外的路径。这些未必是错误，而是持续变化的系统的副作用。

内核并非静态的。代码渐进演化，文档独立维护，行为通过集成和使用呈现。理解取决于比较这些视角并解析它们所揭示的内容。

这个过程并非线性。它始于阅读，但通过跟踪、观察和关联才变得真实。一次提交解释变更，一次跟踪显示其影响，一个结构揭示其生命周期。这些共同形成可测试和推理的模型。

文档提供意图，代码定义机制，执行揭示真相。

只有通过它们的对齐，理解才会成形。

这就是方法。