Paxos
Asenkron mesajlaşma ve düğüm hataları altında güvenli consensus sağlamaya yönelik klasik algoritma ailesi.
Dağıtık Sistem Bağlamı
Proposal number ve quorum kesişimi, iki farklı değerin aynı instance için seçilmesini engeller. Multi-Paxos sürekli log replikasyonu için lider benzeri optimizasyon kullanabilir.
Tutarlılık ve Hata Modeli Sınırı
Paxos'un teorik güvenliği ile production membership, recovery ve log management ayrıntıları birbirinden ayrılmalıdır.