Distributed Systems

This specialization covers systems whose parts run on separate machines and fail independently: replication, partitioning, consistency models from linearizable to eventual, consensus protocols such as Raft and Paxos, and fault tolerance. Expect the theory that constrains the design -- the CAP and FLP results, failure detectors, logical clocks -- alongside implementation of the patterns real systems use.