[Dr. TLA+ Series] Fast Paxos - Cheng Huang (Monday, August 29th, 10-11:30am PDT)
105 views
Skip to first unread message
Cheng Huang
Aug 23, 2016, 11:36:42 PM8/23/16
to tla...@googlegroups.com
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
- none
- most helpful to review Andrew Helwer's lecture on Classic Paxos
Paper and Spec
(not required, but helpful to take a quick look)
Media
0 new messages