Dr. TLA+ Series - Fast Paxos

Channel:
Microsoft Research
Subscribers:
351,000
Published on ● Video Link: https://www.youtube.com/watch?v=eW6Zv0X53T4


Duration: 1:16:14
2,419 views
43

The presentation slide and the complete schedule of Dr. TLA+ Series are available at https://github.com/tlaplus/DrTLAPlus.

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.



Other Videos By Microsoft Research


2016-09-07Synchronization Using Failure Detectors
2016-09-07Replicating Web Applications On-Demand
2016-09-07SHARK: Scaling File Servers via Cooperative Caching
2016-09-07Stochastic simulation of gene regulatory networks
2016-09-07The Scalable Hyperlink Store
2016-09-07Constraint satisfaction and constraint propagation
2016-09-07Locating Data Sources in Large Distributed Systems
2016-09-07Taming Survey Propagation
2016-09-07Ethernet Topology Discovery
2016-09-07The Z-Cast Project
2016-09-07Dr. TLA+ Series - Fast Paxos
2016-09-06Visualization on Touch Enabled Platforms
2016-09-06WACE 2005 - Gaia
2016-09-06Random Forests and the Data Sparseness Problem in Language Modeling
2016-09-06eScience Workshop 2005 - DopplerSource: .NET Framework for Accesing Doppler Radar Data
2016-09-06eScience Workshop 2005 - Bio-Workflow Using Biztalk
2016-09-06Microsoft Research Faculty Summit 2005 — Computer Science Research Agenda in Latin America
2016-09-06MIT iCampus: Disseminating Innovations, Sharing Technology, Building Community
2016-09-06WACE 2005 - Inter-Partition Networking, a Hybrid Network Platform for Collaborative Applications
2016-09-06The Giant Component
2016-09-06Exact 2-CSP Optimization Using Matrix Multiplication


Tags:
microsoft research