【图数据库内核】TinkerPop / JanusGraph：外置邻接表图层，不是第二套原生 store
分清 Apache TinkerPop 的 structure/process 接口与 JanusGraph 在 Bigtable 后端上的邻接表布局；对照 Neo4j 原生指针/block、边双写、事务非必然 ACID、图索引与顶点中心索引，并为第 14 篇选型对照垫底座。
eventual-consistency 标签归档
共 6 篇文章 · 返回首页
【分布式系统百科】无主复制：Dynamo 风格的读写 Quorum
主从复制依赖 Leader 串行化写入，Leader 挂了就得等故障转移；多主复制解决了跨数据中心延迟，但冲突解决极其复杂。无主复制（Leaderless Replication）走了第三条路：去掉 Leader，任何节点都能接受读写，用 Quorum 机制保证读到最新值。本文从 Amazon Dynamo 论文出发，深入拆解 R+W>N 公式的数学本质、Sloppy Quorum 与 Hinted Handoff 的可用性权衡、Read Repair 与 Anti-Entropy 的收敛机制，并结合 Cassandra 和 DynamoDB 的工程实现给出生产级调优建议。
【存储工程】对象存储模型：从文件到对象的范式转变
深入分析对象存储的设计哲学——文件系统与对象存储的本质差异、CAP 权衡、最终一致性到强一致性的演进，以及 S3 API 核心操作实战
【分布式系统百科】一致性模型全景：从线性一致性到最终一致性的光谱
分布式系统中一致性模型不是二选一，而是一条光谱。本文从线性一致性、顺序一致性讲到因果一致性、最终一致性及其变体，用反例区分每一级的差异，用 Go 代码实现操作历史的一致性检测，并把 ZooKeeper、Spanner、DynamoDB、Cassandra 映射到这条光谱上。
【分布式系统百科】会话保证与因果一致性：用户视角的一致性
最终一致性承诺'最终'收敛，但没说收敛之前用户会看到什么。你改了头像刷新后消失、余额先涨后跌、回复比原帖先出现——这些都是缺少会话保证的症状。Terry 等人在 1994 年定义了四种会话保证，COPS 和 Eiger 把因果一致性做到了跨数据中心，Bailis 的 Bolt-on 方案让老系统也能补上因果语义。
【分布式系统实战】CRDT 入门：不靠共识也能合并——但代价是什么
Raft 保证强一致，但 Leader 一挂全卡。CRDT 不需要共识也能合并——代价是元数据膨胀、只能单调、最终一致。G-Counter、LWW-Register、OR-Set 的 Go 实现，正确性验证，以及什么时候该用 Raft、什么时候该用 CRDT。