EMZETT.
Увійти

Консенсус у розподілених системах (Paxos і Raft)

Коротко: Протоколи консенсусу на кшталт Paxos і Raft дозволяють кільком серверам домовитися про одне значення чи порядок команд, навіть якщо окремі сервери виходять з ладу.

Докладніше: Кластер обирає лідера, який приймає записи та розподіляє їх між послідовниками через журнал. Запис вважається зафіксованим, коли його зберегла більшість (кворум). Якщо лідер відмовляє, обирається новий.

Подробиці

  • Кворум: більшість із n вузлів, тобто ⌊n/2…

Див. також: теорема CAP, реплікація: лідер і послідовник