4817
правок
Кворумы: различия между версиями
Перейти к навигации
Перейти к поиску
м
→Основные результаты
Irina (обсуждение | вклад) |
Irina (обсуждение | вклад) |
||
| Строка 98: | Строка 98: | ||
'''Вероятность отказа''': предположим, что каждый сервер в системе претерпевает сбой независимо с вероятностью <math>p</math>. Для каждого кворума <math>Q \in \mathcal{Q}</math> обозначим за <math>\mathcal{E}_{\mathcal{Q}}</math> событие, когда <math>Q</math> ''поврежден'', т. е. по крайней мере один элемент <math>i \in Q</math> претерпел сбой. Пусть <math>crash(\mathcal{Q})</math> – событие, когда все кворумы <math>Q \in \mathcal{Q}</math> были повреждены, т. е. crash(Q) = | '''Вероятность отказа''': предположим, что каждый сервер в системе претерпевает сбой независимо с вероятностью <math>p</math>. Для каждого кворума <math>Q \in \mathcal{Q}</math> обозначим за <math>\mathcal{E}_{\mathcal{Q}}</math> событие, когда <math>Q</math> ''поврежден'', т. е. по крайней мере один элемент <math>i \in Q</math> претерпел сбой. Пусть <math>crash(\mathcal{Q})</math> – событие, когда все кворумы <math>Q \in \mathcal{Q}</math> были повреждены, т. е. <math>crash(\mathcal{Q}) = \bigwedge_{Q \in \mathcal{Q}} \mathcal{E}_{\mathcal{Q}}</math>. Тогда вероятность отказа системы равна <math>F_p(\mathcal{Q}) = Pr(crash(\mathcal{Q}))</math>. | ||
Пелег и Вул изучили доступность систем кворумов в работе [11]. Хорошая вероятность отказа | Пелег и Вул изучили доступность систем кворумов в работе [11]. Хорошая вероятность отказа <math>F_p(\mathcal{Q})</math> для системы кворумов <math>\mathcal{Q}</math> имеет <math>lim_{n \to \infty} F_p(\mathcal{Q}) = 0</math>, когда <math>p < \frac{1}{2}</math>. Заметим, что вероятность отказа любой системы кворумов, чья отказоустойчивость равна <math>f</math>, не ниже <math>e^{- \Omega(f)}</math>. Большинство имеет наилучшую доступность, когда <math>p < \frac{1}{2}</math>; для <math>p = \frac{1}{2}</math> существуют кворумные построения с <math>F_p(\mathcal{Q}) = \frac{1}{2}</math>; для <math>p > \frac{1}{2}</math> синглтон имеет наилучшую вероятность отказа <math>F_p(\mathcal{Q}) = p</math>, но для большинства систем кворумов <math>F_p(\mathcal{Q})</math> стремится к 1. | ||
== Нагрузка и доступность систем кворумов == | == Нагрузка и доступность систем кворумов == | ||