Dr. TLA+ Series - Fast Paxos
2 705
18
Microsoft Research334 тыс
Следующее
07.09.16 – 1432:50Популярные
Опубликовано 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.
Свежие видео
3 дня – 263 6069:06
7 дней – 88 1621:02
11 дней – 380 5110:34
12 дней – 015:08Случайные видео
252 дня – 801 9987:44
286 дней – 27 4171:18
288 дней – 34 9130:42
307 дней – 18 87537:41
04.08.22 – 30935:22
16.04.21 – 5 6190:23
2 часа – 1940:09
1 день – 8 2410:24
4 дня – 2 4400:57
13 дней – 10 6411:09
14 дней – 1 4260:21
16 дней – 1419:34
1 день – 164 3745:55