×

Xiangguang

318 Reputation

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

Following (0)

See All

Followers (1)

See All

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

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

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 ...

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.

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.

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.

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.

No series yet.