Useful Links
Computer Science
Distributed Systems
Distributed Systems
1. Introduction to Distributed Systems
2. System Models and Architectures
3. Inter-Process Communication
4. Time and Global States
5. Coordination and Agreement
6. Consensus and Related Problems
7. Fault Tolerance and Reliability
8. Replication and Consistency
9. Distributed Data Storage
10. Distributed Transactions
11. Security in Distributed Systems
12. Modern Paradigms and Applications
Consensus and Related Problems
The Consensus Problem
Problem Definition
Agreement Property
Validity Property
Termination Property
System Models
Synchronous Systems
Asynchronous Systems
Partially Synchronous Systems
Fault Models
Crash Failures
Byzantine Failures
Failure Bounds
Impossibility Results
FLP Impossibility Theorem
Theorem Statement
Proof Intuition
Implications
Circumventing Impossibility
Randomization
Failure Detectors
Partial Synchrony
Consensus Algorithms
Paxos Family
Basic Paxos
Roles and Phases
Safety Guarantees
Liveness Issues
Multi-Paxos
Leader Election
Log Replication
Optimization Techniques
Fast Paxos
Flexible Paxos
Raft Consensus
Leader Election
Log Replication
Safety Properties
Membership Changes
PBFT Algorithm
Three-Phase Protocol
View Changes
Performance Analysis
Related Problems
Atomic Broadcast
Interactive Consistency
Byzantine Agreement
Approximate Agreement
Previous
5. Coordination and Agreement
Go to top
Next
7. Fault Tolerance and Reliability