FFORGE//RS
← Маршрут

distributed systems / УРОВЕНЬ 4

Quorum без пересечения

ОЦЕНКА40 МИН
01

ТЕОРИЯ / ВОСПРОИЗВЕДЕНИЕ

Что нужно восстановить

  • Проверять read-write/write-write intersection и unavailable replicas

Пересечение требует строгого неравенства

Для гарантии пересечения read и write нужно `R + W > N`; equality допускает disjoint sets. Операция с Q replicas переносит `N-Q` недоступных, а CAP не отменяет latency trade-offs вне partition.

КОНТРОЛЬНАЯ ТОЧКА

Для N=5 какое условие гарантирует overlap каждого read quorum с каждым write quorum?

ISOLATED RUST 1.96
src/lib.rsРЕДАКТИРОВАНИЕ

02 / ОТЛАДКА

Найдите и исправьте дефект

Исправьте quorum assessment: отклоняйте invalid sizes, используйте strict inequalities и верните tolerance недоступных replicas для операций.

Инициализация редактора…
ОБЛАЧНЫЙ SANDBOXсеть выключена · 256 МБ · 12 с
1 / 64 KB
ВЫВОД
Runner ждёт отправки кода.