Skip to content

Latest commit

 

History

History
29 lines (21 loc) · 1.26 KB

README.md

File metadata and controls

29 lines (21 loc) · 1.26 KB

Dr. TLA+ Series - Fast Paxos (Cheng Huang)

Time

August 29, 2016 - 10-11:30am PDT

Abstract

Replicating data across geographically distributed data centers is the new norm in cloud services. Compared to Classic Paxos, Fast Paxos shines more favorably, because

  • replication can be initiated from arbitrary DC (and there is no need to pump data through a dedicated primary DC);
  • replication can be completed in single WAN round trip.

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

Bio

Dr. Cheng Huang is a research scientist and tech lead at Microsoft. Cheng has been with Microsoft Research for 11 years. Most recently, he joined the Azure Storage team to full-time help making the Microsoft cloud more scalable and cost effective.

Prerequisite

Paper and Spec

(not required, but helpful to take a quick look)

Media

back to schedule