Distributed Consensus

  1. Advanced Topics and Extensions
    1. Quorum Systems
      1. Quorum Definitions
        1. Intersection Properties
          1. Availability Requirements
            1. Fault Tolerance Analysis
            2. Quorum Types
              1. Majority Quorums
                1. Weighted Quorums
                  1. Grid Quorums
                    1. Hierarchical Quorums
                    2. Byzantine Quorum Systems
                      1. Masking Quorums
                        1. Dissemination Quorums
                          1. Byzantine Fault Tolerance
                          2. Probabilistic Quorums
                            1. Randomized Selection
                              1. Failure Probability Analysis
                                1. Performance Trade-offs
                              2. State Machine Replication
                                1. Replicated State Machine Model
                                  1. Deterministic Execution
                                    1. Command Ordering
                                      1. State Consistency
                                      2. Log-based Replication
                                        1. Command Logging
                                          1. Log Compaction
                                            1. Snapshot Management
                                            2. Primary-Backup Replication
                                              1. Primary Selection
                                                1. Backup Synchronization
                                                  1. Failover Mechanisms
                                                  2. Chain Replication
                                                    1. Linear Chain Organization
                                                      1. Update Propagation
                                                        1. Query Processing
                                                      2. Atomic Broadcast
                                                        1. Relationship to Consensus
                                                          1. Equivalence Results
                                                            1. Reduction Techniques
                                                              1. Implementation Strategies
                                                              2. Total Order Properties
                                                                1. Agreement on Order
                                                                  1. Validity Guarantees
                                                                    1. Termination Conditions
                                                                    2. Causal Order Broadcast
                                                                      1. Causal Dependencies
                                                                        1. Vector Clock Usage
                                                                          1. Delivery Conditions
                                                                        2. Failure Detectors
                                                                          1. Perfect Failure Detectors
                                                                            1. Strong Completeness
                                                                              1. Strong Accuracy
                                                                                1. Implementation Challenges
                                                                                2. Eventually Perfect Detectors
                                                                                  1. Eventual Accuracy
                                                                                    1. Practical Implementations
                                                                                      1. Timeout-based Approaches
                                                                                      2. Weakest Failure Detectors
                                                                                        1. Omega Detector
                                                                                          1. Leader Election
                                                                                            1. Consensus Solvability
                                                                                            2. Unreliable Failure Detectors
                                                                                              1. Partial Accuracy
                                                                                                1. Probabilistic Guarantees
                                                                                                  1. Performance Trade-offs
                                                                                                2. Randomized Consensus
                                                                                                  1. Ben-Or Algorithm
                                                                                                    1. Coin Flipping
                                                                                                      1. Expected Termination
                                                                                                        1. Byzantine Tolerance
                                                                                                        2. Bracha's Algorithm
                                                                                                          1. Reliable Broadcast
                                                                                                            1. Randomized Agreement
                                                                                                              1. Asynchronous Model
                                                                                                              2. Practical Randomized Protocols
                                                                                                                1. Pseudorandom Generators
                                                                                                                  1. Common Coins
                                                                                                                    1. Leader Election
                                                                                                                  2. Self-Stabilizing Consensus
                                                                                                                    1. Self-Stabilization Properties
                                                                                                                      1. Convergence Guarantees
                                                                                                                        1. Fault Recovery
                                                                                                                          1. Automatic Correction
                                                                                                                          2. Stabilizing Algorithms
                                                                                                                            1. Local Correction
                                                                                                                              1. Global Convergence
                                                                                                                                1. Time Complexity
                                                                                                                                2. Applications
                                                                                                                                  1. Sensor Networks
                                                                                                                                    1. Ad-hoc Networks
                                                                                                                                      1. Fault-Prone Environments
                                                                                                                                    2. Consensus in Dynamic Networks
                                                                                                                                      1. Membership Changes
                                                                                                                                        1. Join and Leave Operations
                                                                                                                                          1. Reconfiguration Protocols
                                                                                                                                            1. Safety Preservation
                                                                                                                                            2. Mobile Networks
                                                                                                                                              1. Topology Changes
                                                                                                                                                1. Connectivity Variations
                                                                                                                                                  1. Partition Handling
                                                                                                                                                  2. Peer-to-Peer Networks
                                                                                                                                                    1. Churn Handling
                                                                                                                                                      1. Overlay Maintenance
                                                                                                                                                        1. Distributed Hash Tables

                                                                                                                                                    Previous

                                                                                                                                                    5. Consensus in Public and Permissionless Networks

                                                                                                                                                    Go to top

                                                                                                                                                    Next

                                                                                                                                                    7. Performance and Optimization