Mathidot

Study note

Notes on Paxos

View original Back to list

Properties

Type
Blogs
Status
待读
Domain
Databases
Category
分布式系统与一致性
Source
matklad.github.io
Vault note
library/articles/databases/Notes-on-Paxos-45d823df6738bbcf.md

Summary

matklad 的 Paxos 学习笔记，从非确定性状态机、行为、不变量、共识性质、majority/quorum vote 等形式化模型出发，逐步解释 Paxos 为什么需要那些看似细碎的条件。

Highlights

适合在读 Paxos Made Simple 或 Raft 之后补“条件去掉会坏在哪里”的理解，用数学规格和可证明不变量把共识算法讲得更可检查。

Notes

matklad 用状态机和不变量推导 Paxos。

Comments

Loading comments...

    Be kind. Basic Markdown is not rendered.