E6 · 出版卷 28

缓存与数据包

预计算、新鲜度、增量更新与失效

*预计算、新鲜度、增量更新与失效*

来源版本、派生缓存、依赖边、新鲜度与失效
来源版本、派生缓存、依赖边、新鲜度与失效

学习目标

本课是通用、机构中立内容，不使用任何真实公司、个人、矿权、项目或可识别地点。通用角色只描述职责，SYN-ARCH 标识符明确表示合成教学证据。

  • 界定由“预计算、新鲜度、增量更新与失效”治理的决定。
  • 在选择实现前建立相关边界、状态与合同模型。
  • 定义可测不变量、故障证据与安全发布后果。
  • 基于合成证据产出一份带新鲜度测试的缓存依赖与离线数据包政策并为其权衡辩护。

决策边界

只为声明的决定语境缓存声明的派生结果。设计必须先识别来源版本、参数、代码或算法版本、政策、访问范围与可接受陈旧度，预计算才可能安全。缓存不是第二权威来源，而是可替换表示，其来源链必须回到保留的源数据。区分响应缓存、查询结果缓存、瓦片或细节层级制品、分析摘要与离线数据包，因为它们的键与失效后果不同。应优先使用明确依赖和有效性规则，而不是任意生存时间。

核心概念

完整缓存键描述所有可能改变含义的输入：数据集快照、解释分支、时空子集、规范化查询、参数、合同版本、变换版本、权限与表示。新鲜度相对于决定定义，不等同于经过时间。有些已批准历史数据包可长期有效，而实时审查队列可能在很短时间内失去安全性。只有变换可分解且变更集完整时，增量更新才正确。失效沿依赖图传播，可能要求删除、重新计算、重新评估访问权限或显示陈旧状态。

系统模型与合同

每个缓存制品记录缓存身份、依赖身份与摘要、派生活动、参数集、合同版本、创建时间、有效区间、新鲜度政策、访问类别、完整性与替换状态。离线数据包还需要受完整性保护的清单，列出成员、范围、参考、单位、版本、摘要与依赖闭包。依赖图可双向查询：哪些输出依赖该来源，以及哪些来源支撑该输出。“当前”等别名指向已批准不可变制品，并在验证后原子切换。

不变量与验收标准

| 不变量 | 测试证据 | 发布后果 | |---|---|---| | 每个缓存制品都追溯到完整的版本化依赖与参数。 | 合同测试与反例记录 | 阻止发布 | | 新鲜度依据声明的决定政策评估。 | 回放比较与摘要检查 | 隔离制品 | | 权限变化不能被普通缓存寿命掩盖。 | 基于角色的验收追踪 | 把决定返回为未解决 | | 相同输入下的增量结果与完整重算一致。 | 故障注入与恢复记录 | 保留上一已验证版本 | | 每个离线数据包在使用前验证其声明成员。 | 依据声明证据的领域审查 | 记录明确评审发现 |

量化工程

缓存命中率为 H=h/(h+m)，但必须连同决定类别、避免传输的字节、避免的计算与正确性结果报告。新鲜度年龄为 A_f=t_{read}-t_{validated}，它相对于最新必需依赖计算，再由有效性规则判断是否可接受。测量失效扇出、重算延迟、陈旧读取数、数据包完整度、摘要失败与存储放大。若键遗漏权限或版本，高命中率反而有害。分别测试冷、热与部分失效状态，并计入证明新鲜度的代价。

数据质量、证据与不确定性

依赖图应由记录的变换建立，而不是从文件名约定猜测。回放来源变化场景，把完整重算与增量结果比较。测试权限收紧、参考元数据纠正、迟到观测、算法变化、来源删除与分支合并。对每个陈旧结果，保留其被提供、阻断或显式标记的状态，以及允许该结果的政策。离线数据包必须能在无网络条件下检查，并声明缺失内容；成功下载并不能证明语义完整。

互操作性与版本

缓存合同定义规范键构造、依赖捕获、新鲜度计算、失效事件、替换转换与响应元数据。响应可公开缓存状态、来源快照、验证时间与陈旧警告，而不泄露受保护内部信息。数据包清单对成员使用稳定相对引用、媒体类型、字节长度与内容摘要。消费端在打开成员前验证清单；需要严格复现时拒绝未声明新增成员。数据包模式、内容版本与派生版本保持分离，使读取端能准确解释兼容性。

安全与专业责任

把有效访问范围纳入缓存身份，或在取回后执行授权并证明共享表示不会泄露受保护字段。权限收紧应立即触发失效或重新授权，而不能等待普通新鲜度间隔。离线数据包有范围，在机密性需要时加密，进行完整性检查，并指定到期或召回政策。不得记录敏感键、范围或数据包成员名。防止缓存投毒需要在发布前验证来源、合同、摘要与变换身份，不可信输入不能通过构造键组件选择其他角色或版本。

运行流程与可观测性

观察依赖图延迟、键基数、命中与未命中原因、失效队列、重算结果、陈旧政策决定与数据包验证。重算失败时，只有政策明确允许并标出年龄，才能保留上一已验证制品；否则结果不可用。失效事件应幂等且可回放。定期审计抽取来源变化，证明每个受影响输出都到达预期状态。缓存按受治理生命周期移除，而需保留的发布包与来源证据继续在规定证据期内可用。

集成检查点

把“缓存与数据包”制品连接到本卷前面的架构。追踪一个合成对象从来源身份穿过新边界到达已审查输出，再把一个拒绝或故障追溯到最早被违反的不变量。更新架构决定记录，写明所选方案、备选方案、假设、证据、后果、责任角色、评审状态与重新考虑触发条件。只有另一位审查者无需口头说明即可重建成功路径与阻断路径，检查点才通过。

合成案例

SYN-ARCH-06 按范围与样式缓存地图瓦片，却遗漏解释分支和访问范围。批准变化后，审查者看到另一分支的瓦片；权限收紧后，受限轮廓仍然可见。修订键加入来源快照、分支、变换、样式、参考与有效范围。依赖事件使受影响瓦片和一个摘要失效，而无关区域保持热缓存。合成离线数据包携带清单与摘要。完整重算和增量重算产生相同成员身份，被篡改成员在显示前被拒绝。

练习与考核

  1. 哪些输入会改变该缓存项的含义或可见性？
  2. 哪条决定特定规则定义可接受新鲜度？
  3. 失效如何传播并被证明完整？
  4. 离线数据包能否在没有隐藏服务时被解释与验证？

考核制品：一份带新鲜度测试的缓存依赖与离线数据包政策。提交时附来源清单、验收证据、未解决风险，并简要说明为何没有选择一个合理备选方案。

常见失败模式

  • 把生存时间用作唯一失效规则。
  • 缓存键遗漏来源、分支、参数或权限状态。
  • 把缓存预览当成权威来源。
  • 未证明变更集完整就应用增量更新。
  • 未检查清单就把已下载数据包称为完整。

来源与延伸阅读