Planeamento
Aulas Teóricas
Introduction to the Course
Introduction to the Course
Consensus
The consensus problem. How to use consensus. Leader based consensus in the synchronous model.
Paxos
The Paxos algorithm.
Multi-Paxos
Another look at paxos. Paxos made simple. Multi-paxos.
Chubby and ZooKeeper
The Chubby and ZooKeeper services.
View Synchrony
The view-synchronous communication model
Reconfigurable Paxos
How to reconfigure a Paxos group.
Raft
An implementation of the replicated state-machine based on Paxos.
State-machine Database Replication
How to replicate a database
Spanner
Google's Spanner large-scale replicated database
Transactional Causal Consistency
The Transactional Causal Consistency model and its implementation.
Unstructured P2P and Gossip
Peer sampling and reliable broadcast in unstructured peer-to-peer systems.
Structured P2P: Chord, Pastry, Kademlia
Structured peer-to-peer systems. Distributed Hash Tables.
Dynamo (Key-Value Store) e Scribe (Pub-Sub)
Building on top of DHTs: implementing key-value stores and publish-subscribe systems.