Консенсус у розподілених системах (Paxos і Raft)
Коротко: Протоколи консенсусу на кшталт Paxos і Raft дозволяють кільком серверам домовитися про одне значення чи порядок команд, навіть якщо окремі сервери виходять з ладу.
Докладніше: Кластер обирає лідера, який приймає записи та розподіляє їх між послідовниками через журнал. Запис вважається зафіксованим, коли його зберегла більшість (кворум). Якщо лідер відмовляє, обирається новий.
Подробиці
- Кворум: більшість із n вузлів, тобто ⌊n/2…
Див. також: теорема CAP, реплікація: лідер і послідовник