1632
правки
Изменения
м
rollbackEdits.php mass rollback
[[Категория:Параллельное программирование]]
== Проблема двух генералов ==
'''Проблема двух генералов''': двум процессам в синхронной системе надо прийти к консенсусу по ненадёжному каналу связи.
Например, генералы хотят согласовать время атаки, а гонца с сообщением могут перехватить, хоть мы и знаем, с какой скоростью он бегает.
Эта проблема не решается: одного сообщения мало (мы можем даже узнать о перехвате, но не знаем о его сообщении), нужно подтверждение, потом подтверждение подтверждения...
Задача: могут ли $N$ процессов, среди которых не более $f$ византийских, прийти к консенсусу?
Предполагаем надёжные каналы связи.
Нас не интересует, какое решение примут византийские процессы (они творят, что хотят), только нормальные.
