Planeamento
Aulas Teóricas
Presentation of the course
Presentation of the course structure and evaluation method.
Communication channels
Modeling communication channels. Different types of channels. Implementing a perfect point-to-point channel.
Failure Detectors
Implementing failure detectors in distributed systems. Unreliable failure detectors.
Failure Detectors
Leader election with Byzantine processes.
Uniform reliable multicast
Properties of regular and uniform reliable multicast. Implementing uniform reliable multicast.
Multicast with Byzantine nodes
Implementing multicast in the presence of Byzantine nodes. Byzantine Consistent Broadcast. Byzantine Reliable Broadcast.
Multicast with Byzantine nodes
Implementing multicast in the presence of Byzantine nodes. Byzantine Consistent Broadcast. Byzantine Reliable Broadcast.
Regular registers
Introduction to registers. Regular and Atomic registers. Implementation of regular registers.
Register transformations
Atomic registers (end). Some transformations with registers.
Byzantine Regular Register
Fail-Arbitrary Algorithm: Double-Write Byzantine Quorum.
Byzantine Atomic Register
Fail-Arbitrary Algorithm: Byzantine Quorum with Listeners.
Regular Consensus
Consensus in the fail stop model.
Uniform consensus
Uniform consensus in the fail-stop model.
Consensus in the fail-noisy model
Consensus in the Fail-Noisy model.
Probabilistic consensus
Probabilistic solutions to consensus. Randomized Binary Consensus. Randomized Binary Consensus with Byzantine nodes.
Probabilistic consensus
Randomized Binary Consensus with Byzantine registers. Examples.
Byzantine agreement
Fail-Noisy-Arbitrary Algorithm: Byzantine Leader-Driven Consensus.
Byzantine agreement
Fail-Noisy-Arbitrary Algorithm: Byzantine Leader-Driven Consensus. Continuation.
Byzantine agreement
Fail-Noisy-Arbitrary Algorithm: Byzantine Leader-Driven Consensus. Conclusion.
Consensus-Based Terminating Reliable Broadcast and Membership.
Consensus-Based Terminating Reliable Broadcast and Membership.
View-Synchronous Communication
Consensus-Based View-Synchronous Communication.
Byzantine clock synchronization
Consensus based clock synchronization. Approximate agreement based clock synchronization.