Raft: Konsensus Rozproszony, który da się Zrozumieć | Deep Dive

Описание: 🎙️ Zagłębiamy się w algorytm Raft - przełomową pracę Diego Ongaro i Johna Ousterhout ze Stanfordu, która postawiła zrozumiałość na pierwszym miejscu. W odróżnieniu od Paxos, Raft został zaprojektowany tak, aby być łatwym do nauki i implementacji.

W tym odcinku omawiamy:
• Problem konsensusu w systemach rozproszonych i dlaczego jest fundamentalny
• Jak Raft rozwiązuje problemy Paxos przez dekompozycję i redukcję przestrzeni stanów
• Zasadę silnego lidera - uproszczenie przepływu danych w klastrze
• Kadencje (terms) jako logiczne zegary czasu rozproszonego
• Trzy stany serwera: Follower, Candidate, Leader i przejścia między nimi
• Mechanizm wyboru lidera i randomizowane timeouty zapobiegające split votes
• Replikacja dziennika i Log Matching Property gwarantująca spójność
• Bezpieczeństwo i zatwierdzanie wpisów - Leader Completeness Property
• Joint consensus - jak bezpiecznie zmieniać skład klastra bez przerw
• Wydajność i kluczowa nierówność czasowa: broadcastTime ≪ electionTimeout ≪ MTBF
• Dlaczego Raft jest znacznie prostszy do nauki niż Paxos (badania ze studentami)

📄 Oryginalny artykuł: https://raft.github.io/raft.pdf

Autorzy: Diego Ongaro, John Ousterhout (Stanford University)

💡 Masz propozycję artykułu? Zgłoś: https://github.com/Automaat/youtube-w...