Яка перевага проектування детермінованих розподілених алгоритмів?

Розподілені алгоритми, стійкі до відмов, можуть бути детермінованими або ймовірнісними. Візьмемо для прикладу проблему консенсусу.

• Паксос є детермінованим у тому сенсі, що з огляду на припущення, яке він робить, він завжди працює.

• За обмеженням, рандомізований консенсус працює з заданою ймовірністю.

Яка перевага проектування та використання детермінованого алгоритму?

Припущення, на які спираються детерміновані алгоритми, також мають ймовірність утримання в реальності (що називається їх охопленням припущення ). Отже, завжди існує ймовірність того, що детермінований алгоритм не працює в реальності.

Я відповім на це з точки зору розподілених алгоритмів графіків (розподілених алгоритмів, які вирішують задачу графіків, пов’язаних зі структурою мережі зв'язку).

Ось кілька неочевидних причин для проектування детермінованих розподілених алгоритмів у цій настройці:

• Підпрограми в рандомізованих алгоритмах . На с. 12–13 цих слайдів Елкін окреслює техніку проектування алгоритму, в якій можна використовувати швидку детерміновану розподілену алгоритми як підпрограму для побудови швидкого рандомізованого алгоритму розподіленого алгоритму. Цікаво, що не можна використовувати типовий рандомізований алгоритм як підпрограму в одному контексті (ймовірність помилок була б занадто високою).

• Толерантність до відмов . Існує механічний переклад, який дозволяє перетворити швидкий детермінований розподілений алгоритм у швидкий самостабілізуючий розподілений алгоритм (див., Наприклад, Розділ 2.4 цього опитування ). Подібна конверсія не відома для рандомізованих алгоритмів (і я думаю, це навряд чи існує в загальному випадку).