【图数据库内核】选型与 GraphRAG 接口：边语义分级，何时必须原生图
收束系列第五问：用跳数、局部性、事务与运维面判定原生图 / AGE·边表 / 外置图层 / 托管图；按边语义分级对接 GraphRAG 与向量检索，互链 db-frontier、llm-infra、vector-engine，不重写检索管线。
consistency 标签归档
共 9 篇文章 · 返回首页
【系统架构设计】架构的不变量：穿越技术周期的设计原则
单体、微服务、边缘、AI 原生换的是部署形态与运行时组件，失败、尾延迟、一致性权衡、爆炸半径、反馈控制、组织同构与可观测性前提在二十年间并未消失。本文把 Part XIV 前沿篇收束为可核对的不变量清单，逐条链回本系列已写篇章与经典文献，并给出开放问题与自检用法。
【系统架构设计】边缘计算架构：算力下沉的设计挑战
把计算推到离用户更近的 PoP 上，CDN 的缓存假设不再够用：边缘节点如何在最终一致与强一致之间取舍，控制面如何把配置安全送达数千节点，回源与写路径如何不拖垮源站，本地状态与会话亲和又在 Anycast 下如何失效。本文以 ETSI MEC 定义与 Dynamo 谱系为锚，对照 Cloudflare/Discord 公开案例，梳理边缘架构的四条硬约束与仍未闭合的开放问题。
【向量检索引擎】分布式 search 归并：Delegator、多级 reduce 与 GuaranteeTs
按 Milvus 2.6.x Data Processing 与 Architecture 拆解 search 的多级归并树：Proxy → Streaming Node Delegator → Query Node 段级结果；用最小故事、GuaranteeTs 等待时序图与常见误解说明一致性级别如何变成排队等待。
【向量检索引擎】一致性模型：四级 GuaranteeTs 与 PACELC 的延迟账
按官方 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 与对象不可改写。
【身份与访问控制工程】Zanzibar 风格权限系统：Google 的全球授权引擎
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 记忆体：语义缓存、RAG 与一致性
把数据库当 LLM 长期记忆的系统视角：GPTCache、MemGPT、向量 vs 事实记忆；用 pgvector + 触发器实现会话级一致性语义缓存