10.12.25

денежная

MVP

Задачи ИКТ

Media sphere

IT

Mobile app

CAP‑теорема для распределённых хранилищ утверждает, что в условиях возможных сетевых разделений невозможно одновременно гарантировать и строгую согласованность, и полную доступность. В случае разрыва связи между узлами приходится выбирать: либо блокировать операции ради консистентности, либо продолжать принимать запросы ценой временных расхождений. Требование заказчика не допускает ни того, ни другого, то есть выходит за пределы доказуемо достижимого. Результат Фишера–Линч–Патерсона показывает, что в полностью асинхронной системе с возможностью отказа хотя бы одного узла не существует детерминированного алгоритма консенсуса, который одновременно гарантирует безопасность и живучесть. Иначе говоря, при неблагоприятном расписании сообщений алгоритм может бесконечно "колебаться", не достигая решения. Требование заказчика по сути предписывает невозможное: обеспечить гарантированное и быстрое принятие решения во всех возможных сценариях работы сети.

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

Сергеев И.А.