Изменения

'''Кворум''' - множество наборов семейство подмножеств множества процессов причем такое, что каждые любые два элемента этого семейства имеют непустое пересечение. Кворум позволяет решить проблему отсутствия взаимного исключения в CS -- нужно лишь спросить все процессы кворума. Пример: Рассмотрим 5 процессов -- P1, P2, P3, P4, P5. Кворумом для них будет следующее семейство: {[P1, P2, P3], [P3, P4, P5]}.Такое семейство тоже будет кворумом: {[P1, P2, P3, P4, P5]}.

 Кворум позволяет решить проблему критической секции - нужно лишь спросить все процессы кворума. ПримерПри: [[Кворум простого большинства|кворум простого большинства]], [[Кворум рушащейся стенки|"рушащаяся" стенка]].