6.2 码农需要知道的“潜规则”
把局部性、缓存、抽象、分层、异步和分而治之从口号还原为可测的适用条件、边界与成本。
学习目标
- 能用局部性、缓存、抽象、分层、异步和分而治之解释一个系统为何减少等待或认知范围
- 能为每条原则写出适用条件、失效边界、额外成本和必须保存的运行证据
- 能在正常、边界和故障场景中定位缓存失效、抽象泄漏、跨层耦合或异步丢失造成的首个偏离
6.2 码农需要知道的“潜规则”
本页依据刘欣《码农翻身》（2018 年第 1 版）及出版社公开书目信息，独立重构 6.2 码农需要知道的“潜规则”。正文、图示、实验和练习是本课程重新设计的教学材料，不复制原书正文、插图、练习答案或代码。
所谓潜规则不是无条件口号，而是系统在特定约束下反复出现的设计规律：局部性让缓存有机会命中，抽象限制一次需要理解的细节，分层把变化隔离在邻接边界，异步把等待转成可管理的状态，分而治之把大问题拆成可验证子问题。每条规律也会带来失效、同步、调试和运维成本。
三个会让系统原则失真的陷阱
七个目录节点到系统证据
6.2 码农需要知道的“潜规则”
总合同是：先识别瓶颈和重复，再选择缓存、抽象、分层、异步或拆分；每次选择都要写出收益、成本、失效条件和恢复证据。原则不是组件清单，只有落到可观察状态才有工程意义。
上帝的规矩：局部性原理
上帝的规矩：局部性原理 指访问通常会在时间或空间上聚集。局部性给缓存、预取和批处理提供机会，却不是命中保证；随机访问、热点迁移和数据更新都会改变收益。
↡访问在时间或空间上具有聚集倾向的现象，为缓存、预取和批处理提供收益机会；它是概率边界，不是命中保证。坐飞机的怎么和坐驴车的打交道：缓存
坐飞机的怎么和坐驴车的打交道：缓存 用更快但容量或一致性不同的层保存近期结果。缓存命中可以减少等待，失效、淘汰、更新和击穿则是必须显式设计的反面。
↡用更快的存储层保存可重新获得的数据以减少访问成本的机制；收益依赖命中，风险集中在失效、一致性和回源压力。抛弃细节：抽象
抛弃细节：抽象 让使用者面对稳定接口，不必每次理解实现内部。抽象边界若不包含错误、容量、版本和生命周期，故障时就会泄漏成无法解释的黑箱。
↡用稳定接口隐藏暂时不需要的实现细节并降低认知负担的设计；抽象必须保留使用者处理错误、容量和生命周期所需的契约。我只想和邻居打交道：分层
我只想和邻居打交道：分层 让一层只依赖相邻层的契约，变化可以在边界内替换。层越多不一定越好，跨层调用、重复序列化和诊断链会增加延迟与复杂度。
↡按职责组织相邻组件并限制直接依赖的结构；隔离变化的同时会引入跨层延迟、协议转换和故障传播边界。我怕等不及：异步调用
我怕等不及：异步调用 把等待变成任务、事件或回调，让调用者先处理其他工作。异步不会消灭成本，状态、顺序、背压、失败、取消和幂等都必须成为合同。
↡把可能等待的工作交给任务或事件机制并稍后交付结果的调用方式；必须定义顺序、背压、超时、失败、取消和幂等。大事化小，小事化了：分而治之
大事化小，小事化了：分而治之 把问题按数据、职责或故障域拆成子问题，再组合可验证结果。拆分减少一次性复杂度，也可能带来通信、协调和边界不一致成本。
↡按职责、数据或故障域拆分问题并分别求解，再组合结果的策略；收益是局部可验证，代价是协调、通信与一致性。Lab
系统潜规则边界实验
只改变热点、队列或契约边界，观察收益、状态和恢复证据怎样变化。
热点稳定，缓存命中降低回源等待，版本和失效可解释
locality → cache hit → version check → bounded origin
判定
accept：收益与事实来源都在预算内
当前样本：热点缓存；保存热点、版本、队列、契约、错误和复位结果。
五步复核一条系统原则
1. 识别局部性并固定样本
记录访问顺序、热点、数据大小和更新频率。正常样本有明显热点，边界样本打散访问，故障样本让热点在缓存容量外迁移。
正常、边界与故障证据矩阵
| 样本 | 只改变的变量 | 预期判定 | 必存证据 |
|---|---|---|---|
| 正常 | 热点稳定、队列有余量 | 缓存命中、层边界和任务状态可解释 | 访问轨迹、版本、任务 ID |
| 边界 | 热点迁移、队列接近上限 | 失效、背压和降级在预算内发生 | TTL、队列深度、延迟、错误 |
| 故障 | 旧缓存、跨层错误或消费者退出 | 保留事实来源、错误通道与恢复动作 | 首个偏离、回源、重试、复位 |
故障诊断：先找原则的适用边界
- 局部性与缓存：查热点、命中、TTL、版本、失效和回源；旧值问题先查缓存合同，不要直接归咎数据库。
- 抽象与分层：查接口、版本、错误、超时和相邻依赖；黑箱故障通常意味着契约没有暴露恢复所需事实。
- 异步与队列：查任务 ID、入队、消费、重试、取消、背压和幂等；提交成功不等于业务完成。
- 拆分与组合：查子问题边界、通信、协调和一致性；拆得更细不自动减少系统总成本。
如果命中率高但延迟仍高，分解命中路径和序列化成本；如果队列增长，查生产速度、消费能力和背压；如果分层后错误难定位，补充跨层 correlation ID 和契约字段。每次只改变一条原则的一个控制量。
术语与边界
本页六个术语都绑定到实验中的访问轨迹、缓存状态、层边界、任务状态或拆分结果：
- 上帝的规矩：局部性原理：访问聚集，为缓存和批处理提供机会。
- 坐飞机的怎么和坐驴车的打交道：缓存：更快层保存可重新获得数据。
- 抛弃细节：抽象：隐藏实现但保留契约。
- 我只想和邻居打交道：分层：限制相邻依赖以隔离变化。
- 我怕等不及：异步调用：把等待转为可追踪任务。
- 大事化小，小事化了：分而治之：拆分问题再组合结果。
名词解释
本章出现的专业名词，用大白话再讲一遍。
- 上帝的规矩：局部性原理
访问在时间或空间上聚集，为缓存、预取和批处理提供机会。
- 坐飞机的怎么和坐驴车的打交道：缓存
用更快层保存可重新获得数据，收益依赖命中，风险集中在失效和回源。
- 抛弃细节：抽象
以稳定接口隐藏实现细节，同时保留错误、容量和生命周期契约。
- 我只想和邻居打交道：分层
按职责组织相邻组件并限制直接依赖，以隔离变化。
- 我怕等不及：异步调用
把等待工作交给任务或事件机制，并定义顺序、失败、取消和幂等。
- 大事化小，小事化了：分而治之
按职责、数据或故障域拆分问题，再组合可验证结果。
练习
练习
问题 1： 为什么缓存命中率提高后，系统仍可能变慢？
问题 2： 抽象和分层怎样避免变成难以诊断的黑箱？
问题 3： 修改实验让生产者快于消费者；写出异步系统必须保存的三类状态。
本页小结
- 局部性、缓存、抽象、分层、异步和分而治之都是带条件和代价的工程策略，不是无条件口号。
- 选择原则后要保存命中与失效、契约与错误、队列与幂等、拆分与协调等证据。
- 故障诊断先找适用边界和首个偏离，再用同一基线重放收益与成本。
读完后的自测问题是：面对“加缓存、加一层或改成异步”这种建议，你能否说出它解决的等待、认知或规模问题，以及新的失效和恢复合同？