A programmer offers perspective and reintroduces TLA+ using his experiences.
This article discusses the single-step implementation of two-phase Joint Consensus membership change and proposes some ways of improvement, providing ...
This article introduces the core protocol process of EPaxos from the perspective of the comparison between Paxos and EPaxos.
This article discusses some issues during the implementation of the joint consensus and some of the problems of Raft's one-step cluster membership changes.
This article introduces the EPaxos algorithm in a simple and easy-to-understand way, suitable even for those with basic knowledge of Paxos or Raft algorithms.
This article discusses the application of distributed consensus from a technical perspective and makes a comparative analysis across various areas.