Простое доказательство CAP-теоремы. Часть I. ReCAP Сегодня ст | Of Code & Men

Простое доказательство CAP-теоремы. Часть I. ReCAP

Сегодня стартовали HydraConf и SPTDC. Как всегда, восхитительно. Словил свежий инсайт, которым очень хочется поделиться. Но для понимания необходимо освежить свои знания в распределенных вычислениях.

Речь пойдёт о CAP-теореме. CAP - это первые буквы слов Consistency, Availability и Partition Tolerance. Суть теоремы для распределенных систем (своими словами): допустим, у нас есть система, состоящая из двух и более узлов, между которыми будут сетевые сбои, а они гарантированно будут. Такая система будет устойчива к прерыванию связи между узлами (Partition Tolerance), но при этом может быть всегда доступной (AP), но не всегда консистентной, либо всегда консистентной (CP), но не всегда доступной.
AC вариант не рассматриваем, потому что наличие сети уже подразумевает букву P.

Под доступностью подразумевается, что любой пользователь, который будет совершать какие-то операции на любом из узлов системы, гарантированно будет получать положительный ответ на свои действия.
А консистентность системы означает то, что вся информация на всех узлах в любой момент времени одинакова.

Очень интуитивное и понятное доказательство этой теоремы можно получить с помощью алгоритма Деккера.

#distributedcomputing