V. Koordinasyon & Mutabakat

Koordinasyon, bağımsız düğümlerin uzlaşması gerektiğinde başvurduğunuz şeydir — liderin kim olduğu, bir işlemin commit olup olmadığı, kilidi kimin tuttuğu konusunda. Aynı zamanda bir dağıtık sistemde yapabileceğiniz en pahalı şeydir; çünkü uzlaşma, tam da en çok ihtiyaç duyduğunuz anda başarısız olan iletişim turları gerektirir. Bu bölüm, dağıtık işlemleri ve kaçış yollarını (2PC, saga’lar), uzlaşmayı mümkün kılan mutabakat algoritmalarını (Paxos, Raft) ve dağıtık kilitlerin fencing olmadan neden bir doğruluk tuzağı olduğunu kapsar.

İncelenen Konular

• 5.1. Dağıtık İşlemler: Servisler arası atomikliği yeniden inşa etmek: iki aşamalı commit, saga deseni, telafi edici işlemler ve outbox deseni.
• 5.2. Mutabakat Algoritmaları: Hatalara rağmen bir değerde uzlaşmak: FLP imkansızlığı, Paxos, Raft, Zab, etcd ve Bizans hata toleransı.
• 5.3. Dağıtık Kilitleme: Makineler arası karşılıklı dışlama: kiralama tabanlı kilitleme, fencing token’ları ve Redlock doğruluk tartışması.