Простыми словами
В ZooKeeper изменения сначала проходят через выбранного лидера, а затем подтверждаются достаточным числом реплик. После подтверждения узлы применяют один и тот же порядок записей, поэтому после смены лидера кластер продолжает с согласованного журнала. Это и позволяет координационным данным не расходиться при обычных сбоях реплик.
Пример при разработке
Кластер ZooKeeper упорядочивает изменения конфигурации через лидера и кворум. Узлы применяют один и тот же журнал, несмотря на сбои и смену лидера.
Это редакционный пример применения, а не часть определения или доказательство концепции.Механизм действия
Сначала проверяют, есть ли исходное условие из определения. Затем смотрят, как оно влияет на структуру компонентов, потоки данных, ограничения и действия участников. Если эту связь не удаётся наблюдать, принцип не стоит использовать как готовое объяснение.
Пример в работе
Решение принимают без учета механизма «Zab», оценивая только ближайший эффект.
Перед изменением проверяют, как «Zab» влияет на ограничения, стимулы, зависимости и вторичные последствия.
Ограничения
«Zab» объясняет только часть происходящего в области «Распределенные системы». Сам принцип не говорит, насколько сильным будет эффект в вашем случае, и не заменяет измерения. При другом масштабе, среде или временном горизонте результат может отличаться.
Источник
Flavio P. Junqueira, Benjamin C. Reed, Marco Serafini. Zab: High-performance broadcast for primary-backup systems. 2011. DOI 10.1109/DSN.2011.5958223.