Кворум — различия между версиями
| Строка 4: | Строка 4: | ||
Пример: | Пример: | ||
Рассмотрим 5 процессов -- P1, P2, P3, P4, P5. | Рассмотрим 5 процессов -- P1, P2, P3, P4, P5. | ||
| + | |||
Кворумом для них будет следующее семейство: {[P1, P2, P3], [P3, P4, P5]}. | Кворумом для них будет следующее семейство: {[P1, P2, P3], [P3, P4, P5]}. | ||
| − | + | ||
| + | Кстати, такое семейство тоже будет кворумом: {[P1, P2, P3, P4, P5]}. | ||
Кворум замкнут по надмножеству. | Кворум замкнут по надмножеству. | ||
| − | + | ||
| + | Еще примеры: [[Кворум простого большинства|кворум простого большинства]], [[Кворум рушащейся стенки|"рушащаяся" стенка]]. | ||
Версия 22:58, 9 марта 2018
Кворум - семейство подмножеств множества процессов причем такое, что любые два элемента этого семейства имеют непустое пересечение. Кворум позволяет решить проблему отсутствия взаимного исключения в CS -- нужно лишь спросить все процессы кворума.
Пример: Рассмотрим 5 процессов -- P1, P2, P3, P4, P5.
Кворумом для них будет следующее семейство: {[P1, P2, P3], [P3, P4, P5]}.
Кстати, такое семейство тоже будет кворумом: {[P1, P2, P3, P4, P5]}.
Кворум замкнут по надмножеству.
Еще примеры: кворум простого большинства, "рушащаяся" стенка.
