Course topics
Algorithms:
- Distributed Hash Table, protocols and implementations, Chord DHT
- Map/Reduce paradigm & algorithms
- SSTables, LSM-Trees, B-Trees
- Lamport clock, Vector clock
- CRDTs: Convergent replicated data types
- Failure Detection algorithms & Leader Election algorithms
- Partition tolerant consensus algorithms: Raft, Paxos, ZAB
- Replica synchronization: Merkle trees, Gossip
- The CALM (Consistency As Logical Monotonicity) theorem