Flexible Paxos
1 458
23.1
Microsoft Research335 тыс
Следующее
28.11.16 – 2625:14Популярные
17 дней – 1071:03:32
06.12.22 – 53427:07Опубликовано 28 ноября 2016, 19:56
The Paxos algorithm is a widely adopted approach to reaching agreement in unreliable asynchronous distributed systems. Since its development in 1998, Paxos has been extensively researched, taught and built upon by systems such as Chubby, Zookeeper and Raft. At its foundation, Paxos uses two phases, each requiring agreement from a quorum of participants to reliably reach consensus. This lecture will introduce Flexible Paxos, the simple yet powerful result that each of the phases of Paxos may use non-intersecting quorums. The result means that majorities are no longer the only practical quorum system for Paxos, opening the door to a new breed of performant, scalable and resilient consensus algorithms. This lecture will demonstrate how we are able to test this result with only simple modifications to the existing Paxos TLA+ specification.
See more on this video at microsoft.com/en-us/research/v...
See more on this video at microsoft.com/en-us/research/v...
Свежие видео
3 дня – 25 41217:31
5 дней – 17 38510:27
7 дней – 5 2560:16
7 дней – 5751:22
8 дней – 55 9417:30
8 дней – 561:09:33Случайные видео
77 дней – 7920:15
215 дней – 97 9810:15
21.08.23 – 39 5560:26
14.02.23 – 53 9470:10
05.12.21 – 1 2730:23
27.04.09 – 120 1671:14
5 дней – 1581:05
5 дней – 139 1408:13
6 дней – 489 8282:58:34
7 дней – 33 95633:49
7 дней – 2503:08
9 дней – 3914:23
14 дней – 1117:26
1 день – 8 1300:31