SYSTEM ATLASЗагрузка материала

CAP как теорема невозможности

CAP as Impossibility Result

Разделение сети вынуждает отказаться от доступности или линейной согласованности.

Простыми словами

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

Механизм действия

Сначала проверяют, есть ли исходное условие из определения. Затем смотрят, как оно влияет на исходные параметры, ограничения модели и измеряемые величины. Если эту связь не удаётся наблюдать, принцип не стоит использовать как готовое объяснение.

Пример в работе

Нерабочий подход

Решение принимают без учета механизма «CAP как теорема невозможности», оценивая только ближайший эффект.

Системный подход

Перед изменением проверяют, как «CAP как теорема невозможности» влияет на ограничения, стимулы, зависимости и вторичные последствия.

Ограничения

«CAP как теорема невозможности» объясняет только часть происходящего в области «Теория вычислений». Сам принцип не говорит, насколько сильным будет эффект в вашем случае, и не заменяет измерения. При другом масштабе, среде или временном горизонте результат может отличаться.

Источник

Gilbert & Lynch, 2002.

Первоисточник