Sumários
Paxos and Related Protocols
30 Outubro 2017, 16:30 • Alysson Neves Bessani
An in-depth study of the Paxos protocol; the synod subprotocol; Paxos variants; Paxos in practice.
Optimistic Replication
23 Outubro 2017, 18:30 • Alysson Neves Bessani
Model and techniques for implementing optimistic replication.
Replication and Consistency
23 Outubro 2017, 16:30 • Alysson Neves Bessani
Study of several replication techniques and the consistency model they offer.
Consensus and Failure Detectors
16 Outubro 2017, 18:30 • Alysson Neves Bessani
In-depth study of a consensus protocol using different failure detector classes.
Failure Detectors
16 Outubro 2017, 16:30 • Alysson Neves Bessani
Failure Detectors and their properties; Types of failure detectors; implementation of failure detectors in different system models; power of failure detetcors to solve consensus.