Node Consensus

Консенсус узлов представляет собой набор протоколов и механизмов, позволяющих гарантировать следующие свойства системы:

1. Согласованность (Agreement) — все корректно работающие узлы принимают одно и то же окончательное решение
2. Завершение (Termination/Liveness) — каждый корректный узел неизбежно приходит к решению
3. Достоверность (Validity) — если все корректные узлы предлагают одинаковое значение, именно оно становится результатом^[2]
4. Отказоустойчивость (Fault Tolerance) — протокол продолжает работать при сбоях части узлов или потере сообщений, вплоть до (N-1)/2 отказавших узлов
5. Децентрализация — отсутствие единой точки отказа за счёт распределённого принятия решений^[3]

В полностью асинхронной среде достижение консенсуса осложняет теорема FLP, доказывающая невозможность гарантировать детерминированный консенсус при хотя бы одном аварийном отказе^[4]. На практике задача решается алгоритмами Paxos, Raft и различными BFT-протоколами, адаптированными под конкретные условия сети^[5].

В зависимости от модели сбоев различают два основных класса алгоритмов консенсуса:

• Crash Fault Tolerance (CFT) — защита от аварийных отказов
  • семейство Paxos и его модификации;
  • Raft — упрощённая альтернатива Paxos.
• Byzantine Fault Tolerance (BFT) — устойчивость к произвольному или злонамеренному поведению узлов; применяется, в частности, в блокчейнах.

Большинство протоколов консенсуса включает четыре логических шага^[6]. В различных алгоритмах (например, Raft и Paxos) эти этапы реализуются через собственные фазы, но логика согласования сохраняется.

Сравнение характеристик Paxos и Raft^[8]:

• Порог входа — Paxos формально строг, но сложен в реализации; Raft спроектирован «от понятности».
• Производительность — Raft, имея постоянного лидера, сокращает число сетевых раундов; Paxos может страдать от «livelock».
• Узкие места — в Raft лидер представляет единую точку нагрузки; Paxos распределяет инициативу, но рискует конфликтами.
• Динамика кластера — Raft содержит встроенный joint-consensus для изменения состава узлов; в Paxos это решается расширениями протокола.

Алгоритмы консенсуса используются в различных областях^[12]:

• финансовые системы;
• государственные ИТ-инфраструктуры;
• критическая промышленная и энергетическая инфраструктура;
• телекоммуникации;
• здравоохранение;
• облачные платформы и сервисы контейнеризации (например, Kubernetes использует etcd).

Популярные решения и библиотеки^[13]:

• Сервисы и фреймворки
  • Apache ZooKeeper (Zab, модификация Paxos)^[14];
  • etcd (Raft);
  • HashiCorp Consul (Raft)^[15];
  • CockroachDB (Raft)^[16];
  • Apache Cassandra — Paxos для легковесных транзакций^[17].
• Библиотеки Raft
  • hashicorp/raft (Go)^[18];
  • Apache Ratis (Java)^[19];
  • MicroRaft (Java)^[20].
• Библиотеки Paxos
  • LibPaxos (C/C++)^[21];
  • paxospp (C++)^[22];
  • cocagne/paxos (Python/Java)^[23].