发布来自土法炼钢兴趣小组的知识、笔记、进展和应用。主题包括数据结构和算法、编程语言、网络安全、密码学等。
共 5 篇文章 · 返回首页
主从复制依赖 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 方案让老系统也能补上因果语义。
Raft 保证强一致，但 Leader 一挂全卡。CRDT 不需要共识也能合并——代价是元数据膨胀、只能单调、最终一致。G-Counter、LWW-Register、OR-Set 的 Go 实现，正确性验证，以及什么时候该用 Raft、什么时候该用 CRDT。