Distributed Systems

  1. Coordination and Agreement
    1. Distributed Mutual Exclusion
      1. Mutual Exclusion Requirements
        1. Safety Property
          1. Liveness Property
            1. Fairness Property
            2. Centralized Algorithm
              1. Coordinator Role
                1. Request Processing
                  1. Single Point of Failure
                  2. Distributed Algorithms
                    1. Ricart-Agrawala Algorithm
                      1. Request and Reply Protocol
                        1. Message Complexity
                          1. Fairness Analysis
                          2. Maekawa's Algorithm
                            1. Quorum-Based Approach
                              1. Voting Sets
                                1. Deadlock Prevention
                              2. Token-Based Algorithms
                                1. Ring-Based Algorithm
                                  1. Token Passing
                                    1. Token Loss Handling
                                    2. Performance Comparison
                                      1. Message Complexity
                                        1. Response Time
                                          1. Fault Tolerance
                                        2. Leader Election
                                          1. Election Problem Definition
                                            1. Uniqueness Property
                                              1. Agreement Property
                                                1. Termination Property
                                                2. Election Algorithms
                                                  1. Bully Algorithm
                                                    1. Election Process
                                                      1. Coordinator Selection
                                                        1. Failure Handling
                                                        2. Ring-Based Election
                                                          1. Token Circulation
                                                            1. Leader Selection
                                                              1. Ring Maintenance
                                                            2. Election in Special Topologies
                                                              1. Tree-Based Election
                                                                1. Mesh Network Election
                                                              2. Multicast Communication
                                                                1. Multicast Models
                                                                  1. One-to-Many Communication
                                                                    1. Group Communication
                                                                      1. Scalability Issues
                                                                      2. Reliable Multicast
                                                                        1. Atomic Multicast
                                                                          1. Uniform Multicast
                                                                            1. Failure Handling
                                                                            2. Ordered Multicast
                                                                              1. FIFO Ordering
                                                                                1. Causal Ordering
                                                                                  1. Total Ordering
                                                                                  2. Multicast Algorithms
                                                                                    1. Sequencer-Based Ordering
                                                                                      1. Distributed Ordering Protocols
                                                                                        1. Hybrid Approaches
                                                                                        2. Group Management
                                                                                          1. Group Membership
                                                                                            1. Join and Leave Operations
                                                                                              1. Failure Detection

                                                                                          Previous

                                                                                          4. Time and Global States

                                                                                          Go to top

                                                                                          Next

                                                                                          6. Consensus and Related Problems