Когда инженер проектирует распределённую систему, возникает естественное стремление обеспечить сложную и хрупкую архитектуру с максимальными гарантиями отказоустойчивости и согласованности данных. На первый взгляд, чем строже модель отказов, тем надёжнее система. Но отказоустойчивость – это не ручка открывания, которую можно выкрутить на максимум. Разные модели отказов решают разные задачи: в одном случае система должна предотвратить падение узла, основанное на связи или зависимости реплики, в другом – договориться о едином порядке событий, даже если часть участников ведет себя так, что их…