State Machine Replication is More Expensive than Consensus.pdf Consensus and State Machine Replication (SMR) are generally considered to be equivalent problems. In certain system models, indeed, the two problems are computationally equivalent: any solution to the former problem leads to a solution to the latter, and vice versa. In this paper, we study the relation between consensus and SMR from a complexity perspective.

Unbounded Pipelining in Dynamically Reconfigurable Paxos Clusters.pdf Consensus is an essential ingredient of a faulttolerant distributed system systems. When equipped with a consensus algorithm a distributed system can act as a replicated state machine (RSM), duplicating its state across a cluster of redundant components to avoid the failure of any single component leading to a system-wide failure. Paxos and Raft are examples of algorithms for achieving distributed consensus.

Using Paxos to Build a Scalable, Consistent, and Highly Available Datastore.pdf Spinnaker is an experimental datastore that is designed to run on a large cluster of commodity servers in a single datacenter. It features key-based range partitioning, 3-way replication, and a transactional get-put API with the option to choose either strong or timeline consistency on reads. This paper describes Spinnaker’s Paxos-based replication protocol.

PaxosRaft+分布式一致性算法原理剖析及其在实战中的应用.pdf

从Paxos到Zookeeper 分布式一致性原理与实践

从PAXOS到ZOOKEEPER分布式一致性原理与实践 2015

Lamport Paxos 的这两篇论文真的很难懂，小编也是竭尽全力的推敲每一句话的意思，尽量的将Lamport的意思完整的呈现出来。希望大家支持一下。两篇论文大概码了3万多字，每一个公式都是手敲的… 为什么会研究Paxos？最近使用RockerMQ，发现其Broker的主从没有实现自动选主及同步，所以小编想从底层学习下RocketMQ，然后自己尝试去实现这一块。 当然这很难，也是一个挑战。 先从Paxos论文入手，后续再研究zab。 只有学会自己造轮子，才能学的更多！~

分布式Redis原子操作示例，近期项目中遇到分布式项目中多节点大并发操作redis同一个key。此案例利用java调用LUA脚本实现redis操作的原子性。分享出来大家参考。

UCAS-拜占庭容错系统.xmind

Fescar在微服务架构下分布式一致性实践.pptx