Dr. TLA+ Series - Fast Paxos
2 660
17.7
Microsoft Research330 тыс
Следующее
07.09.16 – 1432:50Популярные
17 дней – 3983:15
199 дней – 57646:03Опубликовано 7 сентября 2016, 15:57
The presentation slide and the complete schedule of Dr. TLA+ Series are available at 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.
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.
Свежие видео
5 дней – 4162:25
7 дней – 99 66713:52
10 дней – 2690:47
10 дней – 114 1171:00
13 дней – 22113:16Случайные видео
21.09.23 – 1 161 2890:25
24.02.23 – 142 2029:42
08.08.22 – 3 1551:14
06.07.22 – 3 4130:26
12.01.21 – 9661:25
16 дней – 312 2380:29
2 дня – 3 1331:00
4 дня – 2987:57
5 дней – 86 98421:14
5 дней – 9402:36
6 дней – 606 9198:24
10 дней – 90 22513:58
11 дней – 20 97830:36
