What you'll learn
- Agreeing on an incremental sequence of values and the related multi-Paxos algorithm
- Atomic broadcast and replicated state machines for fault-tolerant services
- Dynamic reconfiguration of distributed services
- The timed asynchronous model of distributed systems, and the use of physical clocks
- Efficient distributed algorithms based on the timed asynchronous model
- Relaxed consistency models and the CAP theorem, including various consistency models and conflict-free replicated data types