Paxos
termonuvemprogramação
O algoritmo de consenso de Leslie Lamport, o primeiro provado correto para uma rede assíncrona em que máquinas podem falhar, e a base da maioria dos sistemas replicados construídos desde então.
Ele é famoso por duas coisas: por estar correto, e por ser difícil de entender pelo artigo, escrito como alegoria sobre um parlamento grego fictício e que levou anos para ser levado a sério. Barbara Liskov e Brian Oki chegaram a um desenho equivalente de forma independente mais ou menos na mesma época. A maioria dos sistemas em produção roda uma variante, e não o original, e o Raft foi desenhado explicitamente para ser a mesma garantia explicada de forma mais simples - caso raro de uma área admitir que ser compreensível é propriedade que vale otimizar.
Também conhecido como: multi-paxos