Linux 内核、存储与网络、可观测性、系统架构与大模型基础设施的工程笔记：机制拆解、踩坑复盘与可核对证据，少空谈。
共 11 篇文章 · 返回首页
钉 Kubernetes resourceVersion 字段与 etcd mod revision 的对应关系；分析 continue token 的分页语义与成本；说明不同 List 路径的一致性期望差异；以及 410 Gone 与 ErrCompacted 的分列。版本锚定 Kubernetes v1.30.3 / etcd v3.5.33。
分列 etcd v3.5.33 三种读语义：默认线性一致读的 ReadIndex 循环、Serializable 本地读、Raft ReadOnlyLeaseBased 与不经 Raft 的 Lease 路径；follower 读风险与 K8s 期望。
收束系列第五问：用跳数、局部性、事务与运维面判定原生图 / AGE·边表 / 外置图层 / 托管图；按边语义分级对接 GraphRAG 与向量检索，互链 db-frontier、llm-infra、vector-engine，不重写检索管线。
单体、微服务、边缘、AI 原生换的是部署形态与运行时组件，失败、尾延迟、一致性权衡、爆炸半径、反馈控制、组织同构与可观测性前提在二十年间并未消失。本文把 Part XIV 前沿篇收束为可核对的不变量清单，逐条链回本系列已写篇章与经典文献，并给出开放问题与自检用法。
把计算推到离用户更近的 PoP 上，CDN 的缓存假设不再够用：边缘节点如何在最终一致与强一致之间取舍，控制面如何把配置安全送达数千节点，回源与写路径如何不拖垮源站，本地状态与会话亲和又在 Anycast 下如何失效。本文以 ETSI MEC 定义与 Dynamo 谱系为锚，对照 Cloudflare/Discord 公开案例，梳理边缘架构的四条硬约束与仍未闭合的开放问题。
按 Milvus 2.6.x Data Processing 与 Architecture 拆解 search 的多级归并树：Proxy → Streaming Node Delegator → Query Node 段级结果；用最小故事、GuaranteeTs 等待时序图与常见误解说明一致性级别如何变成排队等待。
按官方 Consistency Level 与 Timestamp 文档拆解 Strong/Bounded/Session/Eventually 如何映射到 GuaranteeTs，用最小故事、四级时间轴与 Strong 等待时序图说明「一致性」在 Milvus 里首先是一笔延迟账；对照 Abadi PACELC 定理与 Bailis PBS，说明 Bounded 是定性旋钮而非概率保证。
对象存储不是网络版 POSIX 文件系统。本文用 S3 官方语义钉住四件事：强一致模型的边界、LIST 随对象数线性增长的代价、没有原子 rename（只能 copy+delete）、条件写（If-None-Match/If-Match）对提交协议的意义，并讲清 multipart 与对象不可改写。
Google Zanzibar 论文在 2019 年发布后，引发了开源授权系统的一波重新设计：Auth0 FGA、SpiceDB、Permify、Ory Keto——全都基于 Zanzibar 的'关系图+命名空间配置'模型。但论文本身只讲了 What，没深入 Why。本文从 Zanzibar 的 relation tuple 模型、namespace config 的语义、consistency 模型（Zookie）和工程权衡出发，拆解为什么 Zanzibar 的设计决策是这样的，以及你自己实现时要面对什么。
Saga、TCC、本地消息表、事务发件箱——应用层一致性方案的选型依据是什么？本文深入每种模式的补偿机制设计，对比 Saga 编排与协调，剖析 Eventuate Tram 的实现原理。
把数据库当 LLM 长期记忆的系统视角：GPTCache、MemGPT、向量 vs 事实记忆；用 pgvector + 触发器实现会话级一致性语义缓存