Paxos Made Simple (2001)[pdf]
Summary
This paper provides a simplified explanation of the Paxos algorithm for achieving consensus in a distributed system.
Similar Articles
Consensus Board Game
The article explains consensus algorithms (like Paxos) through a board game metaphor, using visual diagrams to illustrate voting, leader election, and fault tolerance in distributed systems.
Calvin - Determinism, Distributed ACID transactions (2020)
Explains the Calvin protocol, which uses deterministic locking to achieve distributed ACID transactions without requiring 2PC, improving scalability and reducing contention compared to traditional approaches.
Trusted Computing Frequently Asked Questions (2003)
A comprehensive FAQ from 2003 explaining TCPA, Palladium, and NGSCB, their goals, and implications for digital rights management and software licensing.
Learnings from 100K lines of Rust with AI (2025)
A developer shares learnings from building a 100K-line Rust-based multi-Paxos consensus engine using AI coding agents, achieving dramatic productivity gains and performance improvements.
The foundations of a provably secure operating system (PSOS) (1979) [pdf]
This 1979 academic paper presents the foundations of a provably secure operating system (PSOS).