Paxos
Leslie Lamport’un uzlaşı algoritması (1989): güvenilmez düğümlerden oluşan bir grubun, kısmi ağ arızalarında bile bir değer üzerinde anlaşmasını sağlar.
İki aşama: hazırla/söz ver (prepare/promise) ve kabul et/kabul edildi (accept/accepted). Bir değerin onaylanması için her iki aşamada da çoğunluğun (kworum) yanıt vermesi gerekir. Multi-Paxos, lider sabit kaldığı sürece hazırlama aşamasını atlar; pratikte kullanılabilir olmasını bu sağlar.
Anlaşılması ünlü biçimde zordur; Lamport’un kendi “Paxos Made Simple” makalesi bile bir iç şakaya dönüştü. Google Chubby ve Spanner’da kullanılır; bugün çoğu yeni sistem, öğretilmesi daha kolay ama özünde eşdeğer olan Raft’ı seçiyor.