×

Xiangguang

326 Reputation

Follow
Activities(6) Posts(6) Series(0) Areas of Expertise Following Followers

Xiangguang Posted blog

Formal Verification Tool TLA+: An Introduction from the Perspective of a Programmer

A programmer offers perspective and reintroduces TLA+ using his experiences.

Xiangguang Posted blog

Single-Step Implementation of Two-Phase Membership Change

This article discusses the single-step implementation of two-phase Joint Consensus membership change and proposes some ways of improvement, providing ...

Xiangguang Posted blog

Core Protocol Process of EPaxos: A Trilogy of EPaxos (Part Two)

This article introduces the core protocol process of EPaxos from the perspective of the comparison between Paxos and EPaxos.

Xiangguang Posted blog

Raft Engineering Practices and the Cluster Membership Change

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.

Xiangguang Posted blog

Basic Concepts and Intuitive Understanding of EPaxos

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.

Xiangguang Posted blog

Paxos, Raft, EPaxos: How Has Distributed Consensus Technology Evolved?

This article discusses the application of distributed consensus from a technical perspective and makes a comparative analysis across various areas.

Areas of Expertise

Following (0)

See All
Latest Comments
No series yet.