Пассивная и активная репликация

Два основных подхода к отказоустойчивости при репликации - пассивный (primary-backup, подход с главной репликой) и активный (state machine, машина состояний - или конечный автомат?). В первом случае все обновления идут через главную реплику, они ретранслируются на вторичные реплики. При падении лидера, вторичные реплики выбирают нового. Во втором случае обновления могут идти на любую реплику. Для обеспечения согласованности реплики с помощью некоторого алгоритма консенсуса устанавливают общий порядок примененения обновлений.

Мне понравилось, как это всё изложено у Дермота Келли (из какого-то ирландского университета) в его курсе по параллельным и распределённым системам [ссылка на курс], [ссылка на лекцию об отказоустойчивости].

Покороче - в лекции Донгмана Ли [ссылка].

Португало-бразильский дуэт написал интересную статью об активном подходе [ссылка] под названием A Guided Tour on the Theory and Practice of State Machine Replication.

Некто Альваро Видела написал пост о моделях отказов [ссылка] процессов с выжимкой из  книги  Fault-Tolerant Real-Time Systems: The Problem of Replica Determinism. У него целый ряд постов по этой книге, надо почитать.