UsefulLinks
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
6.
Consensus and Related Problems
6.1.
The Consensus Problem
6.1.1.
Problem Definition
6.1.1.1.
Agreement Property
6.1.1.2.
Validity Property
6.1.1.3.
Termination Property
6.1.2.
System Models
6.1.2.1.
Synchronous Systems
6.1.2.2.
Asynchronous Systems
6.1.2.3.
Partially Synchronous Systems
6.1.3.
Fault Models
6.1.3.1.
Crash Failures
6.1.3.2.
Byzantine Failures
6.1.3.3.
Failure Bounds
6.2.
Impossibility Results
6.2.1.
FLP Impossibility Theorem
6.2.1.1.
Theorem Statement
6.2.1.2.
Proof Intuition
6.2.1.3.
Implications
6.2.2.
Circumventing Impossibility
6.2.2.1.
Randomization
6.2.2.2.
Failure Detectors
6.2.2.3.
Partial Synchrony
6.3.
Consensus Algorithms
6.3.1.
Paxos Family
6.3.1.1.
Basic Paxos
6.3.1.1.1.
Roles and Phases
6.3.1.1.2.
Safety Guarantees
6.3.1.1.3.
Liveness Issues
6.3.1.2.
Multi-Paxos
6.3.1.2.1.
Leader Election
6.3.1.2.2.
Log Replication
6.3.1.2.3.
Optimization Techniques
6.3.1.3.
Fast Paxos
6.3.1.4.
Flexible Paxos
6.3.2.
Raft Consensus
6.3.2.1.
Leader Election
6.3.2.2.
Log Replication
6.3.2.3.
Safety Properties
6.3.2.4.
Membership Changes
6.3.3.
PBFT Algorithm
6.3.3.1.
Three-Phase Protocol
6.3.3.2.
View Changes
6.3.3.3.
Performance Analysis
6.4.
Related Problems
6.4.1.
Atomic Broadcast
6.4.2.
Interactive Consistency
6.4.3.
Byzantine Agreement
6.4.4.
Approximate Agreement
Previous
5. Coordination and Agreement
Go to top
Next
7. Fault Tolerance and Reliability