Dr. TLA+ Series – Fast Paxos

  • Cheng Huang | Microsoft

The presentation slide and the complete schedule of Dr. TLA+ Series are available at https://github.com/tlaplus/DrTLAPlus (opens in new tab).

Replicating data across geographically distributed data centers is the new norm in cloud services. Compared to Classic Paxos, Fast Paxos shines more favorably, because 1) replication can be initiated from arbitrary DC (and there is no need to pump data through a dedicated primary DC); 2) replication can be completed in single WAN round trip.

This meetup studies Leslie Lamport’s seminal paper on Fast Paxos and its TLA+ specification.

Watch Next