Similar Tracks
CSE138 (Distributed Systems) L7: safety and liveness, fault models, two generals problem
Lindsey Kuper
CSE138 (Distributed Systems) L2: time and clocks, causality and happens-before, network models
Lindsey Kuper
CSE138 (Distributed Systems) L5: recap of FIFO/causal/TO delivery, implementing causal broadcast
Lindsey Kuper
CSE138 (Distributed Systems) L1: logistics/administrivia; distributed systems: what and why?
Lindsey Kuper
CSE138 (Distributed Systems) L13: eventual consistency, availability, conflict resolution
Lindsey Kuper
CSE138 (Distributed Systems) L11: more on consensus, the FLP result, the Paxos protocol
Lindsey Kuper
CSE138 (Distributed Systems) L9: Chandy-Lamport wrap-up: limitations, assumptions, properties; ...
Lindsey Kuper