Raft Node Rejoin Bug
Analyzes a replication session isolation bug in Raft implementations. When a node rejoins the cluster within the same term, delayed AppendEntries responses c...
最新文章
Raft 中的 IO 执行顺序：内存状态与持久化状态的陷阱
深入分析 Raft 实现中 IO 重排序导致数据丢失的问题。问题不在 Raft 的设计，而在于实现中内存状态与持久化状态的区分导致的陷阱
Raft Configuration Change with Single Log Entry
Is the single-log-entry approach to Raft configuration change simpler than the standard Joint Consensus?
Raft IO Execution Order (Revised)
I got it wrong in my previous article. The IO ordering bug in Raft isn’t about the protocol design—it’s about the subtle trap that emerges when implementatio...
The Hidden Danger in Raft: Why IO Ordering Matters
Writing logs before persisting term in Raft can silently destroy committed data. Here’s why production systems like TiKV and HashiCorp Raft carefully control...
CRC32 九浅一深: 自包含退化 现象分析
LevelDB 中 CRC 时额外做一个 mask 操作的原因。深入解析 CRC 原理，揭示 自包含退化 现象的数学本质
Single log entry 实现的 Raft 配置变更
单条日志实现Raft配置变更的方法，对比标准的Joint Consensus更简洁吗？
Paxos 中 Ballot number 的重用机制
本文探讨 Paxos 协议中 Ballot number 的重用机制，分析何时可重复使用，以及为何只能使用系统中已存在的值而非提议新值
理解 Calvin - Fast Distributed Transactions for Partitioned Database Systems
提供一个直观的视角，帮助读者更好地理解 Calvin 的架构设计与工作原理
分布式系统中的Linearizable事务:时间、通信与一致性
分布式系统中,Linearizable事务的实现需要解决事务间先后顺序的判断问题,本文深入探讨了这一难题,分析了其中的时间一致性挑战,并提出了几种解决方案和设计思路。
Openraft 对 ReadIndex 的优化
Openraft 中对 linearizable read 流程的优化
将 paxos 和 raft 统一到一个协议下: abstract-paxos
从古至今, 武林中有两招绝学, paxos 和 raft, 三十天了, 我用了整整三十天的时间, 将两招绝学并成了一整招, 看好了: abstract-paxos
Multi-Master-Paxos: 3
小孩子才选master, 成年人只用multi-master
100行代码的压缩前缀树: 50% smaller
压缩前缀树, 减少50%存储空间, 支持创建和查询, 只需100行代码
TiDB 在 Raft 成员变更上踩的坑
Raft 在单步成员变更的设计上存在缺陷, 一定要抛弃单步变更, 使用joint consensus
用markdown写知乎文章的完美解决方案
用 markdown 写知乎文章的完美解决放哪
slimarray: gzip的压缩率, 即时访问
slimarray 是一个静态整数压缩数组, 现实数据达到和gzip相当的压缩率, 无需解压就可以直接使用
200行代码实现基于paxos的kv存储
用200行代码实现一个基于paxos的kv存储, 以最简洁的形式展示paxos如何运行, 作为 paxos的直观解释 这篇教程中的代码示例部分
后分布式时代: 多数派读写的’少数派’实现
通过减少多数派读写中参与者的数量, 可以实现分布式系统某些特定场景的优化, 以及介绍这些优化对系统可用性产生的影响, 根据什么标准来选择和调整这些参数.
可靠分布式系统-paxos的直观解释
没有paxos的一堆机器, 只能叫做分布式; 有paxos协同才叫分布式系统. 咱得把paxos聊开了聊透了