土法炼钢兴趣小组的算法知识备份

【向量检索引擎】一致性模型：四级 GuaranteeTs 与 PACELC 的延迟账

2026-07-12 | database · storage | #milvus #consistency #guarantee-timestamp #pacelc #bounded-staleness #tso #vector-engine

按官方 Consistency Level 与 Timestamp 文档拆解 Strong/Bounded/Session/Eventually 如何映射到 GuaranteeTs，用最小故事、四级时间轴与 Strong 等待时序图说明「一致性」在 Milvus 里首先是一笔延迟账；对照 Abadi PACELC 定理与 Bailis PBS，说明 Bounded 是定性旋钮而非概率保证。