Planeamento
Aulas Teóricas
Introduction
Introduction to the course and evalutioon method.
Communication channels
Modeling communication channels. Different types of channels.
Failure Detectors
Implementing failure detectors in distributed systems. Unreliable failure detectors.
Reliable multicast
Properties of (regular) reliable multicast. Implementation of reliable multicast.
Uniform reliable multicast
Properties of uniform reliable multicast. Implementing uniform reliable multicast.
Multicast with Byzantine nodes
Implementing multicast in the presence of Byzantine nodes. Byzantine Consistent Broadcast. Authenticated Echo Broadcast and Signed Echo Broadcast.
Carnival
There will be no class on Carnival day.
Byzantine Reliable Broadcast
Specification. Fail-Arbitrary Algorithm: Authenticated Double-Echo Broadcast.
Registers
Register classes. Regular Registers and Atomic registers.
Regular registers
Implementing regular registers in the fail stop and fail silent model.
No class on March 22th
There will be no class this week.
No class on March 24th
There will be no classes this week.
Atomic registers
Implementation of atomic register in the fail stop and fail silent models.
Register transformations
Some transformations with registers.
Byzantine Regular Registers
Fail-Arbitrary Algorithm: Authenticated-Data Byzantine Quorum.
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.
Easter holidays
There is no class on April 21th.
Easter holidays
There is no class on April 26th.
Consensus in the fail-noisy model
Consensus in the Fail-Noisy model.
Consensus in the fail-noisy model
Continuation form the previous class.
Probabilistic consensus
Probabilistic solutions to consensus. Randomized Binary Consensus.
Byzantine agreement
Fail-Noisy-Arbitrary Algorithm: Byzantine Leader-Driven Consensus.
Byzantine Randomized Consensus
Randomized Fail-Arbitrary Algorithm: Byzantine Randomized Binary Consensus.
Terminating Reliable Broadcast
Consensus-Based Uniform Terminating Reliable Broadcast.
Total-Order Broadcast
Consensus-Based Total-Order Broadcast.
Non-blocking Atomic Commit
Consensus-Based Non-Blocking Atomic Commit.
View-Synchronous Communication
TRB-Based View-Synchronous Communication and Consensus-Based Uniform View-Synchronous Communication.