Кворум

Материал из Викиконспекты
Перейти к: навигация, поиск

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

Пример: Рассмотрим 5 процессов -- P1, P2, P3, P4, P5.

Кворумом для них будет следующее семейство: {[P1, P2, P3], [P3, P4, P5]}.

Кстати, такое семейство тоже будет кворумом: {[P1, P2, P3, P4, P5]}.

Кворум замкнут по надмножеству.

Еще примеры: кворум простого большинства, "рушащаяся" стенка.