Проблема распределенных вычислений
В информатике единообразный консенсус — это проблема распределенных вычислений , которая похожа на проблему консенсуса с одним дополнительным условием : никакие два процесса (независимо от того, ошибочны они или нет) не принимают разных решений.
Более конкретно следует рассмотреть эту проблему:
- Каждый процесс имеет вход, должен принять решение о выходе (однократная задача)
- Единое соглашение: каждые два решения одинаковы
- Обоснованность: каждое решение является результатом одного из процессов
- Завершение: в конечном итоге все правильные процессы решают
Ссылки
- Шаррон-Бост, Бернадетт ; Шипер, Андре (апрель 2004 г.). «Единообразный консенсус сложнее консенсуса». Журнал алгоритмов . 51 (1): 15–37. doi :10.1016/j.jalgor.2003.11.001.