Как PACELC-теорема расширяет CAP-теорему и какие компромиссы она описывает для систем в штатном режиме работы?

PACELC дополняет CAP: при разделении сети выбирают между доступностью и согласованностью, а в обычном режиме — между задержкой и согласованностью. Координация реплик имеет цену даже без аварии.

Буква P означает partition, E — else, L — latency. Например, ожидание подтверждений удалённых реплик повышает гарантии, но добавляет сетевое время. Чтение ближайшей реплики может быть быстрее, но вернуть устаревшие данные. Это модель обсуждения компромиссов, а не универсальная неизменная метка продукта: разные операции и настройки одной системы могут предоставлять разные гарантии.

Источник: www.cs.umd.edu.